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


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
Number of pages8
StatePublished - 1997
Externally publishedYes
EventProceedings of the 1996 High-Assurance Systems Engineering Workshop - Niagara, Can
Duration: Oct 21 1996Oct 22 1996


OtherProceedings of the 1996 High-Assurance Systems Engineering Workshop
CityNiagara, Can

ASJC Scopus subject areas

  • General Engineering


Dive into the research topics of 'Flow analysis for concurrent, reactive, real-time systems'. Together they form a unique fingerprint.

Cite this