Abstract
Logical analysis of a system is an indispensable process for high quality and reliable system development. In this paper, we propose an analysis method based on compositional minimization for DEVS models. For the purpose of logical analysis of DEVS models, Communicating Discrete Event Systems (CDEVS) model was defined, which enables representing the nondeterministic behavior of systems. As a means of systematic proof technique, two operations named composition and minimization were defined. These operations are compatible with the meaning of the communication semantics of DEVS models. Repetitive composition and minimization of component models produces a new CDEVS model that has the same input output responses to an environment. As the conformation criteria between the specification and the implementation, equivalence relation has been used.
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 subscriptionsReferences
Hwang MH, Zeigler BP (2009) Reachability graph of finite and deterministic DEVS networks. IEEE Trans Autom Sci Eng 6(3):454–467
Miah S Md, Koo I (2012) Performance analysis of ILEACH and LEACH protocols for wireless sensor networks. J Inf Commun Convergence Eng (JICCE) 10(4):384–389
Zeigler B Theory of modeling and simulation, 1st edn. Wiley Interscience, New York. ISBN 0-12-778455-1
Manna z, Pnueli A (1992) The temporal logic of reactive and concurrent systems. Springer, New York
Milner R (1980) A calculus of communicating systems, LNCS, vol. 92. Springer, New York
Clarke EM, Emerson EA, Sistla AP (1986) Automatic verification of finite state concurrent systems using temporal logic. ACM Trans Program Lang Syst 8:244–263
Heymann M (1990) Concurrency and discrete event control. IEEE Control Syst Mag 10(4):103–112
Paige R, Tarjan RE (1987) Three partition refinement algorithms. SIAM J Comput 16(6):973–989
Zeigler BP, Praehofer H, Kim TG (2000) Theory of modelling and simulation, 2nd edn. Academic Press
Holzmann GJ (1991) Design and validation of computer protocols. Prentice Hall
Bartlett KA, Scantlebury RA, Wilkinson PT (1969) A note on reliable full-duplex transmission over half-duplex lines. Commun ACM 12(5):260–265
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Lee, WB. (2013). Logical Analysis of Discrete Event System Using Compositional Minimization. In: Jung, HK., Kim, J., Sahama, T., Yang, CH. (eds) Future Information Communication Technology and Applications. Lecture Notes in Electrical Engineering, vol 235. Springer, Dordrecht. https://doi.org/10.1007/978-94-007-6516-0_13
Download citation
DOI: https://doi.org/10.1007/978-94-007-6516-0_13
Published:
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-007-6515-3
Online ISBN: 978-94-007-6516-0
eBook Packages: EngineeringEngineering (R0)