An Experiment on Merging Quality Assessment in Automotive Domain

in 12th International Conference, SPICE 2012, Palma, Spain, May 29-31, 2012. Proceedings (2012)

Efficient Methodology from Requirements to Design Models for an Automotive Application

in Proceedings of 6th European congress on Embedded Real Time Software and Systems (ERTS 2012) (2012)

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

in Actes des 5emes journées sur l’Ingénierie Dirigée par les Modèles, Nancy, 25-26 mars 2009 (2009)

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 ... [more ▼]

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. [less ▲]