An approach to automatic detection of software failures in real-time systems

Real-Time Technology and Applications - Proceedings

Volumn , Issue , 1997, Pages 136-146

  Savor, T ^a   Seviora, R E ^a  

^a UNIVERSITY OF WATERLOO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC DETECTION; COMMUNICATING FINITE STATE MACHINES; CONTROL PROGRAM; ORDERS OF MAGNITUDE; REQUIREMENTS SPECIFICATIONS; SOFTWARE FAILURE; TARGET SYSTEMS; WORST CASE RESPONSE TIME;

COMPUTATIONAL COMPLEXITY; REAL TIME SYSTEMS; SOFTWARE TESTING; SPECIFICATIONS; TELEPHONE EXCHANGES; ALGORITHMS; DATA PROCESSING; ERROR DETECTION; FINITE AUTOMATA; SOFTWARE PROTOTYPING;

SUPERVISORY PERSONNEL; COMPUTER SOFTWARE;

FINITE STATE MACHINE BASED REQUIREMENTS SPECIFICATIONS; SOFTWARE FAILURES; SOFTWARE SUPERVISION;

EID: 0031346960     PISSN: 10801812     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RTTAS.1997.601351     Document Type: Conference Paper

References (16)

1. F. Belina, D. Hogrefe, and A. Sarma. SDL with Applications from Protocol Specification. prentice Hall International, 1991.
2. M. Diaz, G. Juanole, and J. P. Courtiat. Observera concept for formal on-line validation of distributed systems. IEEE Transactions on Software Engineering, 20( 12):900-913, December 1994.
3. H. G. Holland et. al. The 5ESS-2000 switch: Exceeding customer expectations. ATtYT Technical Journal, 73(6):28-38, November/December 1994.
4. M. Hlady et al. An approach to automatic detection of software failures. In Proceedings of the Sixth International Symposium on Software Relaability Engineering (ISSRE '95), pages 314-323, 1995.
5. A Formal Description Technique based on Temporal Ordering of Observational Behavior. ISO/IEC 8807, Geneva, 1989.
6. A Formal Description Technique based on Extended State Transition Model. ISO/IEC 9074, Geneva, 1990.
7. C. A. R Hoare. Communicating Sequential Processes. Prentice-Hall International, 1985.
8. International Organization for Standardization.
9. International Organization for Standardization.
10. J. J. Li. A Real-Time Software Supervision Approach for Automatic Failure Detection. PhD thesis, University of Waterloo, Department of Electrical and Computer Engineering, Waterloo, Ontario, Canada, N2L 3G1, 1996.
11. D. J. Richardson, S. L. Aha, and T. O. O'Malley. Specification-based test oracles for reactive systems, In Proceedings of the 14th International Conference on Software Engineering, pages 105-118, 1992.
12. S. Sankar and M. Mandal. Concurrent runtime monitoring of formally specified programs. IEEE Computer, pages 32-41, March 1993.
13. T. Savor and R. E. Seviora. Improving the efficiency of supervision by software through state aggregation. In Proceedings of the IEEE Real-Time Technology and Applications Symposium, pages 202-211, Chicago, IL, USA, May 1995
14. D. P. Sidhu and T. K. Leung. Formal methods for protocol testing: A detailed study. IEEE Transactions on Software Engineering, 15(4):413-426, April 1989.
15. R. Swan. DMS-100 family evolution. BNR Telesis, 3(2):2-9, 1983.
16. International Telegraph and Telephone Consultative Committee. Functional Specification and Description Language, Recommendations Z. iOO-Z. IO, (B lue Book). International Telecommunication Union, Geneva, 1989.