4 papers
Combining Task-level and System-level Scheduling Modes for Mixed Criticality Systems
Jalil Boudjadar, Saravanan Ramanathan, Arvind Easwaran +1
Different scheduling algorithms for mixed criticality systems have been recently proposed. The common denominator of these algorithms is to discard low critical tasks whenever high…
Effortless Fault Localisation: Conformance Testing of Real-Time Systems in Ecdar
Tobias R. Gundersen, Florian Lorber, Ulrik Nyman +1
Model checking of real-time systems has evolved throughout the years. Recently, the model checker Ecdar, using timed I/O automata, was used to perform compositional verification. H…
A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems
Pujie Han, Zhengjun Zhai, Brian Nielsen +1
This work presents a compositional approach for schedulability analysis of Distributed Integrated Modular Avionics (DIMA) systems that consist of spatially distributed ARINC-653 mo…
A Modeling Framework for Schedulability Analysis of Distributed Avionics Systems
Pujie Han, Zhengjun Zhai, Brian Nielsen +1
This paper presents a modeling framework for schedulability analysis of distributed integrated modular avionics (DIMA) systems that consist of spatially distributed ARINC-653 modul…