SM@RT is a software engineering team of the Reliability of Systems and Software department that specializes in software agility and safety for cyber-physical systems. The team explores new foundations, and develops ground-breaking tools and methods for modeling and software languages (domain-specific languages, specification languages, programming and modeling languages), with a particular focus on the scientific breakthroughs related to socio-technical coordination (heterogeneity of models and execution platforms, final user in the loop, etc.). SM@RT is a leading team in model-driven engineering (MDE) and software language engineering (SLE). The team is highly involved in the international scientific community, and has established strong industrial partnerships (through bilateral and collaborative projects). SM@RT seconds most of the scientific contributions with software developments. The team is also highly involved in various open-source communities (e.g., Eclipse), and contributes to different projects.
An integrated model-based early validation approach for Railway Systems
GEMOC is an open and international initiative that aims to coordinate and disseminate the research results regarding the support of the coordinated use of various modeling languages that will lead to the concept of the globalization of modeling languages.
MOdels and Information Sharing for System Engineering in Extended Entreprise
Ph.D. & M.Sc.