Accueil > Actualités > Séminaire Dominique Blouin : Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design

Séminaire Dominique Blouin : Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design

Jeudi 22 septembre, matin, séminaire Dominique Blouin (Telecom ParisTech, Paris)

Title :

Combining Requirements, Use Case Maps and AADL Models for Safety-Critical Systems Design

Abstract :

Good requirements engineering practices are essential for developing correct safety-critical systems. In this presentation, I report our experience in combining existing rich modeling languages such as AADL (Architecture Analysis and Design Language), URN (User Requirements Notation) and RDAL (Requirements Definition and Analysis Language) to support a requirements engineering and design process as promoted by the Federal Aviation Administration (FAA) Requirements Engineering Management Handbook (REMH). Each of the combined language is well suited for the capture of specific concerns of the REMH practices allowing reusing the capability from the individual languages but also from their combined use. Our approach has been applied to the specification and analysis of a medical device example from the REMH and shows several benefits due to the early discovery of errors resulting from each modeling language and from their combination. This experience also identifies important needs for automated model management not covered by current state-ofthe-art modeling techniques.

Biography :

Research Interests :

  • Global Model Management : Means for combining models and their modeling languages :
  • Automated management of traceability links between models
  • Automated model consistency checks and synchronization of models and their views
  • Incremental approaches for scalability of model-driven engineering techniques
  • Methods and tools for the analysis and code generation of embedded systems

Scientific Activities

  • Vice chair of Working Group 1 of the European COST Action IC1404 on Multi-paradigm Modeling for Cyber-physical Systems (MPM4CPS, http://mpm4cps.eu/)
  • Member of the SAE-AS2C AADL standards sub-committee

Work Experiences

  • Dec. 2014-2016 : Researcher, System Analysis and Modeling Group, Hasso-Plattner Institute (Germany)
  • 2008 - 2014 : University of South Brittany / University of Western Brittany
  • 2000–2008 : Cassiopae, Paris, Software Provider


Dernière modification : samedi 17 novembre 2018