Application Of Real-Time DEVS To Analysis Of Safety-Critical Embedded Control Systems: Railroad Crossing Control Example  

Oleh:

Song, Hae Sang ; Kim, Tag Gon

Jenis: Article from Journal - ilmiah internasional
Dalam koleksi: Simulation vol. 81 no. 2 (Feb. 2005), page 119-152.
Topik: Real-timeDEVS; safety analysis; controllability; real-time embedded discrete event control system
Fulltext: 119.pdf (637.1KB)

Isi artikel

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.

Opini Anda

Klik untuk menuliskan opini Anda tentang koleksi ini!

Kembali