MBSE Colloquium: Sebastien Gerard, "MBSE and Software Engineering"
Monday, November 21, 2016
1146 AV Williams Building
Model-Based System and Software Engineering: Why and How?
Abstraction is no doubt the most universal principle to manage complexity of systems under design. In this context, model-driven engineering happen to be an efficient solution and UML - "Unified Modeling Language" standardized by the OMG in January 1997 - is certainly the undisputed champions for software engineering. Abstraction is considered as the first principle of MDE, while automation is the second one. This latter consists in enabling/easing the usage of models, as for example generating documentation, code or even "automating" complex processes involving analysis technique (e.g., performance and schedulability analysis). Whatever their strength, both principles share a common concern: their potency relies directly on tools! They have to be performant, robust, usable, modular, scalable, customizable, etc. This presentation will be on the need to have powerful tools for MDE to be a cutting-edge solution and the needs to have a strong open-source community to have good tools. Both statements will be illustrated through our Papyrus experience.
Sébastien Gérard is director of research at CEA List (http://www-list.cea.fr) and he is leading its LISE laboratory (Laboratory of Model Driven Engineering for Embedded Systems). Working on research issues related to complex and critical system and software design for more than 15 years, his research interests include correct-by-construction specification and design of complex systems, model-based engineering of complex systems and visual modeling language engineering. He is the CEA representative at OMG for more than 15 years. In particular, he is the chair of the MARTE standardization task force. He is also leading the open-source project, Papyrus (www.eclipse.org/papyrus), the UML modeling tools of Eclipse. In 1995, he has a diploma in mechanics and aeronautics from the ENSMA high-school, in 2000 he obtained a PhD diploma in Computer Science from the Evry university and in 2013 he got his “habilitation à diriger des recherches” diploma in the domain of computer science from the Orsay university.