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

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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International journal on software tools for technology transfer Jg. 15; H. 3; S. 155 - 170
Hauptverfasser:	Lampka, Kai, Perathoner, Simon, Thiele, Lothar
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Berlin/Heidelberg Springer-Verlag 01.06.2013 Springer Nature B.V
Schlagworte:	Automation Computer programs Computer Science Computer Science with specialization in Embedded Systems Datavetenskap med inriktning mot inbyggda system Design engineering Embedded systems Eurosys Inclusions Invariants Mathematical analysis Real time Software Engineering Software Engineering/Programming and Operating Systems Systems design Theory of Computation Real-time systems Interface theory Real-time calculus System-level design technique Timed automata
ISSN:	1433-2779, 1433-2787, 1433-2787
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!