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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Leveson, N.G., Stolzy, J.L.: Safety Analysis Using Petri Nets. IEEE Trans. Software Engineering SE-13(3), 386–397 (1987)
Song, H.S., Kim, T.G.: Application of Real-Time DEVS to Analysis of Safety-Critical Embedded Control Systems: Railroad Crossing Control Example. Simulation 81, 119–136 (2005)
Bengtsson, J.E., Yi, W.: Timed Automata: Semantics, Algorithms and Tools. In: Desel, J., Reisig, W., Rozenberg, G. (eds.) ACPN 2003. LNCS, vol. 3098, pp. 87–124. Springer, Heidelberg (2004)
Boucheneb, H., Barkaoui, K.: Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs. Discrete Event Dynamic Systems 21(2), 171–204 (2011)
Kim, T.G.: DEVS Formalism for Modeling of Discrete-Event Systems. In: Handbook of Dynamic System Modeling, ch. 6. Chapman & Hall/CRC (2007)
Zeigler, B.P., Kim, T.G., Praehofer, H.: Theory of Modeling and Simulation. Academic (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Song, H.S., Kim, T.G. (2012). Safety Analysis of Computer-Controlled Real-Time Systems with Message Loss Using Communicating DEVS Models. In: Xiao, T., Zhang, L., Fei, M. (eds) AsiaSim 2012. AsiaSim 2012. Communications in Computer and Information Science, vol 323. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34384-1_57
Download citation
DOI: https://doi.org/10.1007/978-3-642-34384-1_57
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34383-4
Online ISBN: 978-3-642-34384-1
eBook Packages: Computer ScienceComputer Science (R0)