Embedded system modeling based on resource-oriented model

Jin Hyun Kim; Jin Young Choi

doi:10.1109/ECBS.2007.35

Embedded system modeling based on resource-oriented model

Jin Hyun Kim, Jin Young Choi

School of Cybersecurity

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	Proceedings - 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007
Subtitle of host publication	Raising Expectations of Computer-Based Systems
Pages	203-212
Number of pages	10
DOIs	https://doi.org/10.1109/ECBS.2007.35
Publication status	Published - 2007
Event	14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007 - Tucson, AZ, United States Duration: 2007 Mar 26 → 2007 Mar 29

Publication series

Name	Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

Other

Other	14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007
Country/Territory	United States
City	Tucson, AZ
Period	07/3/26 → 07/3/29

ASJC Scopus subject areas

Hardware and Architecture
Software

Access to Document

10.1109/ECBS.2007.35

Cite this

Kim, J. H., & Choi, J. Y. (2007). Embedded system modeling based on resource-oriented model. In Proceedings - 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007: Raising Expectations of Computer-Based Systems (pp. 203-212). Article 4148935 (Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems). https://doi.org/10.1109/ECBS.2007.35

Embedded system modeling based on resource-oriented model. / Kim, Jin Hyun; Choi, Jin Young.
Proceedings - 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007: Raising Expectations of Computer-Based Systems. 2007. p. 203-212 4148935 (Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Kim, JH & Choi, JY 2007, Embedded system modeling based on resource-oriented model. in Proceedings - 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007: Raising Expectations of Computer-Based Systems., 4148935, Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems, pp. 203-212, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007, Tucson, AZ, United States, 07/3/26. https://doi.org/10.1109/ECBS.2007.35

Kim JH, Choi JY. Embedded system modeling based on resource-oriented model. In Proceedings - 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007: Raising Expectations of Computer-Based Systems. 2007. p. 203-212. 4148935. (Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems). doi: 10.1109/ECBS.2007.35

Kim, Jin Hyun ; Choi, Jin Young. / Embedded system modeling based on resource-oriented model. Proceedings - 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007: Raising Expectations of Computer-Based Systems. 2007. pp. 203-212 (Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems).

@inproceedings{73873989229c4f07abb74a6c3f9be12c,

title = "Embedded system modeling based on resource-oriented model",

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.",

author = "Kim, {Jin Hyun} and Choi, {Jin Young}",

year = "2007",

doi = "10.1109/ECBS.2007.35",

language = "English",

isbn = "0769527728",

series = "Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems",

pages = "203--212",

booktitle = "Proceedings - 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007",

note = "14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007 ; Conference date: 26-03-2007 Through 29-03-2007",

}

TY - GEN

T1 - Embedded system modeling based on resource-oriented model

AU - Kim, Jin Hyun

AU - Choi, Jin Young

PY - 2007

Y1 - 2007

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

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

UR - http://www.scopus.com/inward/record.url?scp=34250222758&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34250222758&partnerID=8YFLogxK

U2 - 10.1109/ECBS.2007.35

DO - 10.1109/ECBS.2007.35

M3 - Conference contribution

AN - SCOPUS:34250222758

SN - 0769527728

SN - 9780769527727

T3 - Proceedings of the International Symposium and Workshop on Engineering of Computer Based Systems

SP - 203

EP - 212

BT - Proceedings - 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007

T2 - 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007

Y2 - 26 March 2007 through 29 March 2007

ER -

Embedded system modeling based on resource-oriented model

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this