安全论证经理:基于计算机系统的工程和安全评估的综合方法

Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems Pub Date : 1996-03-11 DOI:10.1109/ECBS.1996.494529

S. Wilson, J. Mcdermid, P. Kirkham, P. Fenelon

{"title":"安全论证经理:基于计算机系统的工程和安全评估的综合方法","authors":"S. Wilson, J. Mcdermid, P. Kirkham, P. Fenelon","doi":"10.1109/ECBS.1996.494529","DOIUrl":null,"url":null,"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.","PeriodicalId":244671,"journal":{"name":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","volume":"11 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-03-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"The Safety Argument Manager: an integrated approach to the engineering and safety assessment of computer based systems\",\"authors\":\"S. Wilson, J. Mcdermid, P. Kirkham, P. Fenelon\",\"doi\":\"10.1109/ECBS.1996.494529\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":244671,\"journal\":{\"name\":\"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems\",\"volume\":\"11 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-03-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ECBS.1996.494529\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ECBS.1996.494529","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 11

摘要

本文详细介绍了安全论证管理器(SAM)，一个基于PC的工具，以支持安全案例的建设。SAM的新颖之处在于它强调整个系统的安全性，并旨在支持设计和评估的集成过程。SAM为构建高水平的安全论证和建立完整一致的支持证据提供了便利。我们通过描述SAM的综合建模和安全评估设施，专注于实现高质量的支持证据。我们还以汽车制动系统为例说明了SAM的使用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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 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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

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

自引率

0.00%

发文量