DC Field | Value | Language |
---|---|---|
dc.contributor.author | Song, HS | ko |
dc.contributor.author | Kim, Tag-Gon | ko |
dc.date.accessioned | 2013-03-07T19:12:02Z | - |
dc.date.available | 2013-03-07T19:12:02Z | - |
dc.date.created | 2012-02-06 | - |
dc.date.created | 2012-02-06 | - |
dc.date.issued | 2005-02 | - |
dc.identifier.citation | SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, v.81, no.2, pp.119 - 136 | - |
dc.identifier.issn | 0037-5497 | - |
dc.identifier.uri | http://hdl.handle.net/10203/91029 | - |
dc.description.abstract | 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. | - |
dc.language | English | - |
dc.publisher | SAGE PUBLICATIONS LTD | - |
dc.subject | NONDETERMINISTIC SYSTEMS | - |
dc.subject | SUPERVISORY CONTROL | - |
dc.subject | MODELS | - |
dc.subject | SPECIFICATION | - |
dc.subject | FRAMEWORK | - |
dc.subject | SOFTWARE | - |
dc.title | Application of real-time DEVS to analysis of safety-critical embedded control systems: Railroad crossing control example | - |
dc.type | Article | - |
dc.identifier.wosid | 000229153800004 | - |
dc.identifier.scopusid | 2-s2.0-20444401132 | - |
dc.type.rims | ART | - |
dc.citation.volume | 81 | - |
dc.citation.issue | 2 | - |
dc.citation.beginningpage | 119 | - |
dc.citation.endingpage | 136 | - |
dc.citation.publicationname | SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL | - |
dc.identifier.doi | 10.1177/0037549705052229 | - |
dc.contributor.localauthor | Kim, Tag-Gon | - |
dc.contributor.nonIdAuthor | Song, HS | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | real-time DEVS | - |
dc.subject.keywordAuthor | safety analysis | - |
dc.subject.keywordAuthor | controllability | - |
dc.subject.keywordAuthor | real-time embedded discrete event control systems | - |
dc.subject.keywordPlus | NONDETERMINISTIC SYSTEMS | - |
dc.subject.keywordPlus | SUPERVISORY CONTROL | - |
dc.subject.keywordPlus | MODELS | - |
dc.subject.keywordPlus | SPECIFICATION | - |
dc.subject.keywordPlus | FRAMEWORK | - |
dc.subject.keywordPlus | SOFTWARE | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.