UML behavior models of real-time embedded software for Model-Driven Architecture

Jinhyun Kim, Jin Young Choi, Inhye Kang, Insup Lee

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is still challenging although MDA is currently able to cope with most syntactic and transformation definition issues. Moreover, the importance of rigorous specification and verification of the system is increasing, as the embedded software is more widely used for systems closely related to our life. Thus, this paper suggests behavior modeling views characterizing Platform-Independent Model (PIM) and Platform-Specific Model (PSM) behaviors and formal and verifiable models for them. In this, the PIM behavior is given from the view of the functionality of the software in Statecharts, whereas the PSM behavior is modeled from the view of a timed and resource-constrained behavior in TRoS, an extension of Statecharts in respect of time and resource constraints. Moreover, we provide an efficient way where PIM in Statecharts is transformed into PSM in TRoS. Using our approach, PIM and PSM behavior are captured in formal semantics for rigorous analysis in terms of system behavior, and the PSM behavior in TRoS is effectively and consistently obtained from the PIM behavior in Statecharts. We present a case study, in which safety-critical software for a railway control system is developed to show the feasibility of our approach.

Original languageEnglish
Pages (from-to)2415-2434
Number of pages20
JournalJournal of Universal Computer Science
Volume16
Issue number17
Publication statusPublished - 2010 Dec 23

Fingerprint

Model Driven Architecture
Embedded Software
Embedded software
Real-time
Statecharts
Model
Behavior Modeling
Software
Formal Semantics
Resource Constraints
Railway
Syntactics

Keywords

  • Behavior Models
  • Formal Models
  • MDA
  • Real-time Embedded Software
  • Statecharts

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

UML behavior models of real-time embedded software for Model-Driven Architecture. / Kim, Jinhyun; Choi, Jin Young; Kang, Inhye; Lee, Insup.

In: Journal of Universal Computer Science, Vol. 16, No. 17, 23.12.2010, p. 2415-2434.

Research output: Contribution to journalArticle

@article{ad7647f52fd845468994e948183c9150,
title = "UML behavior models of real-time embedded software for Model-Driven Architecture",
abstract = "Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is still challenging although MDA is currently able to cope with most syntactic and transformation definition issues. Moreover, the importance of rigorous specification and verification of the system is increasing, as the embedded software is more widely used for systems closely related to our life. Thus, this paper suggests behavior modeling views characterizing Platform-Independent Model (PIM) and Platform-Specific Model (PSM) behaviors and formal and verifiable models for them. In this, the PIM behavior is given from the view of the functionality of the software in Statecharts, whereas the PSM behavior is modeled from the view of a timed and resource-constrained behavior in TRoS, an extension of Statecharts in respect of time and resource constraints. Moreover, we provide an efficient way where PIM in Statecharts is transformed into PSM in TRoS. Using our approach, PIM and PSM behavior are captured in formal semantics for rigorous analysis in terms of system behavior, and the PSM behavior in TRoS is effectively and consistently obtained from the PIM behavior in Statecharts. We present a case study, in which safety-critical software for a railway control system is developed to show the feasibility of our approach.",
keywords = "Behavior Models, Formal Models, MDA, Real-time Embedded Software, Statecharts",
author = "Jinhyun Kim and Choi, {Jin Young} and Inhye Kang and Insup Lee",
year = "2010",
month = "12",
day = "23",
language = "English",
volume = "16",
pages = "2415--2434",
journal = "Journal of Universal Computer Science",
issn = "0948-6968",
publisher = "Springer Verlag",
number = "17",

}

TY - JOUR

T1 - UML behavior models of real-time embedded software for Model-Driven Architecture

AU - Kim, Jinhyun

AU - Choi, Jin Young

AU - Kang, Inhye

AU - Lee, Insup

PY - 2010/12/23

Y1 - 2010/12/23

N2 - Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is still challenging although MDA is currently able to cope with most syntactic and transformation definition issues. Moreover, the importance of rigorous specification and verification of the system is increasing, as the embedded software is more widely used for systems closely related to our life. Thus, this paper suggests behavior modeling views characterizing Platform-Independent Model (PIM) and Platform-Specific Model (PSM) behaviors and formal and verifiable models for them. In this, the PIM behavior is given from the view of the functionality of the software in Statecharts, whereas the PSM behavior is modeled from the view of a timed and resource-constrained behavior in TRoS, an extension of Statecharts in respect of time and resource constraints. Moreover, we provide an efficient way where PIM in Statecharts is transformed into PSM in TRoS. Using our approach, PIM and PSM behavior are captured in formal semantics for rigorous analysis in terms of system behavior, and the PSM behavior in TRoS is effectively and consistently obtained from the PIM behavior in Statecharts. We present a case study, in which safety-critical software for a railway control system is developed to show the feasibility of our approach.

AB - Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is still challenging although MDA is currently able to cope with most syntactic and transformation definition issues. Moreover, the importance of rigorous specification and verification of the system is increasing, as the embedded software is more widely used for systems closely related to our life. Thus, this paper suggests behavior modeling views characterizing Platform-Independent Model (PIM) and Platform-Specific Model (PSM) behaviors and formal and verifiable models for them. In this, the PIM behavior is given from the view of the functionality of the software in Statecharts, whereas the PSM behavior is modeled from the view of a timed and resource-constrained behavior in TRoS, an extension of Statecharts in respect of time and resource constraints. Moreover, we provide an efficient way where PIM in Statecharts is transformed into PSM in TRoS. Using our approach, PIM and PSM behavior are captured in formal semantics for rigorous analysis in terms of system behavior, and the PSM behavior in TRoS is effectively and consistently obtained from the PIM behavior in Statecharts. We present a case study, in which safety-critical software for a railway control system is developed to show the feasibility of our approach.

KW - Behavior Models

KW - Formal Models

KW - MDA

KW - Real-time Embedded Software

KW - Statecharts

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

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

M3 - Article

AN - SCOPUS:78650264374

VL - 16

SP - 2415

EP - 2434

JO - Journal of Universal Computer Science

JF - Journal of Universal Computer Science

SN - 0948-6968

IS - 17

ER -