Temporal composability [real-time embedded systems]
Kopetz, H.
Obermaisser, R.
Technische Univ. Wien;
This paper appears in: Computing & Control Engineering Journal
Publication Date: Aug 2002
Volume: 13,
Issue: 4
On page(s): 156- 162
ISSN: 0956-3385
References Cited: 9
CODEN: CCEJEL
INSPEC Accession Number: 7364831
Current Version Published: 2002-11-07
Abstract
The constructive design of dependable distributed real-time
systems out of pre-validated components requires precise interface
specifications of the components in the temporal domain and in the value
domain. This paper focuses on the temporal specification of interfaces
in composable distributed real-time systems and establishes four
principles of composability (independent development of nodes, stability
of prior services, performability of the communication system, and
replica determinism). It presents the temporal firewall interface that
forms a fully specified operational interface of a component. The paper
explains how the temporal firewall interface supports the four
principles of composability. It then classifies interfaces from the
point of view of composability and shows how these interfaces correspond
to the time-triggered and event-triggered communication paradigms
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
