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 -
Optimal Power Management With Guaranteed Minimum Energy Utilization For Solar Energy Harvesting Systems
(2015)2015 International Conference on Distributed Computing in Sensor Systems (DCOSS)Conference Paper -
Interleaved multi-bank scratchpad memories: a probabilistic description of access conflicts
(2015)Proceedings of the 52nd Annual Design Automation Conference (DAC '15)Conference Paper -
Can real-time systems be chaotic?
(2015)2015 International Conference on Embedded Software (EMSOFT)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 -
SF3P: A Framework to Explore and Prototype Hierarchical Compositions of Real-Time Schedulers
(2014)2014 25th IEEE International Symposium on Rapid System Prototyping (RSP)Conference Paper -
Deterministic Memory Sharing in Kahn Process Networks
(2014)IEEE 12th Symposium on Embedded Systems for Real-time Multimedia (ESTIMedia 2014)Conference Paper -
Energy Efficient DVFS Scheduling for Mixed-Criticality Systems
(2014)Proceedings of the 14th International Conference on Embedded SoftwareConference Paper -
Interference Constraint Graph - A New Specification for Mixed-Criticality Systems
(2013)2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)Conference Paper