A Formal Specification of Reusable Framework of Embedded System 


Vol. 17,  No. 6, pp. 431-442, Dec.  2010
10.3745/KIPSTD.2010.17.6.431


PDF
  Abstract

Because embedded system is combined system of hardware and software. we should design by considering elements such as real-time. reactive. small size. low weight. safe. reliable. harsh environment, low cost. and so on. However. those are poorly reflected on current embedded system development. Especially. there is few existed framework-based embedded system development. As a result, there are many internal codes which is not related with system operation in currently developed embedded system, and reusability or variability is not considered into embedded system development. Therefore we propose a formal specification technique using Z language to guarantee completeness or consistency of design of reusability framework proposed for improving reusability of embedded system Also we assure correctness of framework design by checking Z model through Z -Eves Tool.

  Statistics
  Cite this article

[IEEE Style]

E. S. Cho, C. J. Kim, C. Y. Song, "A Formal Specification of Reusable Framework of Embedded System," The KIPS Transactions:PartD, vol. 17, no. 6, pp. 431-442, 2010. DOI: 10.3745/KIPSTD.2010.17.6.431.

[ACM Style]

Eun Sook Cho, Chul Jin Kim, and Chee Yang Song. 2010. A Formal Specification of Reusable Framework of Embedded System. The KIPS Transactions:PartD, 17, 6, (2010), 431-442. DOI: 10.3745/KIPSTD.2010.17.6.431.

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