Temporal firewalls in large distributed real-time systems

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.

[1]  John Rushby,et al.  Systematic Formal Verication for Fault-Tolerant , 1999 .

[2]  Günter Grünsteidl,et al.  TTP - A Protocol for Fault-Tolerant Real-Time Systems , 1994, Computer.

[3]  Hermann Kopetz,et al.  A node as a real-time object , 1996, Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems.

[4]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[5]  K. H. Kim,et al.  Temporal uncertainties in interactions among real-time objects , 1990, Proceedings Ninth Symposium on Reliable Distributed Systems.