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

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/3846

Title :	Sûreté de Fonctionnement dans un processus basé sur l'Ingénierie Dirigée par les Modèles
Language :	French
Author, co-author :	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 [CEA, LIST, Point Courrier 94, Gif-sur-Yvette, F-91191, France]
Publication date :	2009
Main document title :	Actes des 5emes journées sur l’Ingénierie Dirigée par les Modèles, Nancy, 25-26 mars 2009
Publisher :	Mireille Blay-Fornarino et Olivier Zendra
Pages :	73-78
Peer reviewed :	Yes
Audience :	National
ISBN :	2-905267-66-6
Event name :	IDM 2009
Event date :	25-26 mars 2009
Event place (city) :	Nancy
Event country :	France
Keywords :	[en] model driven engineering (MDE), safety, dependability ; metamodel, UML profiles
Abstract :	[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.
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/3846
Commentary :	5èmes Journées sur l'Ingénierie Dirigée par les Modèles

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Limited access idm09.pdf Publisher postprint 192.78 kB Request a copy

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map