Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management - Télécom Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2017

Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management

Sophie Coudert
  • Fonction : Auteur
  • PersonId : 1053469

Résumé

A new generation of Autonomous systems (UAVs, ROVERs, etc.) is coming that will help improve the situational awareness and assessment, especially in difficult conditions like disasters. Rescuers should be relieved from time-consuming data collection tasks as much as possible and at the same time, Autonomous systems should assist data collection through a more insightful and automated guidance thanks to advanced sensing capabilities. In order to achieve this vision, two challenges must be addressed though. The first one is to achieve a sufficient autonomy. The second one relates to the reliability with respect to accidental (safety) or even malicious (security) risks. This however requires the design of new embedded architectures to be more autonomous, while mitigating the harm they may potentially cause. Increased complexity and flexibility requires resorting to modelling, simulation and formal verification techniques in order to validate such critical aspects.
Fichier principal
Vignette du fichier
458554_1_En_6_Chapter.pdf (595.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03213130 , version 1 (30-04-2021)

Licence

Paternité

Identifiants

Citer

Sophie Coudert, Tullio Tanzi. Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management. 1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR), Nov 2016, Sofia, Bulgaria. pp.61-76, ⟨10.1007/978-3-319-68486-4_6⟩. ⟨hal-03213130⟩
45 Consultations
155 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More