Paper Info
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.
Year
DOI
Venue
2010
10.1109/TII.2010.2060206
IEEE Trans. Industrial Informatics
Keywords
Field
DocType
scheduling,embedded software,software engineering,programming,embedded system,embedded systems,control systems,development process,process algebra,formal methods,formal verification,real time systems,control system,formal method,functional requirement
Functional requirement,Embedded software,Scheduling (computing),Computer science,Real-time computing,Formal methods,Control system,Train,Process calculus,Formal verification,Distributed computing
Journal
Volume
Issue
ISSN
6
4
1551-3203
Citations 
PageRank 
References 
14
0.74
17
Authors
4
Name
Order
Citations
PageRank
Jin Hyun Kim19221.61
Inhye Kang216917.91
Jin-young Choi360650.44
Insup Lee44996413.64