the openaltarica project - cse...aeronautics, railway, naval, etc. imbsa ‘14 7 the openaltarica...

The OpenAltaRica Project

IMBSA 2014

Michel BATTEUXProject Manager

IRT SystemX

michel.batteux@irt-systemx.fr

Paul LABROGEREHead of Technologies and

Tools Program

IRT SystemX

paul.labrogere@irt-systemx.fr

Antoine RAUZYProfessor

Chair Blériot-Fabre

Ecole Centrale de Paris

Antoine.rauzy@ecp.fr

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

michel.batteux@irt-systemx.fr

Antoine RAUZY – Ecole Centrale Paris

antoine.rauzy@ecp.fr

Paul LABROGERE – IRT SystemX

paul.labrogere@irt-systemx.fr

IMBSA ‘14