Sûreté de Fonctionnement dans un processus basé sur l'Ingénierie Dirigée par les Modèles

From the nineties, paradigm "cheaper, faster, better" is becoming a successfully paradigm to develop systems such that real-time embedded systems where safety guarantees are mandatory. Model-driven engineering (MDE) approaches provide a solution to manage the increasing complexity of such systems. In this paper, we adopt a MDE approach and we study how to integrate safety requirements (and, more particularly, the dependability) from the early phases of software development. We base our investigation on three pilasters: definition of a safety metamodel compatible with UML standard profiles; definition of a software development methodology and adoption of formal methods to prove properties. In this paper we discuss our strategy and some challenges that we are faced to.
MOTS-CLÉS : ingénierie dirigée par les modèles (IDM), sûreté de fonctionnement, fiabilité, métamodèles, profil UML.