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