• DocumentCode
    3118346
  • Title

    Justifying the validity of safety assessment models with safety case patterns

  • Author

    Sun, L. ; Lisagor, O. ; Kelly, T.

  • Author_Institution
    Dept. of Comput. Sci., Univ. of York, York, UK
  • fYear
    2011
  • fDate
    20-22 Sept. 2011
  • Firstpage
    1
  • Lastpage
    6
  • Abstract
    Safety analysis is an essential part of the development process of complex systems. However, decisions that are based on flawed safety assessment models, or models used beyond their envelope of validity can negatively impact safety design choices, the effectiveness of certification, and operational practice. Therefore, the justification of assumptions, data sources and analytical methods is necessary for appropriate use of these analysis results. Currently, most of the existing guidance on the evaluation or assessment of safety analysis is concerned with the human aspects of safety reviews. However, there are few recommendations as to how to justify a collection of safety assessment models as part of forming a coherent argument, especially for safety assessments performed using novel safety modelling techniques (such as Failure Logic Modelling). This paper examines the concerns for model validation activities in general and presents an exemplar safety case pattern for the adequacy of safely assessment models. The justification concerns of safely assessment models have been developed in order to provide inspiration and a starting point for future safety case developments utilising novel safety assessment models.
  • Keywords
    safety-critical software; system recovery; analytical methods; complex systems development process; data sources; exemplar safety case pattern; failure logic modelling; model validation activity; safety analysis; safety assessment models; safety case patterns; safety design choices; safety modelling techniques; safety reviews; Model Adequacy; Model Validity; Safety Analysis; Safety Assessment; Safety Case;
  • fLanguage
    English
  • Publisher
    iet
  • Conference_Titel
    System Safety, 2011 6th IET International Conference on
  • Conference_Location
    Birmingham
  • Type

    conf

  • DOI
    10.1049/cp.2011.0261
  • Filename
    6136926