HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, April 30, 2021 - 11:07:30 AM
Last modification on : Wednesday, December 1, 2021 - 2:36:52 PM
Long-term archiving on: : Saturday, July 31, 2021 - 6:35:28 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



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⟩



Record views


Files downloads