Search
Results
-
Timed Model Checking with Abstractions
(2012)Proceedings of the tenth ACM international conference on Embedded softwareConference Paper -
Combining Optimistic and Pessimistic DVS Scheduling
(2010)International Conference on Computer-Aided Design (ICCAD), 2010 IEEE/ACMConference Paper -
An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks
(2010)Lecture Notes in Computer Science ~ Leveraging applications of formal methods, verification, and validation : proceedingsConference Paper -
Resource Adaptations with Servers for Hard Real-Time Systems
(2010)EMSOFT 10: Proceedings of the tenth ACM international conference on Embedded softwareConference Paper -
Reliable mode changes in real-time systems with fixed priority or EDF scheduling
(2009)Design, Automation & Test in Europe Conference & Exhibition, 2009Conference Paper -
Feasibility Analysis of On-Line DVS Algorithms for Scheduling Arbitrary Event Streams
(2009)Proceedings of the 30th IEEE Real-Time Systems SymposiumConference Paper -
Modular performance analysis of cyclic dataflow graphs
(2009)Embedded Systems Week 2009Conference Paper -
Interface-Based Rate Analysis of Embedded Systems
(2006)Proceedings of the 27th IEEE International Real-Time Systems SymposiumInterface-based design is now considered to be one of the keys to tackling the increasing complexity of modern embedded systems. The central idea is that different components comprising such systems can be developed independently and a system designer can connect them together only if their interfaces match, without knowing the details of their internals. We use the concept of rate interfaces for compositional (correct-by-construction) ...Conference Paper -
Real-time interfaces for composing real-time systems
(2006)EMSOFT 2006 : Proceedings of the sixth ACM & IEEE international conference on embedded software, October 22-25, 2006, Seoul, KoreaConference Paper