OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Model Execution and Debugging: A process to leverage existing tools

Zalila, Faiez and Jenn, Eric and Pantel, Marc Model Execution and Debugging: A process to leverage existing tools. (2017) In: ModelsWard (5th International Conference on Model-Driven Engineering and Software Development), 19 February 2017 - 21 February 2017 (Porto, Portugal).

[img]
Preview
(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
523kB

Official URL: http://dx.doi.org/10.5220/0006143104010408

Abstract

Model checking is an effective technique for the verification of critical systems. However, it relies on behavioral models which writing and verification is most of time costly. Thus, those models shall be validated and debugged thoroughly, and simulation, i.e. model execution, can be used for that purpose. To reduce the development costs of simulators and ensure their behavioral consistency with model verifiers, we advocate the reuse of parts of the model verification toolchain to implement them. To support this claim, this paper proposes a method illustrated with a realistic case study applied to FIACRE behavioral models. The approach relies on the creation and exploitation of relations between models representing the information required by the user on the one hand, and information produced by the tools, on the other hand.

Item Type:Conference or Workshop Item (Paper)
Additional Information:Thanks to Scitepress – Science and Technology Publications editor. The definitive version is available at : http://www.scitepress.org/Papers/2017/61431/61431.pdf
HAL Id:hal-01784172
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Centre National de la Recherche Scientifique - CNRS (FRANCE)
Université de Toulouse > Institut National Polytechnique de Toulouse - INPT (FRANCE)
Université de Toulouse > Université Toulouse III - Paul Sabatier - UPS (FRANCE)
Université de Toulouse > Université Toulouse 1 Capitole - UT1 (FRANCE)
Other partners > IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE)
Laboratory name:
Statistics:download
Deposited By: Marie-Pierre Le Tallec
Deposited On:03 May 2018 07:57

Repository Staff Only: item control page