The Temporal Specification of Interfaces in Distributed Real-Time Systems
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Integrating automotive applications using overlay networks on top of a time-triggered protocol
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Middleware for implementing hard real-time systems
Embedded Systems Design
Compositionality in synchronous data flow: Modular code generation from hierarchical SDF graphs
ACM Transactions on Embedded Computing Systems (TECS)
| Hi-index | 0.00 |
To manage the complexity of large distributed real-time systems, a system must be partitioned into nearly autonomous subsystems that communicate across small well-specified interfaces. The form and placement of these interfaces determines the system structure and its understandability. This paper investigates two different types of unidirectional information-flow interfaces, the elementary interface and the composite interface. It is argued that systems that interact by elementary interfaces support composability, and are easier to understand and validate than systems that are based on composite interfaces.