Loading…

The Safety Argument Manager: an integrated approach to the engineering and safety assessment of computer based systems

This paper presents details of the Safety Argument Manager (SAM) a PC based tool to support safety case construction. SAM is novel in that it stresses total system safety and is designed to support an integrated process for design and assessment. SAM provides facilities for the construction of high...

Full description

Saved in:
Bibliographic Details
Main Authors: Wilson, S., McDermid, J.A., Kirkham, P.M., Fenelon, P.
Format: Conference Proceeding
Language:English
Subjects:
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:This paper presents details of the Safety Argument Manager (SAM) a PC based tool to support safety case construction. SAM is novel in that it stresses total system safety and is designed to support an integrated process for design and assessment. SAM provides facilities for the construction of high level safety arguments and for building up complete and consistent supporting evidence. We focus on the achievement of high quality supporting evidence, by describing SAM's facilities for integrated modelling and safety assessment. We also illustrate the use of SAM with a car braking system example.
DOI:10.1109/ECBS.1996.494529