H. Kopetz and R. Nossal. Temporal firewalls in large distributed realtime systems. In Proc. of IEEE Workshop on Future Trends in Distributed Computing, Tunis, Tunesia, 1997. IEEE Press.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....normal operation of the sensor. For example, a temperature sensor periodically sends the observed and locally preprocessed sensor value to the temporal firewall of the master. Since in TTP A the time interval between sensing the environment and presenting the sensor value at the temporal firewall [7] of the master is known a priori it is possible to perform a feed forward state estimation of the sensor value at the sensor node in such a way, that the delivered sensor value is a good estimate of the real time entity s actual state at the point in time of delivery. Although all transducer ....

H. Kopetz and R. Nossal. Temporal firewalls in large distributed real-time systems. Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), pages 310--315, 1997.

....digital signal and generate diagnostic information. In the Oxford SEVA system [Hen95] each measurement is delivered as a validated value together with the validated uncertainty and a measurement value status. 2.3. 2 Fault Tolerance Framework The interface file system acts as a temporal firewall [Kop97b] between communicating entities. The temporal firewall uses local bu#ers that can be written by the sender and read by the receiver without having a direct flow control between the communicating nodes. A time triggered protocol performs updates of the values at predefined instants. local IFS S ....

H. Kopetz and R. Nossal. Temporal firewalls in large distributed real-time systems. Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), 1997.

....pair of values (representing lower and upper bounds) rather than a single value: sensors that locally diagnose difficulties will return a large range, while those that are confident of their performance will return a tight one. A refinement, consistent with the temporal firewall proposal of Kopetz [KN97], is to return a pair of parameters representing the upper and lower bounds as functions of time rather than constants: the bounds will then move further apart as the delay increases between reading and use of the sensor value. The sensor fusion task now becomes one of combining the ranges ....

Herman Kopetz and R. Nossal. Temporal firewalls in large distributed realtime systems. In 6th IEEE Workshop on Future Trends in Distributed Computing, pages 310--315, Tunis, Tunisia, October 1997. IEEE Computer Society.

.... Vienna [28] its current specification and commercial realization are by TTTech of Vienna [75] More abstractly, TTA is part of a comprehensive approach to safety critical real time system design [25] that centers on time triggered operation [26] and includes notions such as temporal firewalls [24] and elementary interfaces [27] The algorithms of TTA are an exciting target for formal verification because they are individually challenging and they interact in interesting ways. To practitioners and developers of formal verification methods and their tools, these algorithms are excellent ....

.... More broadly construed, the notion of time triggered system encompasses a whole philosophy of real time systems design notably that espoused by Kopetz [25] Kopetz broad conception includes a distinction between composite and elementary interfaces [27] and the notion of a temporal firewall [24]. A time triggered system does not merely schedule activity within nodes, it also manages the reliable transmission of messages between them. Messages obviously communicate data between nodes (and the processes within them) but they may also, through their presence or absence and through the data ....

[Article contains additional citation context not shown here]

Herman Kopetz and R. Nossal. Temporal firewalls in large distributed real-time systems. In 6th IEEE Workshop on Future Trends in Distributed Computing, pages 310--315, IEEE Computer Society, Tunis, Tunisia, October 1997. 1, 14, 15

....or slave . DataByte DataByte DataByte DataByte FB (Master) Slot 0 . L ast slot of round Fig. 5: TTP A Communication S Sensor local IFS Time Triggered Control Application Fieldbus Node A Fieldbus Node B Fig. 6: Data Processing in TTP A The IFS acts as a temporal firewall [16] between communicating entities. Fig. 6 depicts a sample communication in TTP A. Node A contains a sensor and a local IFS, node B contains the control application. The sensor performs a measurement at instant t m1 . Later at time t t1 t m1 the protocol transports the data from the local IFS of ....

H. Kopetz and R. Nossal. Temporal firewalls in large distributed real-time systems. Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), 1997.

....we have gained with generalised forms of transactions [38; 54] Regarding timing issues, we distinguish between hard real time systems in which a single timing failure can result in a catastrophe, and systems in which sporadic timing failures can be tolerated. The temporal firewall concept [25] previously developed by one of the consortium members provides a means of precisely specifying the temporal properties of interface data. We plan to further investigate and generalise this concept to make it a generic abstraction for the temporal composition of hard realtime systems. The ....

H. Kopetz and R. Nossal. "Temporal Firewalls in Large Distributed Real-Time Systems," in Proceedings of IEEE Workshop on Future Trends in Distributed Computing, pp. 310-315, Tunis, Tunisia, IEEE Press, 1997.

....performing appropriate error recovery, and resolving multiple ordinary and real time exceptions. In fact, it is possible to draw an interesting parallel between the use of the present CA action scheme for structuring the behaviour of a system in the value domain, and the use of temporal firewalls [Kopetz Nossal 1997] for structuring system behaviour in the time domain. We therefore intend to investigate the ways in which these two concepts might complement each other in cooperation with our colleagues at the Technical University of Vienna and the University of York. Acknowledgements This work was supported ....

H. Kopetz and R. Nossal, "Temporal Firewalls in Large Distributed Real-Time Systems," Technical Report, Institut fur Technische Informatik, Technische Universitat Wien, no.7/97, 1997.

No context found.

H. Kopetz and R. Nossal. Temporal firewalls in large distributed realtime systems. In Proc. of IEEE Workshop on Future Trends in Distributed Computing, Tunis, Tunesia, 1997. IEEE Press.

No context found.

H. Kopetz and R. Nossal. Temporal firewalls in large distributed real-time systems. Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), pages 310--315, 1997.

....containing the dispatching table (the message descriptor list MEDL) for the time triggered communication system. The interface between a node and the communication system is a data sharing interface which is free of control signals. Such a data sharing interface is called a temporal firewall [Kop97b]. iii) Unification of Interfaces: In the TTA, the temporal firewall is a fully specified (in the temporal and value domain) generic interface. It unifies the interface properties between host computer and the communication network, a host computer and the controlled object, a host computer and ....

H. Kopetz and R. Nossal. Temporal Firewalls in Large Distributed Real-Time Systems. In Proceedings of IEEE Workshop on Future Trends in Distributed Computing, pages 310--315, Tunis, Tunesia, 1997. IEEE Press.

....control signals for the fetch and delivery instants from the progress of global time and its local schedule exclusively cf. Section II E) propagation of control errors is prohibited by design. We call an interface that prevents propagation of control errors by design a temporal firewall [46]. The integrity of the data in the temporal firewall is assured by the non blocking write (NBW) concurrency control protocol [47] Fig. 8. Data Flow and Control Flow at a TTA Interface From the point of view of complexity management and composability, it is useful to distinguish between three ....

H. Kopetz and R. Nossal. Temporal Firewalls in Large Distributed RealTime Systems. In Proceedings of IEEE Workshop on Future Trends in Distributed Computing, pages 310--315, 1997.

....is guided by the recursive application of the two step design methodology (see Section 4.1) then the emphasis will shift back to product (component) validation. System design will consist of the reuse and integration of prevalidated hardware software components. The temporal firewall concept [10], developed in the context of the time triggered architecture (TTA) supports such a component validation by precisely specifying the value and temporal properties of the component interfaces at the architecture design level. These interface specifications establish the precondition and post ....

Kopetz, H. and R. Nosssal (1997). Temporal Firewalls in Large Distributed Real-Time Systems. Proceedings of IEEE Workshop on Future Trends in Distributed Computing, Tunis, Tunesia. IEEE Press. pp. 310-315.

....of concern, to the user of the component. Ideally, the larger system should be constructed from nearly autonomous components that can be integrated without violating the principle of composability: that properties that have been established at the component level will also hold at the system level[Kopetz 1997, p.34] Examples of such properties in the context of distributed real time systems are timeliness and testability. An ideal component should be an autonomous unit that maintains its encapsulation when viewed from a number of different vantage points. A unit of service provision: Most ....

....its temporal properties can be hidden behind an interface that is called a temporal firewall. 5. Temporal Firewalls On the conceptual level, the CNI between the host computer and the communication network (or the controlled object) can be seen as erecting two unidirectional temporal firewalls [Kopetz and Nossal 1997] that connect the component to its environment. A temporal firewall is a unidirectional data sharing interface with state data semantics where at least one of the interfacing subsystems accesses the temporal firewall according to an a priori known schedule and where at all points in time the ....

[Article contains additional citation context not shown here]

Kopetz, H. and R. Nosssal (1997). Temporal Firewalls in Large Distributed Real-Time Systems. Technische Universität Wien, Institut für Technische Informatik.

No context found.

H. Kopetz and R. Nossal. Temporal firewalls in large distributed real-time systems. Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), pages 310--315, 1997.

No context found.

H. Kopetz and R. Nossal. Temporal firewalls in large distributed real-time systems. Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), pages 310--315, 1997.

No context found.

Hermann Kopetz and Roman Nossal. Temporal firewalls in large distributed real-time systems. In Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, pages 310--315, Tunis, Tunesia, October 1997.

No context found.

H. Kopetz and R. Nossal. Temporal firewalls in large distributed real-time systems. Proceedings of the 6th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS '97), pages 310--315, 1997.

No context found.

Hermann Kopetz and Roman Nossal. Temporal firewalls in large distributed real-time systems. In Proceedings of the Sixth IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems, pages 310--315, Tunis, Tunesia, October 1997.

No context found.

Herman Kopetz and R. Nossal. Temporal firewalls in large distributed real-time systems. In 6th IEEE Workshop on Future Trends in Distributed Computing, pages 310--315, IEEE Computer Society, Tunis, Tunisia, October 1997.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC