Handling interrupts in testing of distributed real-time systems

Testing techniques for sequential software are well established. Unfortunately, these testing techniques are not directly applicable to distributed real-time systems. In previous work we have proposed a method for reproducible and deterministic testing of distributed real-time systems. This method identifies all possible orderings of task starts, preemptions and completions. Each ordering is regarded as a sequential program, and can as such be tested with standard sequential testing techniques. In this paper we extend our method to also handle interrupts. This is essential since critical parts of most real world systems are managed by interrupts.

[1]  Hans A. Hansson,et al.  Towards systematic testing of distributed real-time systems , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[2]  Henrik Thane,et al.  DESIGN FOR DETERMINISTIC MONITORING OF DISTRIBUTED REAL-TIME SYSTEMS , 2000 .

[3]  Mathai Joseph,et al.  Finding Response Times in a Real-Time System , 1986, Comput. J..

[4]  Jukka Mäki-Turja,et al.  An Overview of RealTimeTalk, a Design Framework for Real-Time Systems , 1996, J. Parallel Distributed Comput..

[5]  Hermann Kopetz,et al.  Distributed fault-tolerant real-time systems: the Mars approach , 1989, IEEE Micro.

[6]  John Rushby,et al.  Formal Methods and their Role in the Certification of Critical Systems , 1997 .

[7]  Gerhard Fohler,et al.  Handling interrupts with static scheduling in an automotive vehicle control system , 1998, Proceedings Fifth International Conference on Real-Time Computing Systems and Applications (Cat. No.98EX236).

[8]  D. Stott Parker,et al.  Saving traces for Ada debugging , 1985, SIGAda '85.

[9]  Hermann Kopetz,et al.  TTP - A time-triggered protocol for fault-tolerant real-time systems , 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.

[10]  Alan Burns,et al.  Hard Real-Time Scheduling: The Deadline-Monotonic Approach , 1991 .

[11]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[12]  David Lorge Parnas,et al.  Scheduling Processes with Release Times, Deadlines, Precedence, and Exclusion Relations , 1990, IEEE Trans. Software Eng..

[13]  Hermann Kopetz,et al.  Clock Synchronization in Distributed Real-Time Systems , 1987, IEEE Transactions on Computers.

[14]  Charles E. McDowell,et al.  Debugging concurrent programs , 1989, ACM Comput. Surv..

[15]  Jason Gait,et al.  A probe effect in concurrent programs , 1986, Softw. Pract. Exp..

[16]  Boris Beizer,et al.  Software Testing Techniques , 1983 .