Pause
Read
CEA vacancy search engine

Dynamic Assurance Cases for Autonomous Adaptive Systems


Thesis topic details

General information

Organisation

The French Alternative Energies and Atomic Energy Commission (CEA) is a key player in research, development and innovation in four main areas :
• defence and security,
• nuclear energy (fission and fusion),
• technological research for industry,
• fundamental research in the physical sciences and life sciences.

Drawing on its widely acknowledged expertise, and thanks to its 16000 technicians, engineers, researchers and staff, the CEA actively participates in collaborative projects with a large number of academic and industrial partners.

The CEA is established in ten centers spread throughout France
  

Reference

SL-DRT-24-0025  

Direction

DRT

Thesis topic details

Category

Technological challenges

Thesis topics

Dynamic Assurance Cases for Autonomous Adaptive Systems

Contract

Thèse

Job description

Providing assurances that autonomous systems will operate in a safe and secure manner is a prerequisite for their deployment in mission-critical and safety-critical application domains. Typically, assurances are provided in the form of assurance cases, which are auditable and reasoned arguments that a high-level claim (usually concerning safety or other critical properties) is satisfied given a set of evidence concerning the context, design, and implementation of a system. Assurance case development is traditionally an analytic activity, which is carried out off-line prior to system deployment and its validity relies on assumptions/predictions about system behavior (including its interactions with its environment). However, it has been argued that this is not a viable approach for autonomous systems that learn and adapt in operation. The proposed PhD will address the limitations of existing assurance approaches by proposing a new class of security-informed safety assurance techniques that are continually assessing and evolving the safety reasoning, concurrently with the system, to provide through-life safety assurance. That is, safety assurance will be provided not only during initial development and deployment, but also at runtime based on operational data.

University / doctoral school

Sciences et Technologies de l’Information et de la Communication (STIC)
Paris-Saclay

Thesis topic location

Site

Saclay

Requester

Position start date

01/10/2023

Person to be contacted by the applicant

MRAIDHA Chokri chokri.mraidha@cea.fr
CEA
DRT/DILS//LSEA
CEA Saclay
DRT/LIST/DILS/LSEA
91191 Gif-sur-Yvette
France
0169084889

Tutor / Responsible thesis director

MRAIDHA Chokri chokri.mraidha@cea.fr
CEA
DRT/DILS//LSEA
CEA Saclay
DRT/LIST/DILS/LSEA
91191 Gif-sur-Yvette
France
0169084889

En savoir plus


www.list.cea.fr