Flow analysis for concurrent, reactive, real-time systems

Niagara, CANADA October 22-October 22

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/HASE.1996.618591

1996 High-Assurance Systems Engineeri ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by R. Vishnuvajjala Articles by S. Subramanian Articles by Wei-Tek Tsai Articles by R. Mojdehbakhsh Articles by L. Elliot

	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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.