Abstract
This paper reports on work aimed at identifying a methodology and at defining a coherent safety life-cycle to the development of systems containing software. In particular, emphasis is placed on the initial life-cycle phases, the ones in which safety problems are generally disregarded due to limited availability of information on product characteristics and due to difficulties in treating the problem from a functional point of view. The methodology was applied to a braking system of a high speed train, and takes into account principles defined in the IEC 1508 draft standard. The methodology includes systems modelling and analysis techniques integrated in the requirements phases and organised consistent with the standard IEC 1508 in order to derive software system safety requirements. It consists in the organisation of the requirements in a structured way, functional modelling of the system, deviation analysis for hazard identification, functional Top Level Fault Tree analysis to support hazard analysis, analysis of the functional criticality and identification of safety requirements.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A guideline for HAZOP studies on Systems which include Programmable Electronic Systems. M.F. Chudleigh, J.R.Catmur, F.Redmill. In Proceedings of the 14th International Conference on Computer Safety, Reliability and Security (SAFECOMP95). Belgirate, Italy, 11–13 October 1995.Springer, edited by Gerhard Rabe.
IEC 1508, Functional Safety- Safety related systems. International Electrotechnical Commission. 1995.
A Development of Hazard Analysis to aid Software Design. J.A. Mc Dermid, D.Pumfrey. In proceedings of the ninth annual conference on Computer Assurance (COMPASS ’94). Gaithersburg, MD, July 1994. Pp. 17–25.
A systematic approach for the analysis of safety requirements for process control systems. R. De Lemos, A. Saeed, T. Anderson. Second year report of PDCS2, Predictably Dependable Computing Systems.
Experience with the application of HAZOP to Computer-Based Systems. J.A.McDermid, M.Nicholson, D.Pumfrey. In proceedings of the tenth annual conference on Computer Assurance (COMPASS ’95). Gaithersburg, MD, June 1995. Pp. 37–48.
FMEA and FTA to support safe design of embedded software in safety-critical systems. T. Maier. In proceeding of 12 th CSR workshop and 1 st ENCRESS conference, Bruges, September 1995.
Safety Analysis Tools for Requirements Specifications. Vivek Ratan, Kurt Partridge, Jon Reese, Nancy Leveson. In proceedings of the eleventh annual conference on Computer Assurance (COMPASS ’96). Gaithersburg, MD, June 1996.
Integrated Safety Analysis of Requirements Specifications. F. Modugno, N. Leveson, J.D. Reese, K. Partridge, S.D. Sandys. Integrated Safety Analysis of Requirements Specifications. University of Washington Report, May 1996.
Analyzing Software Requirements Errors in Safety-Critical Embedded Systems. Lutz R: IEEE Proceedings of the International Symposium on Requirements Engineering, 1993.
RLutz., RWoodhouse.:Experience Report>:Contributions of SFMEA to Requirements Analysis, ICRE, 1996.
CEN prEN50126 Railway applications - The specification and demonstration of dependability - Reliability, Availability, Maintainability and Safety (RAMS), Draft 1.0, August 1995.
Contini S.: ISPRA-FTA. Interactive Software Package for Reliability analysis. Fault Tree analysis tool for personal computers. Methodological aspects and User Interface description. EUR Report 13997 EN 1992, JRC Ispra 1992.
Contini S. : A new hybrid method for fault tree analysis. Reliability Engineering and Systems Safety, vol 49, 1, 1995.
Ross D.T., Applications and extensions of SADT. IEEE Computer, April 1985
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer-Verlag London Limited
About this paper
Cite this paper
Wilikens, M., Masera, M., Vallero, D. (1997). Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems. In: Daniel, P. (eds) Safe Comp 97. Springer, London. https://doi.org/10.1007/978-1-4471-0997-6_7
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0997-6_7
Publisher Name: Springer, London
Print ISBN: 978-3-540-76191-4
Online ISBN: 978-1-4471-0997-6
eBook Packages: Springer Book Archive