Title :
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
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;
Conference_Titel :
High-Assurance Systems Engineering Workshop, 1996. Proceedings., IEEE
Conference_Location :
Niagara on the Lake, Ont.
Print_ISBN :
0-8186-7629-9
DOI :
10.1109/HASE.1996.618591
