Reference : Sûreté de Fonctionnement dans un processus basé sur l'Ingénierie Dirigée par les Modèles
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/3846
Sûreté de Fonctionnement dans un processus basé sur l'Ingénierie Dirigée par les Modèles
French
Cancila, Daniela [CEA, LIST, Point Courrier 94, Gif-sur-Yvette, F-91191, France]
Dubois, Hubert [CEA, LIST, Point Courrier 94, Gif-sur-Yvette, F-91191, France]
Adedjouma, Morayo mailto [CEA, LIST, Point Courrier 94, Gif-sur-Yvette, F-91191, France]
2009
Actes des 5emes journées sur l’Ingénierie Dirigée par les Modèles, Nancy, 25-26 mars 2009
Mireille Blay-Fornarino et Olivier Zendra
73-78
Yes
National
2-905267-66-6
IDM 2009
25-26 mars 2009
Nancy
France
[en] model driven engineering (MDE), safety, dependability ; metamodel, UML profiles
[en] 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.
Researchers
http://hdl.handle.net/10993/3846
5èmes Journées sur l'Ingénierie Dirigée par les Modèles

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
idm09.pdfPublisher postprint192.78 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.