Search
Results
-
Run and Be Safe: Mixed-Criticality Scheduling with Temporary Processor Speedup
(2015)2015 Design, Automation & Test in Europe Conference & Exhibition (DATE)Conference Paper -
Computing a Language-Based Guarantee for Timing Properties of Cyber-Physical Systems
(2014)2014 Design, Automation & Test in Europe Conference & Exhibition (DATE)Real-time systems are often guaranteed in terms of schedulability, which verifies whether or not all jobs meet their deadlines. However, such a guarantee can be insufficient in certain applications. In this paper, we propose a method to compute a language-based guarantee which provides a more detailed description of the deadline miss patterns of an observed task. The only requirement of our method is that the timing behavior of the real-time ...Conference Paper -
Implementation of Partitioned Mixed-Criticality Scheduling on a Multi-Core Platform
(2017)ACM Transactions on Embedded Computing SystemsConference Paper -
Service adaptions for mixed-criticality systems
(2014)2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)Conference Paper -
An Isolation Scheduling Model for Multicores
(2015)Real-time Systems Symposium; Proceedings ~ Proceedings of the IEEE Real-Time Systems Symposium 2015 (RTSS 2015)Conference Paper -
Mixed-criticality runtime mechanisms and evaluation on multicores
(2015)21st IEEE Real-Time and Embedded Technology and Applications SymposiumConference Paper -
Exploring Energy Saving for Mixed-Criticality Systems on Multi-cores
(2016)2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)Conference Paper -
Energy Efficient DVFS Scheduling for Mixed-Criticality Systems
(2014)Proceedings of the 14th International Conference on Embedded SoftwareConference Paper -
Timed Model Checking with Abstractions
(2012)Proceedings of the tenth ACM international conference on Embedded softwareConference Paper -
Scheduling of Mixed-Criticality Applications on Resource-Sharing Multicore Systems
(2013)2013 Proceedings of the International Conference on Embedded Software (EMSOFT) : September 29 – October 4, 2013 Montreal Marriott Chateau Champlain Hotel Montreal, CanadaConference Paper