Resource-Oriented Design Framework for Embedded System Components

Jin Hyun Kim, Jae Hwan Sim, Jin Young Choi

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

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

Original languageEnglish
Pages (from-to)171-189
Number of pages19
JournalElectronic Notes in Theoretical Computer Science
Volume215
Issue numberC
DOIs
Publication statusPublished - 2008 Jun 29

Fingerprint

Embedded systems
Embedded Systems
Resources
Hardware
Software
Computer hardware
Model
Compliance
Algebra
Framework
Design
Embedded Software
Functional Model
Resource Constraints
Embedded software
System Design
Specification
Systems analysis
Specifications
Interaction

Keywords

  • Design Methodology
  • Embedded System
  • Formal Methods
  • Resource-Based

ASJC Scopus subject areas

  • Computer Science (miscellaneous)

Cite this

Resource-Oriented Design Framework for Embedded System Components. / Kim, Jin Hyun; Sim, Jae Hwan; Choi, Jin Young.

In: Electronic Notes in Theoretical Computer Science, Vol. 215, No. C, 29.06.2008, p. 171-189.

Research output: Contribution to journalArticle

@article{eb4681527a224829a199ad9815db9be4,
title = "Resource-Oriented Design Framework for Embedded System Components",
abstract = "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).",
keywords = "Design Methodology, Embedded System, Formal Methods, Resource-Based",
author = "Kim, {Jin Hyun} and Sim, {Jae Hwan} and Choi, {Jin Young}",
year = "2008",
month = "6",
day = "29",
doi = "10.1016/j.entcs.2008.06.027",
language = "English",
volume = "215",
pages = "171--189",
journal = "Electronic Notes in Theoretical Computer Science",
issn = "1571-0661",
publisher = "Elsevier",
number = "C",

}

TY - JOUR

T1 - Resource-Oriented Design Framework for Embedded System Components

AU - Kim, Jin Hyun

AU - Sim, Jae Hwan

AU - Choi, Jin Young

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 -