A protocol and correctness proofs for real-time high-performance broadcast networks

Novel real time applications require high performance real time distributed systems, and therefore high performance real time networks. We examine a Hard Real Time Distributed Multiaccess problem which arises with such application problems. We present a solution, based on broadcast LANs or busses, such as Gigabit Ethernets or busses internal to ATM nodes, associated with a deterministic Ethernet-like protocol called CSMA/Deadline Driven Collision Resolution. We give an analysis of balanced m ary tree algorithms which are used by CSMA/DDCR, and derive feasibility conditions for the HRTDM problem.

[1]  Jean-Claude Laprie,et al.  Dependability engineering of complex computing systems , 2000, Proceedings Sixth IEEE International Conference on Engineering of Complex Computer Systems. ICECCS 2000.

[2]  H. Jonathan Chao,et al.  A Novel Architecture for Queue Management in the ATM Network , 1991, IEEE J. Sel. Areas Commun..

[3]  Gérard Le Lann.  PROOF-BASED SYSTEM ENGINEERING FOR COMPUTING SYSTEMS , 1997 .

[4]  BORIS S. TSYBAKOV.  Survey of USSR contributions to random multiple-access communications , 1985, IEEE Trans. Inf. Theory.

[5]  Edward W. Knightly,et al.  D-BIND: an accurate traffic model for providing QoS guarantees to VBR traffic , 1997, TNET.

[6]  Kishor S. Trivedi,et al.  Reliability and Performability Techniques and Tools: A Survey , 1993, MMB.

[7]  Jerzy W. Rozenblit,et al.  Engineering of Computer-Based Systems: Current Status and Technical Activities , 1995 .

[8]  Dhiraj K. Pradhan,et al.  Fault Injection: A Method for Validating Computer-System Dependability , 1995, Computer.

[9]  Sally Floyd,et al.  Wide area traffic: the failure of Poisson modeling , 1995, TNET.

[10]  D. Richard Kuhn,et al.  Sources of Failure in the Public Switched Telephone Network , 1997, Computer.

[11]  Frank Kelly,et al.  Stochastic Models of Computer Communication Systems , 1985 .

[12]  Mitsuhisa Sato,et al.  PM: An Operating System Coordinated High Performance Communication Library , 1997, HPCN Europe.

[13]  Gérard Le Lann,et al.  An analysis of the Ariane 5 flight 501 failure-a system engineering perspective , 1997, ECBS.

[14]  Murad S. Taqqu,et al.  On the Self-Similar Nature of Ethernet Traffic , 1993, SIGCOMM.

[15]  Gérard Le Lann.  Proof-Based System Engineering and Embedded Systems , 1996, European Educational Forum: School on Embedded Systems.

[16]  Henrique Madeira,et al.  Xception: A Technique for the Experimental Evaluation of Dependability in Modern Computers , 1998, IEEE Trans. Software Eng..

[17]  T. Mulkerin,et al.  Aeronautical Related Applications Using ATN and TCP/IP Research Report , 2000 .

[18]  Philippe Jacquet.  Random infinite trees and supercritical behavior of collision resolution algorithms , 1993, IEEE Trans. Inf. Theory.

[19]  Nicolas Rivierre,et al.  Real-Time Fixed and Dynamic Priority Driven Scheduling Algorithms: Theory and Experience , 1996 .

[20]  Robert G. Gallager,et al.  A perspective on multiaccess channels , 1984, IEEE Trans. Inf. Theory.

[21]  Philippe Flajolet,et al.  Q -ary collision resolution algorithms in random-access systems with free or blocked channel access , 1985, IEEE Trans. Inf. Theory.

[22]  Edward W. Knightly,et al.  D-bind: an Accurate Traac Model for Providing Qos Guarantees to Vbr Traac , 1997 .

[23]  M. Lane.  Predicting the reliability and safety of commercial software in advanced avionic systems , 2000, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).

[24]  Walter Willinger,et al.  On the self-similar nature of Ethernet traffic , 1993, SIGCOMM '93.

[25]  Mark Garland Hayden,et al.  The Ensemble System , 1998 .

[26]  Michael Burke,et al.  Distributed fault-tolerant avionic systems-a real-time perspective , 1998, 1998 IEEE Aerospace Conference Proceedings (Cat. No.98TH8339).

[27]  Nicolas D. Georganas,et al.  On self-similar traffic in ATM queues: definitions, overflow probability bound, and cell delay distribution , 1997, TNET.

[28]  Nancy G. Leveson,et al.  An investigation of the Therac-25 accidents , 1993, Computer.

[29]  Charles U. Martel,et al.  On non-preemptive scheduling of period and sporadic tasks , 1991, [1991] Proceedings Twelfth Real-Time Systems Symposium.