Abstract
DEVS is a popular formalism for modelling complex dynamic systems using a discrete-event abstraction. At this abstraction level, a timed sequence of pertinent “events” input to a system (or internal, in the case of timeouts) cause instantaneous changes to the state of the system. Between events, the state does not change, resulting in a piecewise constant state trajectory. Main advantages of DEVS are its rigorous formal definition, and its support for modular composition. This chapter introduces the Classic DEVS formalism in a bottom-up fashion, using a simple traffic light example. The syntax and operational semantics of Atomic (i.e., non-hierarchical) models are introduced first. The semantics of Coupled (hierarchical) models is then given by translation into Atomic DEVS models. As this formal “flattening” is not efficient, a modular abstract simulator which operates directly on the coupled model is also presented. This is the common basis for subsequent efficient implementations.We continue to actual applications of DEVS modelling and simulation, as seen in performance analysis for queueing systems. Finally, we present some of the shortcomings in the Classic DEVS formalism, and show solutions to them in the form of variants of the original formalism.
Chapter PDF
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2020 The Author(s)
About this chapter
Cite this chapter
Van Tendeloo, Y., Vangheluwe, H. (2020). DEVS: Discrete-Event Modelling and Simulation for Performance Analysis of Resource-Constrained Systems. In: Carreira, P., Amaral, V., Vangheluwe, H. (eds) Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. Springer, Cham. https://doi.org/10.1007/978-3-030-43946-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-43946-0_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-43945-3
Online ISBN: 978-3-030-43946-0
eBook Packages: Computer ScienceComputer Science (R0)