The sciences of the artificial (3rd ed.)
The sciences of the artificial (3rd ed.)
RTAI: Real Time Application Interface
Linux Journal
Real-Time Systems: Design Principles for Distributed Embedded Applications
Real-Time Systems: Design Principles for Distributed Embedded Applications
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
A Model-Driven Framework for the Generation of Gateways in Distributed Real-Time Systems
RTSS '07 Proceedings of the 28th IEEE International Real-Time Systems Symposium
Realization of virtual networks in the DECOS integrated architecture
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Exploring the Design Space for Network Protocol Stacks on Special-Purpose Embedded Systems
SEUS '09 Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems
| Hi-index | 0.00 |
Complex embedded computer systems can encompass multiple application subsystems, such as a multimedia, a powertrain, a comfort and a safety subsystem in the in-vehicle electronic system of a typical premium car. Information exchanges between these application subsystems are essential to realize composite services that involve more than one application subsystem and to reduce redundant computations and sensors. A major challenge is to resolve the property mismatches at the interfaces between application subsystems, such as incoherent naming, divergent syntax, or different communication protocols. Also, fault isolation capabilities are required to prevent common mode failures induced by the propagation of faults between application subsystems. The contribution of this paper is a formal specification of gateways that contain structured collections of time-sensitive variables associated with timing information (called real-time databases) in order to separate the application subsystems. The formal specification can serve as a basis for automatic code generation or formal verification.