软件需求安全分析的过程

Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering Pub Date : 1994-11-06 DOI:10.1109/ISSRE.1994.341347

R. Mojdehbakhsh, S. Subramanian, R. V. Vishnuvajjala, W. Tsai, L. Elliott

{"title":"软件需求安全分析的过程","authors":"R. Mojdehbakhsh, S. Subramanian, R. V. Vishnuvajjala, W. Tsai, L. Elliott","doi":"10.1109/ISSRE.1994.341347","DOIUrl":null,"url":null,"abstract":"We introduce a detailed process for software requirements safety analysis. The approach for identification of safety faults in this process is based on fault tree analysis. This process consists of four main steps: software requirements fault tree generation; software requirements fault tree verification and validation; software safety requirements generation and safety fault mitigation; and software requirements safety verification and validation. We have defined a set of rules that can automatically generate the software requirements fault tree given the software requirements specified in Statemate, and the software fault tree top events identified in the system safety analysis. Statemate CASE tool is used in this process for specification of software requirements, and execution and analysis of the software requirements to verify and validate safety. Essential tree analysis is introduced as a method for dependency analysis of the software fault tree top event. The outcome of essential tree analysis is captured in an essential tree which we introduce as a graphical representation of the dependencies and their interrelations.<<ETX>>","PeriodicalId":171359,"journal":{"name":"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering","volume":"352 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1994-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"20","resultStr":"{\"title\":\"A process for software requirements safety analysis\",\"authors\":\"R. Mojdehbakhsh, S. Subramanian, R. V. Vishnuvajjala, W. Tsai, L. Elliott\",\"doi\":\"10.1109/ISSRE.1994.341347\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We introduce a detailed process for software requirements safety analysis. The approach for identification of safety faults in this process is based on fault tree analysis. This process consists of four main steps: software requirements fault tree generation; software requirements fault tree verification and validation; software safety requirements generation and safety fault mitigation; and software requirements safety verification and validation. We have defined a set of rules that can automatically generate the software requirements fault tree given the software requirements specified in Statemate, and the software fault tree top events identified in the system safety analysis. Statemate CASE tool is used in this process for specification of software requirements, and execution and analysis of the software requirements to verify and validate safety. Essential tree analysis is introduced as a method for dependency analysis of the software fault tree top event. The outcome of essential tree analysis is captured in an essential tree which we introduce as a graphical representation of the dependencies and their interrelations.<<ETX>>\",\"PeriodicalId\":171359,\"journal\":{\"name\":\"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering\",\"volume\":\"352 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1994-11-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"20\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISSRE.1994.341347\",\"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 of 1994 IEEE International Symposium on Software Reliability Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISSRE.1994.341347","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 20

摘要

详细介绍了软件需求安全分析的过程。在此过程中，安全故障的识别方法基于故障树分析。该过程包括四个主要步骤:软件需求故障树生成;软件需求故障树的验证与确认;软件安全需求生成和安全故障缓解;并且软件要求安全验证和确认。我们已经定义了一组规则，这些规则可以根据Statemate中指定的软件需求自动生成软件需求故障树，以及在系统安全分析中识别的软件故障树顶部事件。在此过程中使用Statemate CASE工具对软件需求进行说明，并对软件需求进行执行和分析，以验证和确认安全性。介绍了本质树分析法作为软件故障树顶事件相关性分析的一种方法。基本树分析的结果在基本树中捕获，我们将其作为依赖关系及其相互关系的图形表示引入。

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

查看原文本刊更多论文

A process for software requirements safety analysis

We introduce a detailed process for software requirements safety analysis. The approach for identification of safety faults in this process is based on fault tree analysis. This process consists of four main steps: software requirements fault tree generation; software requirements fault tree verification and validation; software safety requirements generation and safety fault mitigation; and software requirements safety verification and validation. We have defined a set of rules that can automatically generate the software requirements fault tree given the software requirements specified in Statemate, and the software fault tree top events identified in the system safety analysis. Statemate CASE tool is used in this process for specification of software requirements, and execution and analysis of the software requirements to verify and validate safety. Essential tree analysis is introduced as a method for dependency analysis of the software fault tree top event. The outcome of essential tree analysis is captured in an essential tree which we introduce as a graphical representation of the dependencies and their interrelations.<>

求助全文

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

来源期刊

Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering

自引率

0.00%

发文量