SC Harvester Papers Database Interface

Execution Manager Workflow Engines Tools Repositories Runtime ( PaaS ) ( Enactment Service ) Design Time ( SaaS ) ( Process Modelling )

Sami Alajrami, A. Romanovsky, B. Gallina. 2017

Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262

Julieth Patricia Castellanos Ardila, B. Gallina. In: . 2017

Ambient Systems , Networks and Technologies ( ANT 2017 ) Design of Cloud Monitoring Systems via DAGGTAX : a Case Study

Simin Cai, B. Gallina, Dag Nyström, C. Seceleanu, Alf Larsson. 2017

Message from the WoSoCer workshop organizers

H. Alemzadeh, Ricardo Luís Barbosa, F. Brancati, B. Gallina, M. Lawford et al. In: . 2017

The Fitness Function for the Job: Search-Based Generation of Test Suites That Detect Real Faults

Gregory Gay. In: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST). 2017

Generating Effective Test Suites by Combining Coverage Criteria

Gregory Gay. In: . 2017

Adding Value Every Sprint: A Case Study on Large-Scale Continuous Requirements Engineering

Rashidah Kasauli, E. Knauss, A. Nilsson, S. Klug. In: . 2017

Requirements Engineering for Large Scale Agile Systems Development

Rashidah Kasauli. In: . 2017

Requirements Engineering for Agile development of Safety-Critical Systems

Rashidah Kasauli. 2017

Clock synchronization considerations in security informed safety assurance of autonomous systems of systems

Elena Lisova, Aida Čaušević, E. Uhlemann, M. Björkman. In: IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society. 2017

Fog computing in clinical health monitoring applications

H. Fotouhi. In: . 2017

INDOOR POSITIONING SYSTEM USING BLUETOOTH BEACON TECHNOOLOGY

David Torstensson, H. Fotouhi. 2017

A remote health monitoring system featuring relational databases

N. Petrović, H. Fotouhi, I. Tomasic, M. Björkman, M. Lindén. In: . 2017

Enabling Safe, Secure and Reliable Data Communication in IoT AAL Healthcare Applications

Aida Čaušević, M. Vahabi, H. Fotouhi. In: . 2017

Exact speedup factors and sub-optimality for non-preemptive scheduling

Robert I. Davis, Abhilash Thekkilakattil, Oliver Gettings, R. Dobrin, S. Punnekkat et al. In: Real-Time Systems. 2017

Abstract: Fixed priority scheduling is used in many real-time systems; however, both preemptive and non-preemptive variants (FP-P and FP-NP) are known to be sub-optimal when compared to an optimal uniprocessor scheduling algorithm such as preemptive earliest deadline first (EDF-P). In this paper, we investigate the sub-optimality of fixed priority non-preemptive scheduling. Specifically, we derive the exact...