TY - JOUR
T1 - Resource-Oriented Design Framework for Embedded System Components
AU - Kim, Jin Hyun
AU - Sim, Jae Hwan
AU - Choi, Jin Young
N1 - Copyright:
Copyright 2008 Elsevier B.V., All rights reserved.
PY - 2008/6/29
Y1 - 2008/6/29
N2 - To implement functionally and timely correct embedded systems, it is essential to consider both hardware and software behavior simultaneously. This paper presents an embedded system design framework, called resource-oriented design, in which embedded system components are incrementally developed in two behavioral aspects; resource-independent model(RIM) and resource-oriented model(ROM). The former embedded system model describes embedded system behavior in terms of functionality, and the latter model specifies software behavior that is restricted by hardware resource constraints. The software behavior models in those two models are based on a formal and concise hardware behavior model so as to achieve software behavior model in compliance with hardware's behavior. The hardware and embedded software behavior we define is oriented to an interaction between hardware and software. The advantage of our framework is to gain two software behavior models, functional aspect and resource-constrained aspect, such that those two models are consistent in each other and they are in compliance with hardware behavior. For the specification and verification of resource-oriented models, we use ACSR(Algebra of Communicating Shared Resource) and VERSA(Verification Execution and Rewrite System for ACSR).
AB - To implement functionally and timely correct embedded systems, it is essential to consider both hardware and software behavior simultaneously. This paper presents an embedded system design framework, called resource-oriented design, in which embedded system components are incrementally developed in two behavioral aspects; resource-independent model(RIM) and resource-oriented model(ROM). The former embedded system model describes embedded system behavior in terms of functionality, and the latter model specifies software behavior that is restricted by hardware resource constraints. The software behavior models in those two models are based on a formal and concise hardware behavior model so as to achieve software behavior model in compliance with hardware's behavior. The hardware and embedded software behavior we define is oriented to an interaction between hardware and software. The advantage of our framework is to gain two software behavior models, functional aspect and resource-constrained aspect, such that those two models are consistent in each other and they are in compliance with hardware behavior. For the specification and verification of resource-oriented models, we use ACSR(Algebra of Communicating Shared Resource) and VERSA(Verification Execution and Rewrite System for ACSR).
KW - Design Methodology
KW - Embedded System
KW - Formal Methods
KW - Resource-Based
UR - http://www.scopus.com/inward/record.url?scp=46049105517&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=46049105517&partnerID=8YFLogxK
U2 - 10.1016/j.entcs.2008.06.027
DO - 10.1016/j.entcs.2008.06.027
M3 - Article
AN - SCOPUS:46049105517
VL - 215
SP - 171
EP - 189
JO - Electronic Notes in Theoretical Computer Science
JF - Electronic Notes in Theoretical Computer Science
SN - 1571-0661
IS - C
ER -