Modular safety cases provide a means of organising large and/or complex safety cases into separate but interrelated component modules of argument and evidence. Safety case 'contracts' can be used to record the interdependencies that exist between safety case modules - e.g. to show how the claims of one module support the arguments of another. A number of techniques for structuring and describing modular safety cases using the goal structuring notation were defined by Kelly. The Industrial Avionics Working Group, (IAWG) has been using these techniques as part of a substantial industrial case study being funded by the UK Ministry of Defence. Based on this experience, and a number of issues encountered, modifications to the original approach have been defined. This paper presents some of these experiences of the IAWG in using 'modular' GSN - in particular, those relating to capturing and recording safety case contracts - and proposes an enhanced approach.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Safety case composition using contracts - refinements based on feedback from an industrial case study


    Additional title:

    Safety-Case-Gestaltung durch Kontrakte. Verbesserungen auf Basis des Feedback von einer industriellen Fallstudie


    Contributors:
    Fenn, Jane (author) / Hawkins, Richard (author) / Kelly, Tim (author) / Williams, Phil (author)


    Publication date :

    2007


    Size :

    14 Seiten, 10 Bilder, 1 Tabelle, 2 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Rambler refinements

    Engineering Index Backfile | 1911


    Range Refinements

    Brock,B. | Automotive engineering | 1982


    Service contracts: a case study of unfulfilled promises

    Shashikumar, N. | Taylor & Francis Verlag | 1989


    Humber car refinements

    Engineering Index Backfile | 1924


    Performance based safety critical contracts

    Harley, W. L. / Riley, C. E. / IEE; Management and Design Division; Professional Group M5 (Systems engineering) | British Library Conference Proceedings | 1997