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

https://hal.inria.fr/hal-03213130
Contributor : Hal Ifip <>
Submitted on : Friday, April 30, 2021 - 11:07:30 AM
Last modification on : Sunday, May 2, 2021 - 3:26:24 AM

File

458554_1_En_6_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

13

Files downloads

23