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žené v:
Podrobná bibliografia
Vydané v:International journal on software tools for technology transfer Ročník 15; číslo 3; s. 155 - 170
Hlavní autori: Lampka, Kai, Perathoner, Simon, Thiele, Lothar
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Berlin/Heidelberg Springer-Verlag 01.06.2013
Springer Nature B.V
Predmet:
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 prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Popis
Shrnutí: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 complete system model at analysis time. Moreover, our design strategy based on extended analytic real-time interfaces features an incremental, and component-wise development of (heterogeneous) system designs. This is, because the interface-derived properties of an overall system design are proven to be invariant under composition and substitution of interfaces and components, as long as the interface definitions are consistent, the (potentially heterogeneous) components implement their interfaces, and a dedicated inclusion criterion holds. This article develops the machinery for deriving analytic interface descriptions from Timed Automata-based component models. It develops the required consistency and conformance tests for deciding the aforementioned invariance of interfaces and components with respect to composition and substitution. This way we hope to advocate a strictly compositional design approach and improve the scalability of state-based analysis methods which we investigate in several case studies.
Bibliografia:SourceType-Scholarly Journals-1
ObjectType-Feature-1
content type line 14
ObjectType-Article-2
content type line 23
ISSN:1433-2779
1433-2787
1433-2787
DOI:10.1007/s10009-012-0257-7