loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
1996 High-Assurance Systems Engineering Workshop (HASE '96)
Flow analysis for concurrent, reactive, real-time systems
Niagara, CANADA
October 22-October 22
ISBN: 0-8186-7629-9
ASCII Text
x 
 
R. Vishnuvajjala, S. Subramanian, Wei-Tek Tsai, R. Mojdehbakhsh, L. Elliot, "Flow analysis for concurrent, reactive, real-time systems," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 176, 1996 High-Assurance Systems Engineering Workshop (HASE '96), 1996.
 
 
BibTex
x
 
@article{ 10.1109/HASE.1996.618591,
author = {R. Vishnuvajjala and S. Subramanian and Wei-Tek Tsai and R. Mojdehbakhsh and L. Elliot},
title = {Flow analysis for concurrent, reactive, real-time systems},
journal ={High-Assurance Systems Engineering, IEEE International Symposium on},
volume = {0},
year = {1996},
isbn = {0-8186-7629-9},
pages = {176},
doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.1996.618591},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - High-Assurance Systems Engineering, IEEE International Symposium on
TI - Flow analysis for concurrent, reactive, real-time systems
SN - 0-8186-7629-9
SP
EP
A1 - R. Vishnuvajjala,
A1 - S. Subramanian,
A1 - Wei-Tek Tsai,
A1 - R. Mojdehbakhsh,
A1 - L. Elliot,
PY - 1996
KW - parallel programming; concurrent reactive real time systems; software safety analysis; fault tree analysis; flow analysis techniques; fault tree generation; software specifications; system characteristics; concurrency; real time reactive features
VL - 0
JA - High-Assurance Systems Engineering, IEEE International Symposium on
ER -
 
R. Vishnuvajjala, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
S. Subramanian, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
Wei-Tek Tsai, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
R. Mojdehbakhsh, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
L. Elliot, Dept. of Comput. Sci., Minnesota Univ., Minneapolis, MN, USA
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.
Index Terms:
parallel programming; concurrent reactive real time systems; software safety analysis; fault tree analysis; flow analysis techniques; fault tree generation; software specifications; system characteristics; concurrency; real time reactive features
Citation:
R. Vishnuvajjala, S. Subramanian, Wei-Tek Tsai, R. Mojdehbakhsh, L. Elliot, "Flow analysis for concurrent, reactive, real-time systems," hase, pp.176, 1996 High-Assurance Systems Engineering Workshop (HASE '96), 1996
Usage of this product signifies your acceptance of the Terms of Use.