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 -
COOLIP: Simple yet Effective Job Allocation for Distributed Thermally-Throttled Processors
(2014)2014 Design, Automation & Test in Europe Conference & Exhibition (DATE)Thermal constraints limit the time for which a processor can run at high frequency. Such thermal-throttling complicates the computation of response times of jobs. For multiple processors, a key decision is where to allocate the next job. For distributed thermally-throttled procesosrs, we present COOLIP with a simple allocation policy: a job is allocated to the earliest available processor, and if there are several available simultaneously, ...Conference Paper -
Timing Analysis on a Processor with Temperature-Controlled Speed Scaling
(2012)IEEE 18th Real-Time and Embedded Technology and Applications Symposium (RTAS 2012)Conference 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 -
Real-Time Analysis of Servers for General Job Arrivals
(2011)IEEE 17th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 2011 : 28 - 31 Aug. 2011, Toyama, Japan ; co-located with the 1st International Workshop on Cyber-Physical Systems, Networks, and Applications (CPSNAConference Paper -
Cool Shapers
(2011)48th ACM/EDAC/IEEE Design Automation Conference (DAC), 2011 : 5 - 9 June 2011, San Diego, CA, USAConference Paper -
Thermally Optimal Stop-Go Scheduling of Task Graphs with Real-Time Constraints
(2011)16th Asia and South Pacific Design Automation Conference (ASP-DAC), 2011 : 25 - 28 Jan. 2011, Yokohama, JapanConference Paper -
End-to-End Delay Minimization in Thermally Constrained Distributed Systems
(2011)Proceedings of the 23rd Euromicro Conference on Real-Time Systems (ECRTS 2011) : Porto, Portugal, July 6-8, 2011Conference Paper