Book 2012 des projets Systematic

Electronics ArchitectureIMOFISIngénierie des MOdèlesdes FonctIons SécuritairesCOMPLETEDPROJECT◗ IMOFIS developed a technology (process+method+framework) aimed to assist safetyengineers to analyse systems and to provide evidence that these systems meet safetyrequirements.◗ IMOFIS framework implements a risk analysis process compliant with internationalstandards and based on semi-formal (SysML) and formal (B, AltaRica) models of systemsand on a model of risk analysis (SOPHIA). Furthermore, IMOFIS frameworktracks the relationships between those models in order to maintain aglobal and consistentview.◗ IMOFIS framework is based on a collection of models of models (meta-models) ofsystem design and risk analysis which abstract from particular processes and techniques.It is implemented on Eclipse platform and is instantiated for automotive andrailway applications.CONTACTFernando MEJIAALSTOM TRANSPORTINFORMATION SOLUTIONS+33 (0)1 57 06 13 73luis-fernando.mejia@transport.alstom.comPARTNERSLarge companies:ALSTOM TRANSPORTINFORMATION SOLUTIONS,RENAULTSMEs:ATEGO, OBEO, SYSTERELResearch institutes, universities:CEA-LIST, UTC-HEUDIASYCMAJOR PROJECT OUTCOMES◗ Publications:• F. Thomas, F. Belmonte.Using Topcased and a Viewpoint-based Framework to describeSafety Concerns of Railway Signalling Systems. In proceedings of the TopcasedDays, Toulouse, France, February 2011.• F. Belmonte, F. Thomas, LF. Mejia, A. Blas Evaluation des risques des systèmesferroviaires, supportée par des langages et outils de modélisation, CongrèsLambda-Mu 17, La Rochelle, octobre 2010.• D. Cancila, F. Terrier, F. Belmonte, H. Dubois, H. Espinoza and S. Gérard. Model-Based Safety Engineering. In Proceedings of the 2nd International Workshop onModel Based Architecting and Construction of Embedded Systems (ACES-MB 2009)in conjunction with MoDELS Conference, October 2009, Denver, Colorado, USA.• D. Cancila, H. Dubois and M. Adedjouma. Sûreté de Fonctionnement dans unprocessus base sur l’Ingénierie Dirigée par les Modèles. Proceedings of 5èmeJournée sur l’Ingénierie Dirigée par les Modèles, IDM’09. Mars 2009, Nancy, France.◗ Product(s) or Service(s):• SOPHIA: Meta-model of risk analisys concepts (UML and DSL versions).• SOPHIA Modellers: Eclipse based modellers for SOPHIA (Papyrus and OBEO Designerversions).• Analyser of independence of functions in a SysML model.• Allocator of safety targets to functions in a SysML model.◗ Job creation:• 1 engineer at ALSTOM TRANSPORT INFORMATION SOLUTIONS• 1 researcher at CEAPROJECT DATACoordinator:ALSTOM TRANSPORTINFORMATION SOLUTIONSCall:ANRStart date:June 2008Duration:36 monthsGlobal budget (M2):4Funding (M2):1.6◗ Business creation:Development of safety assurance modelling tools.Automotive & Transports WG29