Search
Results
-
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 -
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