This paper considers the benefits from applying information modelling as the basis for creating an electronically-based safety case. It highlights the current difficulties of developing and managing large document-based safety cases for complex systems such as those found in Air Traffic Control systems. After a review of current tools and related literature on this subject, the paper proceeds to examine the many relationships between entities that can exist within a large safety case. The paper considers the benefits to both safety case writers and readers from the future development of an ideal safety case tool that is able to exploit these information models. The paper also introduces the idea that the safety case has formal relationships between entities that directly support the safety case argument using a methodology such as GSN, and informal relationships that provide links to direct and backing evidence and to supporting information.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Safety case development as an information modelling problem


    Additional title:

    Entwicklungen für den Sicherheitsfall als ein Informationsmodellierungsproblem


    Contributors:


    Publication date :

    2009


    Size :

    11 Seiten, 4 Bilder, 7 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Safety case development - a practical guide

    Fowler, Derek / Tiemeyer, Bernd | Tema Archive | 2006




    Safety case approaches - the Channel safety case

    Jones, C. / Atkins, W. S. / Hacquart, R. et al. | British Library Conference Proceedings | 1995