Handling interrupts in testing of distributed real-Time systems

Proceedings - 6th International Conference on Real-Time Computing Systems and Applications, RTCSA 1999

Volumn , Issue , 1999, Pages 450-457

  Thane, H ^a   Hansson, H ^a  

^a MÄLARDALEN UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

HUMAN COMPUTER INTERACTION; INTERACTIVE COMPUTER SYSTEMS; SOFTWARE TESTING;

DISTRIBUTED REAL TIME SYSTEM; REAL-WORLD SYSTEM; SEQUENTIAL PROGRAMS; SEQUENTIAL SOFTWARES; SEQUENTIAL TESTING; TESTING TECHNIQUE;

REAL TIME SYSTEMS;

EID: 85031527721     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTCSA.1999.811297     Document Type: Conference Paper

References (21)

1. Audsley N. C., Bums A., Davis R. I., Tindell K. W. Fixed Priority Pre-emptive Scheduling: A Historical Perspective Real-Time Systems journal, V01.8(2/3), Marcmay, Kluwer A.P., 1995
2. Audsley N. C., Bums A., Richardson M.F., and Wellings A.J. Hard Real-Time Scheduling: The Deadline Monotonic Approach. Proc. 81h IEEE Workshop on Real-Time Operating Systems and Software, pp. 127-132, Atlanta, Georgia, May, 1991
3. Beizer B. Software testing techniques. Van Nostrand Reinhold, 1990
4. Eriksson C., Mturja J., Post K., Gustafsson M., Gustafsson J., Sandstrom K., and Brorsson E. An Overview of R7T: A design Framework for Real-Time Systems Journal of Parallel and Distributed Computing, vol. 36, pp 66-80, October. 1996
5. Gait J. A Probe Effect in Concurrent Programs. Software-Practice and Experience, 16(3):225-233, March, 1986
6. Joseph M. and Pandya P. Finding response times in a real-Time system. The Computer Journal, 29(5):390-395, October, 1986
7. Kopetz H and Ochsenreiter W. Clock Synchronisation in Distributed Real-Time Systems. IEEE Trans. Computers, Kopetz H. and Griinsteidl H. TTP-A Time-Triggered Protocol for Fault-Tolerant Real-Time Systems. Proc. 231d Int. symposium on Fault-Tolerant Computing, 1993 FTCS-23. Digest of Papers, August, 1993, pp. 524-533
8. Kopetz H. and Ochsenreiter W. Clock Synchronisation in Distributed Real-Time Systems. IEEE Trans. Computers, 36(8):933-940, August, 1987
9. Kopetz H., Damm A., Koza Ch., Mulazzani M., Schwabl W., Senft Ch., and Zainlinger R. Distributed Fault-Tolerant Real-Time Systems: The MRS Approach. IEEE Micro, 9(1):25-40, 1989
10. Laprie J.C. Dependability: Basic Concepts and Associated Terminology. Dependable Computing and Fault-Tolerant Systems, vol. 5, Springer Verlag, 1992
11. Le Doux C.H., and Parker D.S. Saving Traces for Ada Debugging. Proc. Ada int. conf., Paris, Cambridge University press, pp. 97-108, 1985
12. Lui C. L. and Layland J. W. Scheduling Algorithms for multiprogramming in a hard real-Time environment Journal of the ACM 20(1), 1973
13. McDowell C.E. and Hembold D.P. Debugging concurrent programs. ACM Computing Surveys, 21(4):593-622, December, 1989
14. Rushby J . Formal methods and their Role in the Certification of Critical Systems. Proc. 1 21h Annual Center for Software Reliability Workshop, Bruges 12-15 September, 1995, pp. 2-42. Springer Verlag. ISBN 3-540-76034-2
15. Sandstrom K., Eriksson C., and Fohler G. Handling Interrupts with Static Scheduling in an Automotive Vehicle Control System. In proceedings of the 51h Int. Conference on Real-Time Computing Systems and Applications (RTCSA'98). October 1998, Japan
16. Schutz W. Fundamental Issues in Testing Distributed Real-Time Systems. Real-Time Systems journal, vol. 7(2): 129-157, Kluwer A.P., 1994
17. Thane H. and Hansson H. Towards Systematic Testing of Distributed Real-Time Systems. Proc. 20th IEEE Real-Time Systems Symposium, Phoenix, Arizona, December 1999
18. Thane H. Design for Deterministic Monitoring of Distributed Real-Time Systems. Technical report, Malardalen Real-Time Research Centre, Dept. Computer Engineering, Malardalen University, 1999
19. Thane H. Dealing with Interrupts in Testing of Distributed Real-Time Systems. Technical report, Malardalen Real-Time Research Centre, Dept. Computer Engineering, Malardalen University, 1999
20. Tindell K. W., Burns A., and Wellings A.J. Analysis of Hard Real-Time Communications. Real-Time Systems, 9(2):147-171, September, Kluwer A.P., 1995
21. Xu J. ,Parnas D. Scheduling processes with release times, deadlines, precedence, and exclusion, relations, IEEE Trans on Software Eng, 16, 3, 360-369, 1990