Bottom-up Composition and Verification of Embedded Software


The KIPS Transactions:PartD, Vol. 17, No. 6, pp. 415-422, Dec. 2010
10.3745/KIPSTD.2010.17.6.415,   PDF Download:

Abstract

This paper proposes service-oriented composition and verification techniques for incrementally extracting high-level abstract behavior of unit components in a systematic manner. Proposed techniques include the definition for abstract component, which is a basic building-block of the abstraction process. an algorithm for port-based synchronized abstraction. and projection abstraction, A verification framework is developed using the proposed techniques and its efficiency is demonstrated through a case example.


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]
Y. J. Choi, "Bottom-up Composition and Verification of Embedded Software," The KIPS Transactions:PartD, vol. 17, no. 6, pp. 415-422, 2010. DOI: 10.3745/KIPSTD.2010.17.6.415.

[ACM Style]
Yun Ja Choi. 2010. Bottom-up Composition and Verification of Embedded Software. The KIPS Transactions:PartD, 17, 6, (2010), 415-422. DOI: 10.3745/KIPSTD.2010.17.6.415.