Reference:
, "Real-Time Statechart Semantics", Technical Report tr-ri-03-239, Lehrstuhl für Softwaretechnik, Universität Paderborn: Paderborn, Germany, June 2003.
Abstract:
Modelling complex dynamic real-time behavior is a crucial prerequisite when employing object-oriented modelling techniques successfully in the field of complex real-time systems. In this report we therefore review the state of the art of two related lines of research, namely extensions for expressiveness such as Statecharts as proposed in the field of software engineering to support the description of complex behavior and extensions to specify the explicit temporal behavior for state-based behavior such as Timed Automata. We review the Hierarchical Timed Automata model which provides already the most fundamental concepts for structure and time as well as a reasonable semantics for the domain of temporal behavior. To enable the modeling of complex control behavior which incorporates most of the fundamental extensions for expressiveness and time in a manner appropriate for real-time systems, we then propose an extension in form of Extended Hierarchical Timed Automata and Real-Time Statecharts. Different restricted forms reflecting the different requirements of system elements such as physical entities, communication channel abstractions and controllers running on particular platforms are further identified.
Links:
@TechReport{GB03_ag,
AUTHOR = {Giese, Holger and Burmester, Sven},
TITLE = {{Real-Time Statechart Semantics}},
YEAR = {2003},
MONTH = {June},
NUMBER = {tr-ri-03-239},
PAGES = {1-32},
ADDRESS = {Paderborn, Germany},
INSTITUTION = {Lehrstuhl für Softwaretechnik, Universität Paderborn},
URL = {http://www.upb.de/cs/ag-schaefer/Veroeffentlichungen/Quellen/Papers/2003/tr-ri-03-239.ps},
PDF = {tr-ri-03-239.pdf},
SLIDES = {tr-ri-03-239.ps},
ABSTRACT = {Modelling complex dynamic real-time behavior is a crucial prerequisite when employing object-oriented modelling techniques successfully in the field of complex real-time systems. In this report we therefore review the state of the art of two related lines of research, namely extensions for expressiveness such as Statecharts as proposed in the field of software engineering to support the description of complex behavior and extensions to specify the explicit temporal behavior for state-based behavior such as Timed Automata. We review the Hierarchical Timed Automata model which provides already the most fundamental concepts for structure and time as well as a reasonable semantics for the domain of temporal behavior. To enable the modeling of complex control behavior which incorporates most of the fundamental extensions for expressiveness and time in a manner appropriate for real-time systems, we then propose an extension in form of Extended Hierarchical Timed Automata and Real-Time Statecharts. Different restricted forms reflecting the different requirements of system elements such as physical entities, communication channel abstractions and controllers running on particular platforms are further identified.}
}Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser