Definition of Step Semantics for Hierarchical State Machine based on Flattening


The KIPS Transactions:PartD, Vol. 12, No. 6, pp. 863-868, Dec. 2005
10.3745/KIPSTD.2005.12.6.863,   PDF Download:

Abstract

Hardware and software codesign framework called PeaCE(Ptolemy extension as a Codesign Environment) was developed. It allows to express both data flow and control flow which is described as fFSM which extends traditional finite state machine. While the fFSM model provides lots of syntactic constructs for describing control flow, it has a lack of their formality and then difficulties in verifying the specification. In order to define the formal semantics of the fFSM, in this paper, firstly the hierarchical structure in the model is flattened and then the step semantics is defined. As a result, some important bugs such as race condition, ambiguous transition, and circulartransition can be formally detected in the model.


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]
S. C. Park, G. H. Kwon, S. H. Ha, "Definition of Step Semantics for Hierarchical State Machine based on Flattening," The KIPS Transactions:PartD, vol. 12, no. 6, pp. 863-868, 2005. DOI: 10.3745/KIPSTD.2005.12.6.863.

[ACM Style]
Sa Choun Park, Gi Hwon Kwon, and Soon Hoi Ha. 2005. Definition of Step Semantics for Hierarchical State Machine based on Flattening. The KIPS Transactions:PartD, 12, 6, (2005), 863-868. DOI: 10.3745/KIPSTD.2005.12.6.863.