Timed and Resource-oriented Statecharts for embedded software

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

Research output: Contribution to journalArticle

17 Citations (Scopus)

Abstract

Embedded software should be correctly developed so that it is be compliant with not only functional requirements but also real-time and resource constraints. However, those constraints are often dependent on execution environments that are sometimes revealed in late development phases. In this paper, we propose Timed and Resource-oriented Statecharts (TRoS) to analyze the time and resource-constrained behavior of system in earlier development phases of embedded software development. TRoS extends Statecharts using timed action labeled with resources to represent actions that consume resources. This enables us to describe the competition among processes to use shared resources, and to analyze schedulability of embedded systems. We present a case study of a distance control module that controls train movement to keep the distance between trains for railway control systems.

Original languageEnglish
Article number5546925
Pages (from-to)568-578
Number of pages11
JournalIEEE Transactions on Industrial Informatics
Volume6
Issue number4
DOIs
Publication statusPublished - 2010 Nov 1

Fingerprint

Embedded software
Embedded systems
Software engineering
Computer systems
Control systems

Keywords

  • Embedded software
  • formal methods
  • platformbased development
  • process algebra
  • statecharts

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Computer Science Applications
  • Information Systems

Cite this

Timed and Resource-oriented Statecharts for embedded software. / Kim, Jinhyun; Kang, Inhye; Choi, Jin Young; Lee, Insup.

In: IEEE Transactions on Industrial Informatics, Vol. 6, No. 4, 5546925, 01.11.2010, p. 568-578.

Research output: Contribution to journalArticle

Kim, Jinhyun ; Kang, Inhye ; Choi, Jin Young ; Lee, Insup. / Timed and Resource-oriented Statecharts for embedded software. In: IEEE Transactions on Industrial Informatics. 2010 ; Vol. 6, No. 4. pp. 568-578.
@article{60cc4d4a3bfd4431a3eea98ec9fb2942,
title = "Timed and Resource-oriented Statecharts for embedded software",
abstract = "Embedded software should be correctly developed so that it is be compliant with not only functional requirements but also real-time and resource constraints. However, those constraints are often dependent on execution environments that are sometimes revealed in late development phases. In this paper, we propose Timed and Resource-oriented Statecharts (TRoS) to analyze the time and resource-constrained behavior of system in earlier development phases of embedded software development. TRoS extends Statecharts using timed action labeled with resources to represent actions that consume resources. This enables us to describe the competition among processes to use shared resources, and to analyze schedulability of embedded systems. We present a case study of a distance control module that controls train movement to keep the distance between trains for railway control systems.",
keywords = "Embedded software, formal methods, platformbased development, process algebra, statecharts",
author = "Jinhyun Kim and Inhye Kang and Choi, {Jin Young} and Insup Lee",
year = "2010",
month = "11",
day = "1",
doi = "10.1109/TII.2010.2060206",
language = "English",
volume = "6",
pages = "568--578",
journal = "IEEE Transactions on Industrial Informatics",
issn = "1551-3203",
publisher = "IEEE Computer Society",
number = "4",

}

TY - JOUR

T1 - Timed and Resource-oriented Statecharts for embedded software

AU - Kim, Jinhyun

AU - Kang, Inhye

AU - Choi, Jin Young

AU - Lee, Insup

PY - 2010/11/1

Y1 - 2010/11/1

N2 - Embedded software should be correctly developed so that it is be compliant with not only functional requirements but also real-time and resource constraints. However, those constraints are often dependent on execution environments that are sometimes revealed in late development phases. In this paper, we propose Timed and Resource-oriented Statecharts (TRoS) to analyze the time and resource-constrained behavior of system in earlier development phases of embedded software development. TRoS extends Statecharts using timed action labeled with resources to represent actions that consume resources. This enables us to describe the competition among processes to use shared resources, and to analyze schedulability of embedded systems. We present a case study of a distance control module that controls train movement to keep the distance between trains for railway control systems.

AB - Embedded software should be correctly developed so that it is be compliant with not only functional requirements but also real-time and resource constraints. However, those constraints are often dependent on execution environments that are sometimes revealed in late development phases. In this paper, we propose Timed and Resource-oriented Statecharts (TRoS) to analyze the time and resource-constrained behavior of system in earlier development phases of embedded software development. TRoS extends Statecharts using timed action labeled with resources to represent actions that consume resources. This enables us to describe the competition among processes to use shared resources, and to analyze schedulability of embedded systems. We present a case study of a distance control module that controls train movement to keep the distance between trains for railway control systems.

KW - Embedded software

KW - formal methods

KW - platformbased development

KW - process algebra

KW - statecharts

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

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

U2 - 10.1109/TII.2010.2060206

DO - 10.1109/TII.2010.2060206

M3 - Article

AN - SCOPUS:78149466556

VL - 6

SP - 568

EP - 578

JO - IEEE Transactions on Industrial Informatics

JF - IEEE Transactions on Industrial Informatics

SN - 1551-3203

IS - 4

M1 - 5546925

ER -