Abstract:
Discrete Event system Specification (DEVS) is a simple comprehensive way to describe complex discrete-event systems in a hierarchical way. Few years ago, Finite and Deter...Show MoreMetadata
Abstract:
Discrete Event system Specification (DEVS) is a simple comprehensive way to describe complex discrete-event systems in a hierarchical way. Few years ago, Finite and Deterministic DEVS (FDDEVS) was introduced to support verification analysis of a subclass of DEVS problems, in the same way as formal methods. This paper presents guidelines to transform behavioral models used in formal methods like critical sections, especially described in PROMELA in this case, into FDDEVS models, and shows the benefits of such a transformation.
Published in: 2014 4th International Conference On Simulation And Modeling Methodologies, Technologies And Applications (SIMULTECH)
Date of Conference: 28-30 August 2014
Date Added to IEEE Xplore: 27 April 2015
Electronic ISBN:978-989-758-060-4