Software engineering for real-time: a roadmap
Proceedings of the Conference on The Future of Software Engineering
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
Agent-based distributed architecture for mobile robot control
Engineering Applications of Artificial Intelligence
An Operating System for a Time-Predictable Computing Node
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Middleware for implementing hard real-time systems
Embedded Systems Design
Hi-index | 0.00 |
The complexity of large distributed real-time systems can be reduced by partitioning the system into a set of almost autonomous subsystems that are connected by stable control-free interfaces called temporal firewalls. A temporal firewall provides an understandable abstraction of the subsystem behind the firewall, confines the impact of most changes to the encapsulated subsystem, and limits the potential of error propagation. The paper describes the stable properties of temporal firewalls and discusses where, in a large distributed real-time architecture, temporal firewalls should be placed. The final section investigates some possibilities of how to renegotiate the static properties of temporal firewalls in case the controlled object changes it behavior substantially.