%0 Conference Proceedings
%T Formal Methods for Safe Design of Autonomous Systems Dedicated to Risk Management
%+ Telecom Valley [Sophia Antipolis]
%+ Télécom ParisTech
%A Coudert, Sophie
%A Tanzi, Tullio
%< avec comité de lecture
%( IFIP Advances in Information and Communication Technology
%B 1st International Conference on Information Technology in Disaster Risk Reduction (ITDRR)
%C Sofia, Bulgaria
%Y Yuko Murayama
%Y Dimiter Velev
%Y Plamena Zlateva
%Y Jose J. Gonzalez
%I Springer International Publishing
%3 Information Technology in Disaster Risk Reduction
%V AICT-501
%P 61-76
%8 2016-11-16
%D 2016
%R 10.1007/978-3-319-68486-4_6
%K Autonomous systems
%K Formal methods
%K Safety
%K Security
%Z Computer Science [cs]Conference papers
%X 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.
%G English
%Z TC 5
%2 https://inria.hal.science/hal-03213130/document
%2 https://inria.hal.science/hal-03213130/file/458554_1_En_6_Chapter.pdf
%L hal-03213130
%U https://inria.hal.science/hal-03213130
%~ INSTITUT-TELECOM
%~ ENST
%~ TELECOM-PARISTECH
%~ PARISTECH
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-TC5
%~ UNIV-PARIS-SACLAY
%~ TELECOM-PARISTECH-SACLAY
%~ LTCI
%~ COMELEC
%~ LABSOC
%~ IFIP-ITDRR
%~ IFIP-AICT-501