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.