Abstract
The Communication DEVS formalism is an analysis means for discrete event systems modeled by DEVS formalism which has been widely used as a system theoretical specification. This paper proposes a new method for analyzing safety of real-time discrete event systems using communicating DEVS formalism. It is a part of efforts toward a unified method for modeling, simulation, and logical analysis based on the DEVS formalism and associate theory. For safety analysis of such real-time discrete event systems we first define communicating DEVS and then propose a timed reachability analysis algorithm for the models. The algorithm visits all possible timed states of the model, which is not always possible by using a simulation based state traversal. The proposed method can be well used especially for DEVS-specified systems to check various logical properties such safety, liveness and so on. A case study of a safety analysis for a rail road crossing system illustrates the usefulness of the proposed method.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
