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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	International journal on software tools for technology transfer Ročník 15; číslo 3; s. 155 - 170
Hlavní autoři:	Lampka, Kai, Perathoner, Simon, Thiele, Lothar
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Berlin/Heidelberg Springer-Verlag 01.06.2013 Springer Nature B.V
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!