Skip to Main content Skip to Navigation
Conference papers

Interpreting the PDEVS formalism and algorithms to enhance the state handling mechanism

Clément Foucher 1
1 LAAS-ISI - Équipe Ingénierie Système et Intégration
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : The DEVS formalism consists in a rigorous frame formodel building and simulating. One one hand, the math-ematical description of the DEVS meta-model allows forthorough building of models. One the other hand, theproposed algorithms for model simulation allow for quicklybuilding simulating tools for these models. However, inbetween these two phases, there are some less-detailed stepssuch as components initial state handling.This article aims at proposing an interpretation of DEVSformalism slightly different from the one generally ob-served, and at strengthening the executable model buildingstage. The article proposes to explicitly split the modeldescription between an user-defined abstract model and anexecutable model which construction can be automaticallydone by the simulating tool. Based on this vision, the initialstate of executable models can be managed from within theDEVS formalism.
Document type :
Conference papers
Complete list of metadata
Contributor : Clément Foucher Connect in order to contact the contributor
Submitted on : Wednesday, January 6, 2021 - 8:27:34 AM
Last modification on : Wednesday, November 3, 2021 - 6:51:27 AM
Long-term archiving on: : Wednesday, April 7, 2021 - 6:32:46 PM


Files produced by the author(s)


  • HAL Id : hal-03099174, version 1


Clément Foucher. Interpreting the PDEVS formalism and algorithms to enhance the state handling mechanism. European Simulation and Modelling Conference 2020, Oct 2020, Toulouse, France. ⟨hal-03099174⟩



Les métriques sont temporairement indisponibles