Flow analysis for concurrent, reactive, real-time systems

Ramakrishna Vishnuvajjala, Satish Subramanian, Wei Tek Tsai, Ramin Mojdehbakhsh, Lynn Elliot

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish (US)
Title of host publicationProceedings of the High-Assurance Systems Engineering Workshop
Place of PublicationLos Alamitos, CA, United States
PublisherIEEE
Pages176-183
Number of pages8
StatePublished - 1997
Externally publishedYes
EventProceedings of the 1996 High-Assurance Systems Engineering Workshop - Niagara, Can
Duration: Oct 21 1996Oct 22 1996

Other

OtherProceedings of the 1996 High-Assurance Systems Engineering Workshop
CityNiagara, Can
Period10/21/9610/22/96

    Fingerprint

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Vishnuvajjala, R., Subramanian, S., Tsai, W. T., Mojdehbakhsh, R., & Elliot, L. (1997). Flow analysis for concurrent, reactive, real-time systems. In Proceedings of the High-Assurance Systems Engineering Workshop (pp. 176-183). IEEE.