Search
Results
-
Mixed-criticality systems: Design and certification challenges
(2013)2013 International Conference on Hardware/Software Codesign and System Synthesis : CODES+ISSS 2013, Montreal, Quebec, Canada, 29 September - 4 October 2013Conference Paper -
Interference Constraint Graph - A New Specification for Mixed-Criticality Systems
(2013)2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)Conference Paper -
An Algorithm for Online Reconfiguration of Resource Reservations for Hard Real-Time Systems
(2012)24th Euromicro Conference on Real-Time Systems (ECRTS 2012)Conference Paper -
Combining Optimistic and Pessimistic DVS Scheduling
(2010)International Conference on Computer-Aided Design (ICCAD), 2010 IEEE/ACMConference Paper -
Reliable mode changes in real-time systems with fixed priority or EDF scheduling
(2009)Design, Automation & Test in Europe Conference & Exhibition, 2009Conference Paper -
Service adaptions for mixed-criticality systems
(2014)2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)Conference Paper -
Feasibility Analysis of On-Line DVS Algorithms for Scheduling Arbitrary Event Streams
(2009)Proceedings of the 30th IEEE Real-Time Systems SymposiumConference Paper -
An Efficient Real Time Fault Detection and Tolerance Framework Validated on the Intel SCC Processor
(2014)Proceedings of the 51st Annual Design Automation ConferenceConference Paper -
Timed Model Checking with Abstractions
(2012)Proceedings of the tenth ACM international conference on Embedded softwareConference Paper -
Resource Adaptations with Servers for Hard Real-Time Systems
(2010)EMSOFT 10: Proceedings of the tenth ACM international conference on Embedded softwareConference Paper