Abstract
In this chapter, we present and demonstrate the advantages of the Generalized Discrete EVent system Specification (GDEVS) to build accurate discrete-event models of dynamic systems. These theoretical concepts are applied to the field of logic gate design and analysis in order to get more accurate and fast simulations. States are represented with linear piecewise trajectories contrary to the classical Boolean logic models where states have constant piecewise trajectories (0 and 1). With GDEVS models, the transition from a low level to a high one and vice versa is a linear trajectory and is more realistic than the instantaneous transitions of classical logic gate models. We also demonstrate that this accurate representation does not require any more computations than in Discrete EVent system Specification (DEVS).
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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
Cappochi L, Bernardi F, Federici D, Bisgambiligia PB (2006) BFS-DEVS: a general DEVS-based formalism for behavioral fault simulation. Simul Model Pract Theory 14(7):945–970
Ghosh S, Giambiasi N (2001) Breakthrough in modeling and simulation of mixed-signal electronic designs in nVHDL. Simulation 76(5):279–281
Giambiasi N, Smaili M, Frydman C (1994) Discrete event simulation with fuzzy delay models. In: European simulation symposium 94, Istanbul
Giambiasi N, Escudé B, Ghosh S (2000) GDEVS: a generalized discrete event specification for accurate modeling of dynamic systems. Simulation Trans Soc Model Simul Int 17(3):120–134
Hamri M, Naamane A, Giambiasi N (2014) Generalized discrete event specifications of logic gates. In: IEEE 11th international multi-conference on systems, signals & devices (SSD’14), Barcelona, Spain
Ören TI (1984) GEST a modelling and simulation language based on system theoretic concepts. Simul Model Based Methodologies Integr View 10:281–335
Ören TI, Zeigler BP (1979) Concepts for advanced simulation methodologies. Simulation Trans Soc Model Simul Int 32(3):69–82
Ören TI, Torres L, Amblard F, Belaud J-P, Caussanel J, Dalle O, Duboz R, Ferrarini A, Frydmann C, Hamri M, Hill D, Naamane A, Siron P, Tranvouez E, Zacharewicz G (2006) Modeling and simulation dictionary - English-French-Turkish. In: GDR I3 – LSIS, Marseille, mai 2006 ISBN 2-9524747-0-2
Paoli C, Nivet M, Bernardi F, Capocchi L (2004) Simulation-based validation of VHDL descriptions using constraints logic programming. In: Proceedings of the 5th IEEE workshop on RTL and high level testing, Osaka
Santoni C (2008) Contribution Méthodologique à la Conception d’Interfaces Homme-Machine pour les Systèmes de Supervision, Habilitation à Diriger des Recherches. Université Paul Cézanne, Mars
Seck M (2007) Modélisation et simulation à événements discrets de comportements humains, Université Paul Cézanne (Aix-Marseille III), 2007 Sous la direction de: C. Frydman et N. Giambiasi
Zeigler BP (1989) DEVS representation of dynamical systems, academic press, Proc IEEE 77:72–80
Zeigler BP, Praehofer H, Kim TG (2000) Theory of modeling and simulation. Academic Press
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Hamri, M.E.A., Giambiasi, N., Naamane, A. (2015). Generalized Discrete Events for Accurate Modeling and Simulation of Logic Gates. In: Yilmaz, L. (eds) Concepts and Methodologies for Modeling and Simulation. Simulation Foundations, Methods and Applications. Springer, Cham. https://doi.org/10.1007/978-3-319-15096-3_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-15096-3_12
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15095-6
Online ISBN: 978-3-319-15096-3
eBook Packages: Computer ScienceComputer Science (R0)