Application of real-time DEVS to analysis of safety-critical embedded control systems: Railroad crossing control example

Cited 18 time in webofscience Cited 0 time in scopus
  • Hit : 349
  • Download : 0
This article presents an application of the Discrete Event System Specification (DEVS) framework to the design and safety analysis of a real-time embedded control system, a railroad crossing control system. The authors employ an extension of the DEVS formalism, real-time DEVS (RT-DEVS), which has a sound semantics for the specification of real-time systems in a hierarchical modular fashion. The notion of a clock matrix for communicating RT-DEVS models is proposed, which represents a global time between the models. Based on the composition rules and the clock matrix, an algorithm for the generation of a timed reachability tree is developed that can be used for safety analysis at two phases: an untimed and timed analysis phase. A railroad crossing control example demonstrates that the proposed analysis for RT-DEVS models would be effective to verify the safety property of real-time control systems.
Publisher
SAGE PUBLICATIONS LTD
Issue Date
2005-02
Language
English
Article Type
Article
Keywords

NONDETERMINISTIC SYSTEMS; SUPERVISORY CONTROL; MODELS; SPECIFICATION; FRAMEWORK; SOFTWARE

Citation

SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, v.81, no.2, pp.119 - 136

ISSN
0037-5497
DOI
10.1177/0037549705052229
URI
http://hdl.handle.net/10203/91029
Appears in Collection
EE-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 18 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0