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

Author

Wilson, S.P. ; McDermid, J.A. ; Kirkham, P.M. ; Fenelon, P.

Author_Institution

High Integrity Syst. Eng. Group, York Univ., UK

fYear

1996

fDate

11-15 Mar 1996

Firstpage

198

Lastpage

205

Abstract

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

Keywords

automobiles; brakes; microcomputer applications; safety-critical software; software performance evaluation; software quality; systems analysis; SAM; Safety Argument Manager; car braking system; computer based systems safety; integrated approach; integrated modelling; personal computer; safety assessment; safety case construction; software quality; Automatic control; Control systems; Engineering management; Injuries; Maintenance engineering; Process design; Reliability engineering; Safety; Stress; Systems engineering and theory;

fLanguage

English

Publisher

ieee

Conference_Titel

Engineering of Computer-Based Systems,1996. Proceedings., IEEE Symposium and Workshop on

Conference_Location

Friedrichshafen

Print_ISBN

0-8186-7355-9

Type

conf

DOI

10.1109/ECBS.1996.494529

Filename

494529