Replica determinism and flexible scheduling in hard real-time dependable systems

IEEE Transactions on Computers

Volumn 49, Issue 2, 2000, Pages 100-111

  Poledna, Stefan ^b   Burns, Alan ^a,c   Wellings, Andy ^c   Barrett, Peter ^d  

^a IEEE   (United Kingdom)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^c UNIVERSITY OF YORK   (United Kingdom)

^d NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

HARD REAL TIME DEPENDABLE SYSTEMS;

COMPUTER OPERATING SYSTEMS; COMPUTER SYSTEMS PROGRAMMING; FAULT TOLERANT COMPUTER SYSTEMS; ONLINE SYSTEMS; RESPONSE TIME (COMPUTER SYSTEMS);

REAL TIME SYSTEMS;

EID: 0033873425     PISSN: 00189340     EISSN: None     Source Type: Journal    
DOI: 10.1109/12.833107     Document Type: Article

References (35)

1. N.C. Audsley, A. Burns, M. Richardson, K. Tindell, and A.J. Wellings, "Applying New Scheduling Theory to Static Priority Preemptive Scheduling," Software Eng. J., vol. 8, no. 5, pp. 284-292, 1993.
2. I.J. Bate, A. Burns, and N.C. Audsley, "Putting Fixed Priority Scheduling Theory into Engineering Practice," Proc. Second IEEE Real-Time Applications Symp., 1996.
3. P.A. Barrett, A. Burns, and A.J. Wellings, "Models of Replication for Safety Critical Hard Real-Time Systems," Proc. 20th IFAC/IFIP Workshop Real-Time Programming (WRTP '95), 1995.
4. A. Burns, "Preemptive Priority Based Scheduling: An Engineering Approach," Advances in Real-Time Systems, S.H. Son, ed., pp. 225-248, Prentice Hall, 1994.
5. A. Burns, K. Tindell, and A.J. Wellings, "Fixed Priority Scheduling with Deadlines Prior to Completion," Proc. Sixth Euromicro Workshop Real-Time Systems, pp. 138-142, 1994.
6. German patent application DE 35 06 118 A1. Verfahren zum Betreiben einer Datenverarbeitungsanlage für Kraftfahrzeuge. (CAN), filed by Robert Bosch GmbH, 22 Feb. 985.
7. F. Cristian, H. Aghili, R. Strong, and D. Dolev, "Atomic Broadcast: From Simple Message Diffusion to Byzantine Agreement," Proc. 15th Int'l Symp. Fault-Tolerant Computing (FTCS-15), pp. 200-206, June 1985.
8. F. Cristian, "Synchronous Atomic Broadcast for Redundant Broadcast Channels," J. Real-Time Systems, vol. 2, no.. 3, pp. 195-212, Sept. 1990.
9. J. Halpern and Y. Moses, "Knowledge and Common Knowledge in a Distributed Environment," Proc. ACM Symp. Principles of Distributed Computing, pp. 50-61, Aug. 1984 (revised version dated Nov. 1985 ).
10. J. Halpern and Y. Moses, "Knowledge and Common Knowledge in a Distributed Environment," J. ACM, vol. 37, no.. 3, pp. 549-587, July 1990.
11. H. Kopetz, A. Damm, C. Koza, M. Mulazzani, C. Senft, and R. Zainlinger, "The MARS Approach," IEEE Micro, vol. 9, no. 1, pp. 25-40, Feb. 1989.
12. M.H. Klein et al., A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic, 1993.
13. H. Kopetz, A. Krüger, D. Millinger, and A. Schedl, "A Synchronization Strategy for a Time-Triggered Multicluster Real-Time System," Proc. 14th Symp. Reliable Distributed Systems, Sept. 1995.
14. H. Kopetz and W. Ochsenreiter, "Clock Synchronization in Distributed Real-Time Systems," IEEE Trans. Computers, vol. 36, no. 8, pp. 933-940, Aug. 1987.
15. H. Kopetz, "Sparse Time versus Dense Time in Distributed Real-Time Systems," Proc. 12th Int'l Conf.n Distributed Computing Systems, pp. 460-467, June 1992.
16. R.M. Kieckhafer, P.M. Thambidurai, C.J. Walter, and A.M. Finn, "The MAFT Architecture for Distributed Fault-Tolerance," IEEE Trans. Computers, vol. 37, no. 4, pp. 394-405, 1988.
17. L. Lamport and P.M. Melliar-Smith, "Synchronizing Clocks in the Presence of Faults," J. ACM, vol. 32, no. 1, pp. 52-78, Jan. 1985.
18. D. Locke, "Software Architectures for Hard Real-Time Applications: Cyclic Executives vs Fixed Priority Executives," Real-Time Systems, vol. 4, no. 1, pp. 37-53, 1992.
19. L. Lamport, R. Shostak, and M. Pease, "The Byzantine Generals Problem," Trans. Programming Languages and Systems, vol. 4, no. 3, pp. 382-401, 1982.
20. H.-J. Mathony and S. Poledna, "Real-Time Software for In-Vehicle Communication," Proc. SAE Int'l Congress and Exposition, pp. 1-9, Feb. 1996.
21. G. Neiger, "Knowledge Consistency: A Useful Suspension of Disbelief," Proc. Second Conf. Theoretical Aspects of Reasoning about Knowledge, pp. 295-308, 1988.
22. G. Neiger and S. Toueg, "Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems," Proc. Sixth ACM Symp. Principles of Distributed Computing, pp. 281-293, Aug. 1987.
23. G. Neiger and S. Toueg, "Substituting for Real Time and Common Knowledge in Asynchronous Distributed Systems," J. ACM, vol. 40, no. 3, pp. 334-367, Apr. 1993.
24. S. Poledna, T. Mocken, J. Schiemann, and T. Beck, "ERCOS - An Operating System for Automotive Applications," Proc. SAE Int'l Congress and Exposition, pp. 55-65, 1996.
25. S. Poledna, "Replica Determinism in Fault-Tolerant Real-Time Systems," PhD thesis, Technical Univ. of Vienna, Institut für Technische Informatik, 1994.
26. S. Poledna, "Deterministic Operation in Fault-Tolerant Distributed Real-Time Systems," Research Report 28/95, Technical Univ. of Vienna, Institut für Technische Informatik, 1995, Proc. Sixth IFIP Int'l Working Conf. Dependable Computing for Critical Applications, 1997.
27. S. Poledna, "Fault-Tolerance in Safety Critical Automotive Applications: Cost of Agreement as a Limiting Factor," Proc. 25th Int'l Symp. Fault-Tolerant Computing, pp. 73-82, June 1995.
28. S. Poledna, Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism. Kluwer Academic, 1995.
29. "Replicated Software Components," Delta-4: A Generic Architecture for Dependable Computing, D. Powell, ed., vol. 1 of ESPRIT Research Reports, chapter 6.4, pp. 100-104,Vienna, New York: Springer Verlag, 1991.
30. "Semi-Active Replication," Delta-4: A Generic Architecture for Dependable Computing, D. Powell, ed., vol. 1 of ESPRIT Research Reports, chapter 6.7, pp. 116-120, Vienna, New York: Springer Verlag, 1991.
31. M.K. Reiter and K.P. Birman, "How to Securely Replicate Services," ACM Trans. Programming Languages and Systems, vol. 16, no. 3, pp. 986-1,009, 1994.
32. F.B. Schneider, "Implementing Fault-Tolerant Services Using the State Machine Approach: A Tutorial," ACM Computing Surveys, vol. 22, no. 4, pp. 229-319, 1990.
33. Siemens Microcomputer Components SAB 80C167 16-Bit CMOS Single-Chip Microcontrollers for Embedded Control Applications, User's Manual, 1993.
34. P. Verissimo, "Causal Delivery Protocols in Real-Time Systems: A Generic Model," J. Real-Time Systems, vol. 10, no. 1, pp. 45-73, Jan. 1996.
35. P. Veríssimo, L. Rodrigues, and M. Baptista, "AMp: A Highly Parallel Atomic Multicast Protocol," Proc. SIGCOMM Symp., pp. 83-93, Sept. 1989.