Advertisement

Analysis of timeliness requirements in safety-critical systems

  • Rogério de Lemos
  • Amer Saeed
  • Tom Anderson
Session 3
Part of the Lecture Notes in Computer Science book series (LNCS, volume 571)

Abstract

Requirements analysis plays a vital role in the development of safetycritical systems since any faults in the requirements specification will corrupt the subsequent stages of system development. Experience in safetycritical systems has shown that faults in the requirements can and do cause accidents. This paper presents a general framework for the analysis of timeliness requirements in safetycritical systems. The analysis is performed in two distinct phases; for each phase we propose different formalisms and time structures. The specification of the timing constraints is based on an event/action model. To illustrate the proposed approach an example based on a train set crossing is presented.

Keywords

safety-critical systems requirements analysis timeliness requirements formal models time modelling 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. /Dasarathy 85/.
    B. Dasarathy. “Timing Constraints of Real-Time Systems: Constructs for Expressing them, Methods of Validating them”. IEEE Transactions on Software Engineering Vol. SE-11(1). January, 1985. pp 80–86.Google Scholar
  2. /de Lemos 92/.
    R. de Lemos, A. Saeed, T. Anderson. “A Train set as a Case Study for the Requirements Analysis of Safety-Critical Systems”. The Computer Journal. February 1992 (to appear).Google Scholar
  3. /Genrich 87/.
    H. Genrich. “Predicate/Transition Nets”. Petri Nets: Central Models and their Properties. Eds: W. Brauer, W. Reisig, G. Rozemberg. Lectures Notes in Computer Science Vol. 254. 1987. pp 206–247.Google Scholar
  4. /Ghezzi 91/.
    C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezzè. “A Unified High-Level Petri Net Formalism for Time-Critical Systems”. IEEE Transactions on Software Engineering Vol. SE-17(2). February, 1991. pp 160–172.Google Scholar
  5. /Gorski 86/.
    J. Gorski. “Design for Safety using Temporal Logic”. SAFECOMP'86. Sarlat, France. October, 1986. pp 149–155.Google Scholar
  6. /Jaffe 91/.
    M. S. Jaffe, N. G. Leveson, M. P. E. Hiemdahl, B. E. Melhart. “Software Requirements Analysis for Real-Time Process-Control Systems”. IEEE Transactions on Software Engineering, Vol SE-17 (3). March 1991. pp 241–258.Google Scholar
  7. /Jahanian 88/.
    F. Jahanian, D. A. Stuart. “A Method for Verifying Properties of Modechart Specifications”. Proceedings of the Real-Time Systems Symposium 1988. Huntsville, AL. December, 1988. pp 12–21.Google Scholar
  8. /Jensen 85/.
    E. Jensen, D. Locke, H. Tokuda. “A Time-Driven Scheduling Model for Real-Time Operating Systems”. Proceedings of the Real-Time Systems Symposium 1985. San Diego, CA. December, 1985. pp 112–122.Google Scholar
  9. /Koymans 88/.
    R. Koymans, R. Kuiper, E. Zijlstra. “Paradigms for Real-Time Systems”. Proceedings of the Symposium in Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS 331. Springer-Verlag. M. Joseph (Ed.). Warwick, UK. September, 1988. pp 159–174.Google Scholar
  10. /Laprie 90/.
    J.C. Laprie. “Dependability: Basic Concepts and Associated Terminology”. ESPRIT PDCS Report No 31. 1990.Google Scholar
  11. /Laprie 91/.
    J.-C. Laprie, B. Littlewood. “Quantitative Assessement of Safety-Critical Software: Why and How?”. Probabilistic Safety Assessment and Management Conference. Beverly Hills, CA. February, 1991.Google Scholar
  12. /Leveson 87/.
    N. G. Leveson, J. Stolzy. “Safety Analysis Using Petri Nets”. IEEE Transactions on Software Engineering Vol. SE-13(3). March, 1987. pp 386–397.Google Scholar
  13. /Leveson 91/.
    N. G. Leveson. “Software Safety in Embedded Computer Systems”. Communications of the ACM, Vol 34 (2). February, 1991. pp 34–46.Google Scholar
  14. /MacEwen 88/.
    G. MacEwen, D. Skillicorn. “Using High-Order Logic for Modular Specifications of Real-Time Distributed Systems”. Proceedings of the Symposium in Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS 331. M. Joseph (Ed.). Warwick, UK. September, 1988. pp 36–66.Google Scholar
  15. /Milner 83/.
    R. Milner, “Calculi for Synchrony and Asynchrony”. Theoretical Computer Science Vol. 25. 1983. pp 267–310.Google Scholar
  16. /Ostroff 87/.
    J. S. Ostroff, W. M. Wonham. “Modelling, Specifying and Verifying Real-Time Embedded Computer Systems”. Proceedings of the Real-Time Systems Symposium 1987. San Jose, CA. December 1987. pp 124–132.Google Scholar
  17. /PDCS 90/.
    “Real-Time Systems (Specific Closed Workshop)”. ESPRIT PDCS Workshop Report W6. London, UK. September, 1990.Google Scholar
  18. /Pnueli 88/.
    A. Pnueli, E. Harel, “Applications of Temporal Logic to the Specification of Real Time Systems”. Proceedings of the Symposium in Formal Techniques in Real-Time and Fault-Tolerant Systems. LNCS 331. Springer-Verlag M. Joseph (Ed.). Warwick, UK. September, 1988. pp. 84–97.Google Scholar
  19. /Reed 86/.
    G. M. Reed, A.W. Roscoe, “A timed model for communicating sequential processes”. Proceedings of 13th International Colloquium on Automata, Languages and Programming. LNCS 226. Springer-Verlag. Laurent Kott (Ed.). Rennes, France. July, 1986. pp 314–323.Google Scholar
  20. /Saeed 90/.
    A. Saeed, T. Anderson, M. Koutny. “A Formal Model for Safety-Critical Computing Systems”. SAFECOMP'90. London, UK. October, 1990. pp 1–6.Google Scholar
  21. /Saeed 91/.
    A. Saeed, R. de Lemos, T. Anderson. “The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: a Train Set Example”. Proceedings of the 21st Symposium on Fault-Tolerant Computing. Montreal, Canada. June, 1991. pp 478–485.Google Scholar
  22. /van Benthem 90/.
    J. van Benthem. “The Logic of Time”. Kluwer Academic Publishers. 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Rogério de Lemos
    • 1
  • Amer Saeed
    • 1
  • Tom Anderson
    • 1
  1. 1.Computing LaboratoryUniversity of Newcastle upon TyneUK

Personalised recommendations