the openaltarica project - cse...aeronautics, railway, naval, etc. imbsa ‘14 7 the openaltarica...
TRANSCRIPT
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
2
Develop an integrated platform, based on AltaRica 3.0, dedicated to safety analysis of complex systems
The OpenAltaRica Project
IMBSA ‘14
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
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
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
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
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
8
Develop an integrated platform, based on AltaRica 3.0, dedicated to safety analysis of complex systems
The OpenAltaRica Project
IMBSA ‘14
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
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
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
12
Develop an integrated platform, based on AltaRica 3.0, dedicated to risk analysis of complex systems
The OpenAltaRica Project
IMBSA ‘14
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
14
The OpenAltaRica Project
CONTACTS
Michel BATTEUX – IRT SystemX
Antoine RAUZY – Ecole Centrale Paris
Paul LABROGERE – IRT SystemX
IMBSA ‘14