ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès...

14
© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 1 1 MBSAW 2012 : Build-IT Safe Project © Groupe ALL4TEC – Tous droits réservés www.groupe-all4tec.net Document strictement confidentiel - Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite de ALL4TEC The Build-IT Safe project is supported by European Community FEDER-2007-2013 ALL4TEC - Etudes & Conseil Franck Sadmi – 11&12th September 2012

Transcript of ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès...

Page 1: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 1

1

MBSAW 2012 : Build-IT Safe Project

© Groupe ALL4TEC – Tous droits réservés www.groupe-all4tec.net Document strictement confidentiel - Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite de ALL4TEC The Build-IT Safe project is supported by European Community FEDER-2007-2013

ALL4TEC - Etudes & Conseil

Franck Sadmi – 11&12th September 2012

Page 2: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 2

Contents

Build-IT Safe Project Partners Organisation Roadmap

Description of the tool Demo Questions / Next steps

Page 3: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 3

The Build-IT Safe project (1/2)

The problematic Safety Analyses are necessary when developing critical systems The cost of those activities must be reduced Safety analyses must be more reliable than they are today (still often done at

the hand) & more maintainable

Title of the project The main goal of the Build-IT Safe project is to propose a Demonstrator of a

tool that will help make FMEA (Failure Mode and Effects Analysis) easier. This tool will be automotive oriented and will offer automobile & equipment

manufacturers appropriate support to make compliance with ISO 26262 easier (for the development of critical ECU’s).

Page 4: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 4

The Build-IT Safe project (2/2)

The concerned parts of the ISO 26262 Part 3 : the tool will simplify the execution of those tasks : « hazard analysis

and risk assessment » and « functional safety concept », Parts 4, 5, 6 : the approach is generic and the tool will be adapted to the

architecture & design of the system (Part 4), hardware (Part 5) and software (Part 6).

This project is financed by FEDER (ERDF: European Regional Development Fund)

Page 5: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 5

Partners

Project leader

Partners

Frédérique Vallée

Franck Sadmi

ALL4TEC is a French-based company specialized in Process improvement, Safety engineering, System engineering and Testing of complex embedded systems.

Youssef Laarouchi RENAULT - Embedded Software Competency Group

Agnès Lanusse

the CEA LIST Institute focuses its research activities on developing innovative technologies for smart and complex systems.

Adil Alif

FAAR Industry® specialized in the development and production of embedded electronic control systems for land and marine vehicles.

Beginning of the project May 2011

End of the project May 2013

Page 6: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 6

Organisation

Modeler Demonstrator to perform safety

analysis (FMEA)

Page 7: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 7

Roadmap of the project

The main steps of the Build-It Safe project Development of a prototype implementing the FMEA principles based on the

ALL4TEC methodology

Validation of the needs (requirements) by the users (Renault)

Specification & Development of a demonstrator interfacing the modelers Papyrus & Matlab/Simulink

Training of the actors to the methodology of the demonstrator

Test of the demonstrator on 1 or 2 pilot projects

Synthesis of all the results of this project on the technical & financial aspects

Page 8: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 8

ALL4TEC FMEA method (1/2)

Structured decomposition all the way down to elementary components (leaves)

Local analysis on the leaves Taking into account possible barriers

Global analysis Propagation of elementary failure modes to the specified Feared Event

Results summarized into a FMEA table and/or a Fault Tree

When necessary, design is enriched and analysis is done until the expected safety level is obtained: Addition of new barriers

Page 9: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 9

ALL4TEC FMEA method (2/2)

• Local analysis

• Global analysis

Each block is independtly analyzed from others:

Propagate all model failures to output feared events:

C1

C2 C3

E1

E2

S1

S2

f1(d1)

f2(d2)

f3(d3)

Linked outputs failure modes to inputs

failure modes for a block (or to the internal

failure of the block

Identification of all critical paths which lead

to each feared event

C1

C2 C3

E1

E2

S1

S2

f1(d1)

f2(d2)

f3(d3)

Page 10: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 10

Overview

Fault Tre

es

Re

po

rts

Safety Architect©

Inp

ut

Mo

de

ls

PDF HTML XLS

1 - Import 2 – Local Analysis

3 – Global Analysis

4 - Reports

5 - Export

Ou

tpu

t M

od

els

P

rop

agat

ion

En

gin

e

A4T

CORE©

RSA

CORE©

RSA

Fault Tree +

Page 11: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 11

Page 12: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 12

Safety Architect ROI

Average gain on FMEA effort

Hyp. : FMEA effort without Safety Architect = 30 m.days

If initial FMEA : gain > 15 m.days (50%)

• Importation of the functional model: > 5 m.days

• Local analysis automated: 0

• Global analysis automated : > 5 m.days

• Ease of reporting: > 5 m.days

If rework of an existing FMEA: gain > 25 m.days (80%) • Importation of the functional model: > 5 m.days

• Local analysis automated : > 10 m.days

• Global analysis automated : > 5 m.days

• Ease of reporting: > 5 m.days

Page 13: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 13

Benefit of the tool

FMEA automatic generation (all the methodology is driven by tools)

Model based oriented (better understanding)

Compliant with usual safety standards such as: ISO/CEI 61508, EN 5012x, ESARRs, ISO 26262 …

Maintenability increased (model based)

Page 14: ALL4TEC - Etudes & Conseil · Youssef Laarouchi RENAULT - Embedded Software Competency Group Agnès Lanusse the CEA LIST Institute focuses its research activities on developing innovative

© ALL4TEC – Tous droits réservés www.all4tec.net Document strictement confidentiel. Diffuser et copier ce document, utiliser et communiquer son contenu sont interdits sans l’autorisation écrite d’ALL4TEC 14

Conclusion / Next Steps

Prototype has been developed & validated

Demonstrator is under construction

Many reflexions have been done or are still in progress: Corrrect use of SysML/UML modelers Improvement of the ALL4TEC FMEA methodology Definition of the components to import / modelize from Matlab/Simulink

(interpretation of such constructions as S-functions, Matlab function,…) Inject Safety informations in the modelers Using more than only structural information from the model?

Great interest & involvement of all the partners in this project