H. Kopetz. Elementary versus composite interfaces in distributed real-time systems. In Proceedings of ISADS'99, Tokyo, Japan, March 1999. 174  Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Model Checking Simpson's Four-Slot Fully Asynchronous.. - Rushby (2002) (1 citation) (Correct)
....or delay it beyond its deadline. Priorities, or enforced alternation, change the character of the problem, but do not eliminate it. As described elsewhere [Rus02] the larger problem with such locking schemes is that they render the flow of control between components bidirectional. Kopetz [Kop99] defines interfaces that involve bidirectional flow of control as composite and argues convincingly that they should be eschewed in favor of elementary interfaces in which control flow is unidirectional. Data flow may be bidirectional, but the task of tolerating external failures, and of ....
Hermann Kopetz. Elementary versus composite interfaces in distributed realtime systems. In The Fourth International Symposium on Autonomous Decentralized Systems, Tokyo, Japan, March 1999. IEEE Computer Society.
An Overview of Formal Verification for the Time-Triggered.. - Rushby (2002) (6 citations) (Correct)
.... 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 test cases first, to be able to ....
....the connection between TTA and Giotto. 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 ....
[Article contains additional citation context not shown here]
Hermann Kopetz. Elementary versus composite interfaces in distributed real-time systems. In The Fourth International Symposium on Autonomous Decentralized Systems, IEEE Computer Society, Tokyo, Japan, March 1999. 1, 14, 15
Modular Certification - Rushby (2002) (Correct)
....the coupling between components and introduce more complicated failure propagations. For example, if X 1 supplies data to X 2 , the introduction of a protocol for reliable communication could cause X 1 to block waiting for an acknowledgment from X 2 that may never come if X 2 has failed. Kopetz [Kop99] defines such interfaces that involve bidirectional flow of control as composite and argues convincingly that they should be eschewed in favor of elementary interfaces in which control flow is unidirectional. Data flow may be bidirectional, but the task of tolerating external failures is ....
Hermann Kopetz. Elementary versus composite interfaces in distributed realtime systems. In The Fourth International Symposium on Autonomous Decentralized Systems, Tokyo, Japan, March 1999. IEEE Computer Society.
Compositional Design of RT Systems: A Conceptual Basis for.. - Kopetz, Suri (2003) (9 citations) Self-citation (Kopetz) (Correct)
No context found.
H. Kopetz, "Elementary versus Composite Interfaces in Distributed Real-Time Systems", Proc. of ISADS, 1999.
The Time-Triggered Architecture - Kopetz, Bauer (1988) (18 citations) Self-citation (Kopetz) (Correct)
....interactions among the nodes. The CNI consists of two unidirectional data flow interfaces, one from the host computer to the communication system and the other one in the opposite direction. We call a unidirectional data flow interface elementary, if there is only a unidirectional control flow [45] across this interface. An interface that supports periodic state messages with error detection at the receiver is an example of such an elementary interface. We call a unidirectional data flow interface composite, if even a unidirectional data flow requires a bi directional control flow. An event ....
H. Kopetz. Elementary versus Composite Interfaces in Distributed RealTime Systems. In Proceedings 4th International Symposium on Autonomous Decentralized Systems, pages 26--33, 1999.
The Diagnostic Architecture of the PEGASUS Project Car - Peti, Obermaisser, Paulitsch (2005) (Correct)
No context found.
H. Kopetz. Elementary versus composite interfaces in distributed real-time systems. In Proceedings of ISADS'99, Tokyo, Japan, March 1999. 174
Modular Certification - Rushby (2002) (Correct)
No context found.
Hermann Kopetz. Elementary versus composite interfaces in distributed realtime systems. In The Fourth International Symposium on Autonomous Decentralized Systems, Tokyo, Japan, March 1999. IEEE Computer Society. 34
Modular Certification - Rushby (2002) (Correct)
No context found.
Hermann Kopetz. Elementary versus composite interfaces in distributed realtime systems. In The Fourth International Symposium on Autonomous Decentralized Systems, Tokyo, Japan, March 1999. IEEE Computer Society. 34
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