loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Aznam Yacoub ; Maamar Hamri and Claudia Frydman

Affiliation: CNRS, ENSAM, Université de Toulon and LSIS UMR 7296, France

ISBN: 978-989-758-038-3

Keyword(s): Formal Methods, Spin, PROMELA, Formal Verification, DEVS, FDDEVS, Simulation, Transformation.

Related Ontology Subjects/Areas/Topics: Conceptual Modeling ; Discrete-Event Simulation ; Formal Methods ; Simulation and Modeling

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.

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 18.206.194.210

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Yacoub, A.; Hamri, M. and Frydman, C. (2014). Complementarity between Simulation and Formal Verification - Transformation of PROMELA Models into FDDEVS Models: Application to a Case Study.In Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-038-3, pages 421-426. DOI: 10.5220/0005037904210426

@conference{simultech14,
author={Aznam Yacoub. and Maamar Hamri. and Claudia Frydman.},
title={Complementarity between Simulation and Formal Verification - Transformation of PROMELA Models into FDDEVS Models: Application to a Case Study},
booktitle={Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2014},
pages={421-426},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005037904210426},
isbn={978-989-758-038-3},
}

TY - CONF

JO - Proceedings of the 4th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Complementarity between Simulation and Formal Verification - Transformation of PROMELA Models into FDDEVS Models: Application to a Case Study
SN - 978-989-758-038-3
AU - Yacoub, A.
AU - Hamri, M.
AU - Frydman, C.
PY - 2014
SP - 421
EP - 426
DO - 10.5220/0005037904210426

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.