Model Execution and Debugging - A Process to Leverage Existing Tools

Faiez Zalila, Eric Jenn, Marc Pantel

2017

Abstract

Model checking is an effective technique for the verification of critical systems. However, it relies on behavioral models which are costly to write and maintain. 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 tool-chain 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.

Paper Citation

in Harvard Style

Zalila F., Jenn E. and Pantel M. (2017). Model Execution and Debugging - A Process to Leverage Existing Tools . In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 401-408. DOI: 10.5220/0006143104010408

in Bibtex Style

@conference{modelsward17,
author={Faiez Zalila and Eric Jenn and Marc Pantel},
title={Model Execution and Debugging - A Process to Leverage Existing Tools},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={401-408},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006143104010408},
isbn={978-989-758-210-3},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Model Execution and Debugging - A Process to Leverage Existing Tools
SN - 978-989-758-210-3
AU - Zalila F.
AU - Jenn E.
AU - Pantel M.
PY - 2017
SP - 401
EP - 408
DO - 10.5220/0006143104010408