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

Full description

Saved in:

Bibliographic Details
Published in:	International journal on software tools for technology transfer Vol. 15; no. 3; pp. 155 - 170
Main Authors:	Lampka, Kai, Perathoner, Simon, Thiele, Lothar
Format:	Journal Article
Language:	English
Published:	Berlin/Heidelberg Springer-Verlag 01.06.2013 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!