Flow analysis for concurrent, reactive, real-time systems

Author

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

Author_Institution

Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA

fYear

1996

fDate

21-22 Oct 1996

Firstpage

176

Lastpage

183

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

Keywords

data flow analysis; fault trees; parallel programming; real-time systems; safety-critical software; software fault tolerance; concurrency; concurrent reactive real time systems; fault tree analysis; fault tree generation; flow analysis techniques; real time reactive features; software safety analysis; software specifications; system characteristics; Application software; Computer science; Concurrent computing; Fault diagnosis; Fault trees; Humans; Pacemakers; Real time systems; Software safety; Software systems;

fLanguage

English

Publisher

ieee

Conference_Titel

High-Assurance Systems Engineering Workshop, 1996. Proceedings., IEEE

Conference_Location

Niagara on the Lake, Ont.

Print_ISBN

0-8186-7629-9

Type

conf

DOI

10.1109/HASE.1996.618591

Filename

618591