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


The KIPS Transactions:PartD, Vol. 14, No. 6, pp. 633-640, Oct. 2007
10.3745/KIPSTD.2007.14.6.633,   PDF Download:

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
Show / Hide Statistics

Statistics (Cumulative Counts from September 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


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.