Compositional Safety Analysis for Embedded Systems using the FSM Behavioral Equivalence Algorithm 


Vol. 14,  No. 6, pp. 633-640, Oct.  2007
10.3745/KIPSTD.2007.14.6.633


PDF
  Abstract

As the embedded systems closely related with our living become complex by interoperating each other via internet, the safety issue of embedded systems begins to appear. For checking safety properties of the system interactions, it is necessary to describe the system behaviors in formal methods and provide a systematic safety analysis technique. In this research, the behaviors of an embedded system are described by Labeled Transition Systems (LTS) and its safety properties are checked on the system model. For enhancing the existing compositional safety analysis technique, we perform the safety analysis techniques by checking the behavioral equivalence of the reduced model and a property model after reducing the system model in the viewpoint of the property.

  Statistics
  Cite this article

[IEEE Style]

W. J. Lee, "Compositional Safety Analysis for Embedded Systems using the FSM Behavioral Equivalence Algorithm," The KIPS Transactions:PartD, vol. 14, no. 6, pp. 633-640, 2007. DOI: 10.3745/KIPSTD.2007.14.6.633.

[ACM Style]

Woo Jin Lee. 2007. Compositional Safety Analysis for Embedded Systems using the FSM Behavioral Equivalence Algorithm. The KIPS Transactions:PartD, 14, 6, (2007), 633-640. DOI: 10.3745/KIPSTD.2007.14.6.633.

Forms

Search
(IN TITLE, AUTHOR, ABSTRACT,KEYWORDS)

Advanced Search ▼

POPULAR KEYWORDS
(TOP 10 KEYWORDS)

Recent Publications
(LAST 3 YEARS)

Old Journals

Indexing

All publications of TKIPS is indexed in DOI, EBSCO, Google Scholar, Crossref, and CrossCheck.

TKIPS is also selected as the Journal for Accreditation by NRF (National Research Foundation of Korea).

Related Journals