Formal methods for safe design of autonomous systems dedicated to risk management

Sophie Coudert; Tullio Joseph Tanzi

doi:10.1007/978-3-319-68486-4_6

Formal methods for safe design of autonomous systems dedicated to risk management

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Information Technology in Disaster Risk Reduction - 1st IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Revised Selected Papers
Editors	Jose J. Gonzalez, Plamena Zlateva, Yuko Murayama, Dimiter Velev
Publisher	Springer New York LLC
Pages	61-76
Number of pages	16
ISBN (Print)	9783319684857
DOIs	https://doi.org/10.1007/978-3-319-68486-4_6
Publication status	Published - 1 Jan 2017
Event	1st IFIP TC 5 DCITDRR International Conference on Information Technology in Disaster Risk Reduction, ITDRR 2016 - Sofia, Bulgaria Duration: 16 Nov 2016 → 18 Nov 2016

Publication series

Name	IFIP Advances in Information and Communication Technology
Volume	501
ISSN (Print)	1868-4238

Conference

Conference	1st IFIP TC 5 DCITDRR International Conference on Information Technology in Disaster Risk Reduction, ITDRR 2016
Country/Territory	Bulgaria
City	Sofia
Period	16/11/16 → 18/11/16

Keywords

Autonomous systems
Formal methods
Safety
Security

Access to Document

10.1007/978-3-319-68486-4_6

Cite this

Coudert, S., & Tanzi, T. J. (2017). Formal methods for safe design of autonomous systems dedicated to risk management. In J. J. Gonzalez, P. Zlateva, Y. Murayama, & D. Velev (Eds.), Information Technology in Disaster Risk Reduction - 1st IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Revised Selected Papers (pp. 61-76). (IFIP Advances in Information and Communication Technology; Vol. 501). Springer New York LLC. https://doi.org/10.1007/978-3-319-68486-4_6

Coudert, Sophie ; Tanzi, Tullio Joseph. / Formal methods for safe design of autonomous systems dedicated to risk management. Information Technology in Disaster Risk Reduction - 1st IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Revised Selected Papers. editor / Jose J. Gonzalez ; Plamena Zlateva ; Yuko Murayama ; Dimiter Velev. Springer New York LLC, 2017. pp. 61-76 (IFIP Advances in Information and Communication Technology).

@inproceedings{a16c138367054d35be171bfe36a95126,

title = "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.",

keywords = "Autonomous systems, Formal methods, Safety, Security",

author = "Sophie Coudert and Tanzi, \{Tullio Joseph\}",

note = "Publisher Copyright: {\textcopyright} IFIP International Federation for Information Processing 2017 Published by Springer International Publishing AG 2017. All Rights Reserved.; 1st IFIP TC 5 DCITDRR International Conference on Information Technology in Disaster Risk Reduction, ITDRR 2016 ; Conference date: 16-11-2016 Through 18-11-2016",

year = "2017",

month = jan,

day = "1",

doi = "10.1007/978-3-319-68486-4\_6",

language = "English",

isbn = "9783319684857",

series = "IFIP Advances in Information and Communication Technology",

publisher = "Springer New York LLC",

pages = "61--76",

editor = "Gonzalez, \{Jose J.\} and Plamena Zlateva and Yuko Murayama and Dimiter Velev",

booktitle = "Information Technology in Disaster Risk Reduction - 1st IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Revised Selected Papers",

}

Coudert, S & Tanzi, TJ 2017, Formal methods for safe design of autonomous systems dedicated to risk management. in JJ Gonzalez, P Zlateva, Y Murayama & D Velev (eds), Information Technology in Disaster Risk Reduction - 1st IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Revised Selected Papers. IFIP Advances in Information and Communication Technology, vol. 501, Springer New York LLC, pp. 61-76, 1st IFIP TC 5 DCITDRR International Conference on Information Technology in Disaster Risk Reduction, ITDRR 2016, Sofia, Bulgaria, 16/11/16. https://doi.org/10.1007/978-3-319-68486-4_6

Formal methods for safe design of autonomous systems dedicated to risk management. / Coudert, Sophie ; Tanzi, Tullio Joseph.
Information Technology in Disaster Risk Reduction - 1st IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Revised Selected Papers. ed. / Jose J. Gonzalez; Plamena Zlateva; Yuko Murayama; Dimiter Velev. Springer New York LLC, 2017. p. 61-76 (IFIP Advances in Information and Communication Technology; Vol. 501).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal methods for safe design of autonomous systems dedicated to risk management

AU - Coudert, Sophie

AU - Tanzi, Tullio Joseph

PY - 2017/1/1

Y1 - 2017/1/1

N2 - 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.

AB - 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.

KW - Autonomous systems

KW - Formal methods

KW - Safety

KW - Security

UR - https://www.scopus.com/pages/publications/85037861607

U2 - 10.1007/978-3-319-68486-4_6

DO - 10.1007/978-3-319-68486-4_6

M3 - Conference contribution

AN - SCOPUS:85037861607

SN - 9783319684857

T3 - IFIP Advances in Information and Communication Technology

SP - 61

EP - 76

BT - Information Technology in Disaster Risk Reduction - 1st IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Revised Selected Papers

A2 - Gonzalez, Jose J.

A2 - Zlateva, Plamena

A2 - Murayama, Yuko

A2 - Velev, Dimiter

PB - Springer New York LLC

T2 - 1st IFIP TC 5 DCITDRR International Conference on Information Technology in Disaster Risk Reduction, ITDRR 2016

Y2 - 16 November 2016 through 18 November 2016

ER -

Coudert S , Tanzi TJ. Formal methods for safe design of autonomous systems dedicated to risk management. In Gonzalez JJ, Zlateva P, Murayama Y, Velev D, editors, Information Technology in Disaster Risk Reduction - 1st IFIP TC 5 DCITDRR International Conference, ITDRR 2016, Revised Selected Papers. Springer New York LLC. 2017. p. 61-76. (IFIP Advances in Information and Communication Technology). doi: 10.1007/978-3-319-68486-4_6

Formal methods for safe design of autonomous systems dedicated to risk management

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this