DRT : Thesis SL-DRT-14-0509

PDF
Français


 

Research field

Computer science and software / Engineering science

Title

Contribution to Critical System Design through incremental and cooperative safety analysis

Abstract

The objective of the thesis work is to define a methodology to support incremental design of complex systems submitted to safety regulations. The orientation chosen is to combine safety analysis, and reuse of safety related mitigation patterns within system design in a cooperative way. The system design will be performed using UML/SysML and annotated with safety requirements resulting from a safety analysis, then composition with safety patterns will be performed. Safety analyis will thus provide hints on possible solutions of mitigation patterns corresponding to recommendations from normative standards, then a trade-off analyis will perform multi-criteria optimization in order to select best architectural candidates for implementation.The goal of the work is to propose a methodology, prove the soundness of solutions proposed and develop tools to support the implementation of the methodology. This work will take into account allocation constraints functions/components/hardware architecture. This work will be integrated within an already rich modeling and design environment of the laboratory (www.eclipse.org.papyrus), the Qompass optimization and deployment platform combined with Sophia a Model Based Safety Assessment platform.



Key Words : System modeling and analysis, Safety, architectural optimisation, critical systems

Location

Département Ingénierie Logiciels et Systèmes (LIST)

Laboratoire d'Ingénierie dirigée par les modèles pour les Systèmes Embarqués
Centre : Saclay
Starting date : 01/10/2014

Contact person

Sara TUCCI
CEA / DRT/DILS//LISE
CEA Saclay - 91191 Gif sur Yvette - France
Phone : 01 69 08 45 87

University / Graduate School

Paris Sud
Informatique Paris-Sud - Paris XI -

Thesis supervisor

François TERRIER
CEA / DRT/DILS
CEA Saclay Nano-INNOV -

Institut CARNOT CEA LIST, DILS - Point Courrier n° 174 -

91 191 Gif sur Yvette CEDEX


INSTN - Website
Updated on 07/30/2014
© CEA 2014 - All rights reserved
Legal information