Skip to main content

Integration of Safety Requirements in the Initial Phases of the Project Lifecycle of Hardware/Software Systems

An Experience Report based on the application of IEC 1508

  • Conference paper
Safe Comp 97

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

    Google Scholar 

  2. IEC 1508, Functional Safety- Safety related systems. International Electrotechnical Commission. 1995.

    Google Scholar 

  3. 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.

    Google Scholar 

  4. 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.

    Google Scholar 

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. Analyzing Software Requirements Errors in Safety-Critical Embedded Systems. Lutz R: IEEE Proceedings of the International Symposium on Requirements Engineering, 1993.

    Google Scholar 

  10. RLutz., RWoodhouse.:Experience Report>:Contributions of SFMEA to Requirements Analysis, ICRE, 1996.

    Google Scholar 

  11. CEN prEN50126 Railway applications - The specification and demonstration of dependability - Reliability, Availability, Maintainability and Safety (RAMS), Draft 1.0, August 1995.

    Google Scholar 

  12. 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.

    Google Scholar 

  13. Contini S. : A new hybrid method for fault tree analysis. Reliability Engineering and Systems Safety, vol 49, 1, 1995.

    Google Scholar 

  14. Ross D.T., Applications and extensions of SADT. IEEE Computer, April 1985

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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

Publish with us

Policies and ethics