Abstract
One of the widely used techniques in software safety analysis is fault tree analysis. This 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. In this paper, 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.
| Original language | English (US) |
|---|---|
| Title of host publication | Proceedings of the High-Assurance Systems Engineering Workshop |
| Place of Publication | Los Alamitos, CA, United States |
| Publisher | IEEE |
| Pages | 176-183 |
| Number of pages | 8 |
| State | Published - 1997 |
| Externally published | Yes |
| Event | Proceedings of the 1996 High-Assurance Systems Engineering Workshop - Niagara, Can Duration: Oct 21 1996 → Oct 22 1996 |
Other
| Other | Proceedings of the 1996 High-Assurance Systems Engineering Workshop |
|---|---|
| City | Niagara, Can |
| Period | 10/21/96 → 10/22/96 |
ASJC Scopus subject areas
- Engineering(all)