The OpenAltaRica Project

Transcription

1 IMBSA 2014 Michel BATTEUX Project Manager IRT SystemX Paul LABROGERE Head of Technologies and Tools Program IRT SystemX Antoine RAUZY Professor Chair Blériot-Fabre Ecole Centrale de Paris

2 Develop an integrated platform, based on AltaRica 3.0, dedicated to safety analysis of complex systems 2

3 Model-based methodologies (MBSA) Declension of MBSE for safety analysis; The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 Considers high level formalisms (close to the functional and physical architecture of the system); Idea 1. Design models in high level formalisms 2. Calculate indicators directly from the high level models from low level models (typically a fault tree) obtained by compiling the formers 3

4 Model-based methodologies (MBSA) Declension of MBSE for safety analysis; The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 Considers high level formalisms (close to the functional and physical architecture of the system); Idea 1. Design models in high level formalisms 2. Calculate indicators directly from the high level models from low level models (typically a fault tree) obtained by compiling the formers Focus more and more attention 4

5 Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica: such a high level formalism dedicated to safety analysis 1 st version : LaBRI (Bordeaux) end of 90 s Set-up the basic concepts; Powerfull underlying mathematical model; too resource consuming for industrial scale systems. 5

6 Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica: such a high level formalism dedicated to safety analysis 1 st version : LaBRI (Bordeaux) end of 90 s; 2 nd version : AltaRica Data-Flow Core language of several industrial (commercially distributed) Integrated Modeling and Simulation Environments: Simfia (Apsys); Safety Designer (Dassault Systèmes); Cecilia OCAS (Dassault Aviation). Several industrial successes Last 10 years; Use of AltaRica to perform safety analysis; aeronautics, railway, naval, etc. 6

7 Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica: such a high level formalism dedicated to safety analysis 1 st version : LaBRI (Bordeaux) end of 90 s; 2 nd version : AltaRica Data-Flow; 3 rd version : AltaRica 3.0 (team A. Rauzy LIX-ECP). Improving AltaRica Data-Flow [1-2]: new constructs to structure models: prototype based language new underlying mathematical model: Guarded Transitions Systems handle systems with instant loops define acausal components new syntax: close to Modelica. [1] Safety Assessment of an electrical system with AltaRica 3.0, H. Mortada, T. Prosvirnova & A. Rauzy, IMBSA 14. [2] The structural constructions of AltaRica 3.0, A. Rauzy & T. Prosvirnova, Lambda-Mu 19, october,

8 Develop an integrated platform, based on AltaRica 3.0, dedicated to safety analysis of complex systems 8

9 An integrated plateform based on AltaRica 3.0 SysML Modelica Models management workshop Models synchronization: AR3, SysML, Modelica, etc. AltaRica 3.0 S2ML GraphXica Modeling methodology GTS GraphXica workshop GXA models edition Graphical animation of GXA models Libraries: reusable components & modeling patterns; Advanced pedagogical materials: tutorials, trainings, forum, etc. Open-PSA AltaRica 3.0 workshop AR3 models edition AR3 models assessment Automatic RAMS models generation RAMS Open-PSA workshop RAMS models edition RAMS models assessment Results of RAMS studies 9

10 An integrated plateform based on AltaRica 3.0 SysML Modelica Models management workshop Models synchronization: AR3, SysML, Modelica, etc. AltaRica 3.0 S2ML GraphXica Modeling methodology GTS GraphXica workshop GXA models edition Graphical animation of GXA models Libraries: reusable components & modeling patterns; Advanced pedagogical materials: tutorials, trainings, forum, etc. Open-PSA AltaRica 3.0 workshop AR3 models edition AR3 models assessment Automatic RAMS models generation RAMS Open-PSA workshop RAMS models edition RAMS models assessment Results of RAMS studies 10

11 An integrated plateform based on AltaRica 3.0 SysML Modelica Models management workshop Models synchronization: AR3, SysML, Modelica, etc. AltaRica 3.0 S2ML GraphXica Modeling methodology Libraries: reusable components & modeling patterns; Advanced pedagogical materials: tutorials, trainings, forum, etc. Open-PSA GTS AltaRica 3.0 workshop AR3 models edition AR3 models assessment Automatic RAMS models generation GraphXica workshop GXA models edition Graphical animation of GXA models Federate the community RAMS Open-PSA workshop RAMS models edition RAMS models assessment Results of RAMS studies 11

12 Develop an integrated platform, based on AltaRica 3.0, dedicated to risk analysis of complex systems 12

13 Develop an integrated plateform The Project Quantitative vision 5 years; IRT SystemX team: development of the plateform; Scientific team (A. Rauzy): drive the scientific points; 3 partnership levels (with financial contributions for 2) Licence community source during the project open source at the end 13

14 CONTACTS Michel BATTEUX IRT SystemX Antoine RAUZY Ecole Centrale Paris Paul LABROGERE IRT SystemX 14