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.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
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.
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).
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.
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.
J. Gorski. “Design for Safety using Temporal Logic”. SAFECOMP'86. Sarlat, France. October, 1986. pp 149–155.
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.
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.
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.
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.
J.C. Laprie. “Dependability: Basic Concepts and Associated Terminology”. ESPRIT PDCS Report No 31. 1990.
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.
N. G. Leveson, J. Stolzy. “Safety Analysis Using Petri Nets”. IEEE Transactions on Software Engineering Vol. SE-13(3). March, 1987. pp 386–397.
N. G. Leveson. “Software Safety in Embedded Computer Systems”. Communications of the ACM, Vol 34 (2). February, 1991. pp 34–46.
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.
R. Milner, “Calculi for Synchrony and Asynchrony”. Theoretical Computer Science Vol. 25. 1983. pp 267–310.
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.
“Real-Time Systems (Specific Closed Workshop)”. ESPRIT PDCS Workshop Report W6. London, UK. September, 1990.
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.
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.
A. Saeed, T. Anderson, M. Koutny. “A Formal Model for Safety-Critical Computing Systems”. SAFECOMP'90. London, UK. October, 1990. pp 1–6.
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.
J. van Benthem. “The Logic of Time”. Kluwer Academic Publishers. 1991.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
de Lemos, R., Saeed, A., Anderson, T. (1991). Analysis of timeliness requirements in safety-critical systems. In: Vytopil, J. (eds) Formal Techniques in Real-Time and Fault-Tolerant Systems. FTRTFT 1992. Lecture Notes in Computer Science, vol 571. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55092-5_10
Download citation
DOI: https://doi.org/10.1007/3-540-55092-5_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55092-1
Online ISBN: 978-3-540-46692-5
eBook Packages: Springer Book Archive