loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96)
The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems
Friedrichshafen, GERMANY
March 11-March 15
ISBN: 0-8186-7355-9
ASCII Text
x 
 
S. P. Wilson, J. A. McDermid, P. M. Kirkham, P. Fenelon, "The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 198, IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.1996.494529,
author = {S. P. Wilson and J. A. McDermid and P. M. Kirkham and P. Fenelon},
title = {The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {1996},
isbn = {0-8186-7355-9},
pages = {198},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.1996.494529},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems
SN - 0-8186-7355-9
SP
EP
A1 - S. P. Wilson,
A1 - J. A. McDermid,
A1 - P. M. Kirkham,
A1 - P. Fenelon,
PY - 1996
KW - safety case
KW - safety analysis
KW - reliability
KW - dependability
KW - method integration
KW - tool support
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
S. P. Wilson, High Integrity Systems Engineering Group University of York, Y01 5DD, United Kingdom
J. A. McDermid, High Integrity Systems Engineering Group University of York, Y01 5DD, United Kingdom
P. M. Kirkham, High Integrity Systems Engineering Group University of York, Y01 5DD, United Kingdom
P. Fenelon, High Integrity Systems Engineering Group University of York, Y01 5DD, United Kingdom
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. In this paper we focus on the achievement of high quality supporting evidence, by describing SAM's facilities for integrated modeling and safety assessment. We also illustrate the use of SAM with a car braking system example.
Index Terms:
safety case, safety analysis, reliability, dependability, method integration, tool support
Citation:
S. P. Wilson, J. A. McDermid, P. M. Kirkham, P. Fenelon, "The Safety Argument Manager: An Integrated Approach to the Engineering and Safety Assessment of Computer Based Systems," ecbs, pp.198, IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996
Usage of this product signifies your acceptance of the Terms of Use.