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 -