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

Abstract

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

Other

OtherProceedings of the 1996 High-Assurance Systems Engineering Workshop
CityNiagara, Can
Period10/21/9610/22/96

Fingerprint

Fault tree analysis
Real time systems
Specifications

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Vishnuvajjala, R., Subramanian, S., Tsai, W. T., Mojdehbakhsh, R., & Elliot, L. (1997). Flow analysis for concurrent, reactive, real-time systems. In Proceedings of the High-Assurance Systems Engineering Workshop (pp. 176-183). Los Alamitos, CA, United States: IEEE.

Flow analysis for concurrent, reactive, real-time systems. / Vishnuvajjala, Ramakrishna; Subramanian, Satish; Tsai, Wei Tek; Mojdehbakhsh, Ramin; Elliot, Lynn.

Proceedings of the High-Assurance Systems Engineering Workshop. Los Alamitos, CA, United States : IEEE, 1997. p. 176-183.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Vishnuvajjala, R, Subramanian, S, Tsai, WT, Mojdehbakhsh, R & Elliot, L 1997, Flow analysis for concurrent, reactive, real-time systems. in Proceedings of the High-Assurance Systems Engineering Workshop. IEEE, Los Alamitos, CA, United States, pp. 176-183, Proceedings of the 1996 High-Assurance Systems Engineering Workshop, Niagara, Can, 10/21/96.
Vishnuvajjala R, Subramanian S, Tsai WT, Mojdehbakhsh R, Elliot L. Flow analysis for concurrent, reactive, real-time systems. In Proceedings of the High-Assurance Systems Engineering Workshop. Los Alamitos, CA, United States: IEEE. 1997. p. 176-183
Vishnuvajjala, Ramakrishna ; Subramanian, Satish ; Tsai, Wei Tek ; Mojdehbakhsh, Ramin ; Elliot, Lynn. / Flow analysis for concurrent, reactive, real-time systems. Proceedings of the High-Assurance Systems Engineering Workshop. Los Alamitos, CA, United States : IEEE, 1997. pp. 176-183
@inproceedings{a148cbabc72f4043ba624b465bf33ac1,
title = "Flow analysis for concurrent, reactive, real-time systems",
abstract = "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.",
author = "Ramakrishna Vishnuvajjala and Satish Subramanian and Tsai, {Wei Tek} and Ramin Mojdehbakhsh and Lynn Elliot",
year = "1997",
language = "English (US)",
pages = "176--183",
booktitle = "Proceedings of the High-Assurance Systems Engineering Workshop",
publisher = "IEEE",

}

TY - GEN

T1 - Flow analysis for concurrent, reactive, real-time systems

AU - Vishnuvajjala, Ramakrishna

AU - Subramanian, Satish

AU - Tsai, Wei Tek

AU - Mojdehbakhsh, Ramin

AU - Elliot, Lynn

PY - 1997

Y1 - 1997

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0030721361&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0030721361&partnerID=8YFLogxK

M3 - Conference contribution

SP - 176

EP - 183

BT - Proceedings of the High-Assurance Systems Engineering Workshop

PB - IEEE

CY - Los Alamitos, CA, United States

ER -