the openaltarica project - cse...aeronautics, railway, naval, etc. imbsa ‘14 7 the openaltarica...
TRANSCRIPT
![Page 1: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/1.jpg)
The OpenAltaRica Project
IMBSA 2014
Michel BATTEUXProject Manager
IRT SystemX
Paul LABROGEREHead of Technologies and
Tools Program
IRT SystemX
Antoine RAUZYProfessor
Chair Blériot-Fabre
Ecole Centrale de Paris
![Page 2: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/2.jpg)
2
Develop an integrated platform, based on AltaRica 3.0, dedicated to safety analysis of complex systems
The OpenAltaRica Project
IMBSA ‘14
![Page 3: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/3.jpg)
3
The OpenAltaRica Project
Safety analysis of complex systems based on AltaRica 3.0
Model-based methodologies (MBSA)
Declension of MBSE for safety analysis;
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
IMBSA ‘14
![Page 4: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/4.jpg)
4
The OpenAltaRica Project
Safety analysis of complex systems based on AltaRica 3.0
Model-based methodologies (MBSA)
Declension of MBSE for safety analysis;
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
IMBSA ‘14
![Page 5: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/5.jpg)
5
The OpenAltaRica Project
Safety analysis of complex systems based on AltaRica 3.0
AltaRica 3.0
AltaRica: such a high level formalism dedicated to safety analysis
1st version : LaBRI (Bordeaux) end of 90’s
Set-up the basic concepts;
Powerfull underlying mathematical model;
too resource consuming for industrial scale systems.
IMBSA ‘14
![Page 6: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/6.jpg)
6
The OpenAltaRica Project
Safety analysis of complex systems based on AltaRica 3.0
AltaRica 3.0
AltaRica: such a high level formalism dedicated to safety analysis
1st version : LaBRI (Bordeaux) end of 90’s;
2nd version : AltaRica Data-Flow
Core language of several industrial (commercially distributed) Integrated Modeling andSimulation 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.
IMBSA ‘14
![Page 7: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/7.jpg)
7
The OpenAltaRica Project
Safety analysis of complex systems based on AltaRica 3.0
AltaRica 3.0
AltaRica: such a high level formalism dedicated to safety analysis
1st version : LaBRI (Bordeaux) end of 90’s;
2nd version : AltaRica Data-Flow;
3rd 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, 2014.
IMBSA ‘14
![Page 8: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/8.jpg)
8
Develop an integrated platform, based on AltaRica 3.0, dedicated to safety analysis of complex systems
The OpenAltaRica Project
IMBSA ‘14
![Page 9: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/9.jpg)
Modeling methodology
Libraries: reusablecomponents & modelingpatterns;
Advanced pedagogicalmaterials: tutorials, trainings, forum, etc.
9
The OpenAltaRica Project
An integrated plateform based on AltaRica 3.0
GraphXica workshop• GXA models edition• Graphical animation of
GXA models
GraphXica
Results of RAMS studies
Models management workshop• Models synchronization: AR3,
SysML, Modelica, etc.
SysML
Modelica
…
AltaRica 3.0 workshop• AR3 models edition• AR3 models assessment• Automatic RAMS
models generation
AltaRica 3.0
GTS
S2ML
Open-PSA
RAMS Open-PSA workshop• RAMS models edition• RAMS models
assessment
IMBSA ‘14
![Page 10: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/10.jpg)
Modeling methodology
Libraries: reusablecomponents & modelingpatterns;
Advanced pedagogicalmaterials: tutorials, trainings, forum, etc.
10
The OpenAltaRica Project
An integrated plateform based on AltaRica 3.0
GraphXica workshop• GXA models edition• Graphical animation of
GXA models
GraphXica
Results of RAMS studies
Open-PSA
RAMS Open-PSA workshop• RAMS models edition• RAMS models
assessment
AltaRica 3.0 workshop• AR3 models edition• AR3 models assessment• Automatic RAMS
models generation
AltaRica 3.0
GTS
S2MLModels management workshop• Models synchronization: AR3,
SysML, Modelica, etc.
SysML
Modelica
…
IMBSA ‘14
![Page 11: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/11.jpg)
11
The OpenAltaRica Project
An integrated plateform based on AltaRica 3.0
GraphXica workshop• GXA models edition• Graphical animation of
GXA models
GraphXica
Results of RAMS studies
SysML
Modelica
…
Open-PSA
RAMS Open-PSA workshop• RAMS models edition• RAMS models
assessment
Models management workshop• Models synchronization: AR3,
SysML, Modelica, etc.
AltaRica 3.0 workshop• AR3 models edition• AR3 models assessment• Automatic RAMS
models generation
AltaRica 3.0
GTS
S2ML
Modeling methodology
Libraries: reusablecomponents & modelingpatterns;
Advanced pedagogicalmaterials: tutorials, trainings, forum, etc.
Federate the community
IMBSA ‘14
![Page 12: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/12.jpg)
12
Develop an integrated platform, based on AltaRica 3.0, dedicated to risk analysis of complex systems
The OpenAltaRica Project
IMBSA ‘14
![Page 13: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/13.jpg)
13
The OpenAltaRica Project
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
IMBSA ‘14
![Page 14: The OpenAltaRica Project - CSE...aeronautics, railway, naval, etc. IMBSA ‘14 7 The OpenAltaRica Project Safety analysis of complex systems based on AltaRica 3.0 AltaRica 3.0 AltaRica:](https://reader034.vdocument.in/reader034/viewer/2022052016/602e20c8d2a7dd05b9758fd1/html5/thumbnails/14.jpg)
14
The OpenAltaRica Project
CONTACTS
Michel BATTEUX – IRT SystemX
Antoine RAUZY – Ecole Centrale Paris
Paul LABROGERE – IRT SystemX
IMBSA ‘14