A Formal Specification of Reusable Framework of Embedded System


The KIPS Transactions:PartD, Vol. 17, No. 6, pp. 431-442, Dec. 2010
10.3745/KIPSTD.2010.17.6.431,   PDF Download:

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