Benoît Baudry

Learn More
Systems engineering, and especially the modeling of safety critical systems, needs proper means for early Validation and Verification (V&V) to detect critical issues as soon as possible. The objective of our work is to identify a verifiable subset of SysML that is usable by system engineers, while still amenable to automatic transformation towards formal(More)
Model-driven engineering and model-based approaches have permeated all branches of software engineering to the point that it seems that we are using models, as Molière’s Monsieur Jourdain was using prose, without knowing it. At the heart of modeling, there is a relation that we establish to represent something by something else. In this paper we review(More)
Major industrial projects are facing an important size of their requirements documents, often based on an implicit normative or legislative context. Managed through a document-centric approach, they are facing two challenges: variability and traceability of their requirements at both design time and runtime. In the paper, we identify vectors of variability(More)
Model-driven engineering and model-based approaches have permeated all branches of software engineering; to the point that it seems that we are using models, as Molière's Monsieur Jourdain was using prose, without knowing it. At the heart of modeling, there is a relation that we establish to represent something by something else. In this paper we review(More)
Preface The MoDeVa series of workshops offers a forum for researchers and practitioners with varying backgrounds to discuss new ideas concerning links between model-based design and model-based validation. It aims to introduce models as a link between the theoretic foundations of Validation and Verification, and the practice of model-based testing. Also, it(More)
  • 1