并发、反应、实时系统的流分析

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076) Pub Date : 1996-10-22 DOI:10.1109/HASE.1996.618591

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

{"title":"并发、反应、实时系统的流分析","authors":"R. V. Vishnuvajjala, S. Subramanian, W. Tsai, R. Mojdehbakhsh, L. Elliott","doi":"10.1109/HASE.1996.618591","DOIUrl":null,"url":null,"abstract":"One of the widely used techniques in software safety analysis is fault tree analysis. The paper discusses the use of flow analysis techniques for supporting fault tree generation from software specifications. Earlier work on flow analysis techniques has focused on sequential systems. We discuss how system characteristics such as concurrency and real time reactive features impact the flow analysis techniques. The paper discusses concepts and algorithms that can be used in performing flow analysis for concurrent reactive real time systems.","PeriodicalId":129829,"journal":{"name":"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)","volume":"22 11 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-10-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Flow analysis for concurrent, reactive, real-time systems\",\"authors\":\"R. V. Vishnuvajjala, S. Subramanian, W. Tsai, R. Mojdehbakhsh, L. Elliott\",\"doi\":\"10.1109/HASE.1996.618591\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"One of the widely used techniques in software safety analysis is fault tree analysis. The paper discusses the use of flow analysis techniques for supporting fault tree generation from software specifications. Earlier work on flow analysis techniques has focused on sequential systems. We discuss how system characteristics such as concurrency and real time reactive features impact the flow analysis techniques. The paper discusses concepts and algorithms that can be used in performing flow analysis for concurrent reactive real time systems.\",\"PeriodicalId\":129829,\"journal\":{\"name\":\"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)\",\"volume\":\"22 11 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-10-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HASE.1996.618591\",\"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 High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HASE.1996.618591","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

故障树分析是软件安全分析中应用最广泛的技术之一。本文讨论了使用流分析技术来支持从软件规范生成故障树。流分析技术的早期工作集中在顺序系统上。我们将讨论诸如并发性和实时响应特性等系统特征如何影响流分析技术。本文讨论了可用于并发响应实时系统流分析的概念和算法。

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

查看原文本刊更多论文

Flow analysis for concurrent, reactive, real-time systems

One of the widely used techniques in software safety analysis is fault tree analysis. The paper discusses the use of flow analysis techniques for supporting fault tree generation from software specifications. Earlier work on flow analysis techniques has focused on sequential systems. We discuss how system characteristics such as concurrency and real time reactive features impact the flow analysis techniques. The paper discusses concepts and algorithms that can be used in performing flow analysis for concurrent reactive real time systems.

求助全文

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

来源期刊

Proceedings. IEEE High-Assurance Systems Engineering Workshop (Cat. No.96TB100076)

自引率

0.00%

发文量