Embedded system modeling based on resource-oriented model

Jin Hyun Kim, Jin Young Choi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

In Model-Based Development(MBD), developers analyze, validate, implement, and test a system with based on the model of system. In the development of embedded system, MBD becomes more popular since the complexity of embedded system has been increasing nowadays. However, the produced software through MBD often diverges from the original model and even results in an erroneous situation because the model of system may not properly reflect the principal aspect of system. In this paper, we provide a hardware model to capture the property and constraint of hardware in embedded systems. In addition, we propose a development framework for embedded systems, in which the model of system is oriented to the model of hardware called resource model.

Original languageEnglish
Title of host publicationProceedings - 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007
Subtitle of host publicationRaising Expectations of Computer-Based Systems
Pages203-212
Number of pages10
DOIs
Publication statusPublished - 2007
Event14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007 - Tucson, AZ, United States
Duration: 2007 Mar 262007 Mar 29

Publication series

NameProceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Other

Other14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007
Country/TerritoryUnited States
CityTucson, AZ
Period07/3/2607/3/29

ASJC Scopus subject areas

  • Hardware and Architecture
  • Software

Fingerprint

Dive into the research topics of 'Embedded system modeling based on resource-oriented model'. Together they form a unique fingerprint.

Cite this