Robust Requirements Specifications for Safety—Critical Systems
Experience in safety-critical systems has shown that deviations from assumed behaviour can and do cause accidents. This suggests that the development of requirements specifications for such systems should be supported with a risk analysis. In this paper we present an approach to the development of robust requirements specifications (i.e. specifications that are adequate for the risks involved), based on qualitative and quantitative analyses.
Unable to display preview. Download preview PDF.
- 1.Anderson T, de Lemos R, Fitzgerald J S, Saeed A. On Formal Support for Industrial—Scale Requirements Analysis. In: Ravn A P, Rischel H (eds) Proceedings of the Workshop on Theory of Hybrid Systems. Lyngby, Denmark. Springer-Verlag, 1993 (Lecture notes in computer science — to appear)Google Scholar
- 4.de Lemos R, Saeed A, Waterworth A. Exception Handling in Real-Time Software from Specification to Design. Proceedings of the 2nd International Workshop on Responsive Computer Systems. Saitama, Japan. October, 1992. pp 108–121Google Scholar
- 5.Marshall C W. Applied Graph Theory. Wiley—Interscience, 1971Google Scholar
- 6.Draft Interim Defence Standard 00-56. Hazards Analysis and Safety Classification of the Computer and Programmable Electronic System Elements of Defence Equipment. UK Ministry of Defence. London, UK, 1991Google Scholar
- 7.Vesely W E, Goldberg F F, Roberts N H, Haasl, D F. Fault Tree Handbook. US Nuclear Regulatory Commission NUREG-0492. Washington, DC, 1981Google Scholar
- 9.Miller D G. The Role of Statistical Modeling and Inference in Software Quality Assurance. In: de Neumann B (ed) Software Certification. Elsevier Applied Science, 1990, pp 135–152Google Scholar
- 10.Ramamoorthy C V, Tsai N-T, Yamura T, Bhide A. Metrics Guided Methodology. Proceedings 9th International Computer Software and Applications Conference — COMPSAC’85. Chicago, IL. October, 1985. pp 111–120Google Scholar
- 14.Saeed A, de Lemos R, Anderson T. An Approach to the Assessment of Requirements Specifications for Safety-Critical Systems. Computing Laboratory TR 381. University of Newcastle upon Tyne, UK, 1992Google Scholar