loading
  • Login
  • Sign-Up

Research.Publish.Connect.

Paper

Authors: Faiez Zalila 1 ; Eric Jenn 2 and Marc Pantel 3

Affiliations: 1 IRT Antoine de Saint Exupéry, Université de Toulouse and CNRS, France ; 2 IRT Antoine de Saint Exupéry, France ; 3 Université de Toulouse, France

ISBN: 978-989-758-210-3

Keyword(s): Modeling, Formal Verification, Model-checking, Debugging, Simulation, Model Execution, IDE.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Domain-Specific Modeling and Domain-Specific Languages ; Frameworks for Model-Driven Development ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model Execution and Simulation ; Model-Driven Software Development ; Models ; Paradigm Trends ; Software Engineering

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.

PDF ImageFull Text

Download
Sign In Guest: Register as new SCITEPRESS user or Join INSTICC now for free.

Sign In SCITEPRESS user: please login.

Sign In INSTICC Members: please login. If not a member yet, Join INSTICC now for free.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.158.245.70. INSTICC members have higher download limits (free membership now)

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

Paper citation in several formats:
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 DevelopmentISBN 978-989-758-210-3, pages 401-408. DOI: 10.5220/0006143104010408

@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},
year={2017},
pages={401-408},
doi={10.5220/0006143104010408},
isbn={978-989-758-210-3},
}

TY - CONF

JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development
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

Sorted by: Show papers

Note: The preferred Subjects/Areas/Topics, listed below for each paper, are those that match the selected paper topics and their ontology superclasses.
More...

Login or register to post comments.

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

Show authors

Note: The preferred Subjects/Areas/Topics, listed below for each author, are those that more frequently used in the author's papers.
More...