Towards a seamless integration of V&V activities for DSMLs

Faiez Zalila (Postdoc in the Spirals Research Team)
Monday April 3rd at 15h
Inria Lille Room B31


In the last decade, Model Driven Engineering (MDE) has been used to improve the development of safety critical systems by providing early Validation and Verification (V&V) tools for Domain Specific Modeling Languages (DSML).
V&V of behavioral models is mainly addressed by translating domain specific models to formal verification dedicated languages in order to use the sophisticated associated tools such as model-checkers and simulators.

This approach has been successfully applied in many different contexts, but it has a major drawback: the user has to interact with the formal tools. In this talk, I present illustrated approaches that allow the hidden integration of V&V activities for DSMLs.

This talk will be in French.
Slides will be in English.