Component-based system design: analytic real-time interfaces for state-based component implementations

  title={Component-based system design: analytic real-time interfaces for state-based component implementations},
  author={Kai Lampka and Simon Perathoner and Lothar Thiele},
  journal={International Journal on Software Tools for Technology Transfer},
Compositionality can be a helpful paradigm for coping with the complexity of large embedded systems with real-time constraints. This article exploits state-less assume/guarantee real-time interfaces extended by component properties, both to be satisfied invariantly by any component implementing the respective interface. This supports compositional evaluation of system designs, as overall properties of the latter can be derived from the component interfaces, rather than verifying them for the… CONTINUE READING


Publications citing this paper.
Showing 1-9 of 9 extracted citations

Causality problem in real-time calculus

Formal Methods in System Design • 2016
View 5 Excerpts
Highly Influenced

Achieving Efficiency without Sacrificing Model Accuracy: Network Calculus on Compact Domains

2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) • 2016
View 1 Excerpt

Multi-mode monitoring for mixed-criticality real-time systems

2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) • 2013
View 2 Excerpts


Publications referenced by this paper.
Showing 1-10 of 18 references

Enabling Parametric Feasibility Analysis in real-time calculus driven performance evaluation

2011 Proceedings of the 14th International Conference on Compilers, Architectures and Synthesis for Embedded Systems (CASES) • 2011
View 2 Excerpts

Similar Papers

Loading similar papers…