Bottom-up Composition and Verification of Embedded Software 


Vol. 17,  No. 6, pp. 415-422, Dec.  2010
10.3745/KIPSTD.2010.17.6.415


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

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