@inproceedings{35adacc776284af3afbf186560e40a65,
title = "Autonomous Systems: Towards an Assessment of the Reliability",
abstract = "The use of autonomous systems equipped with the latest technological advances greatly facilitates response operations after a disaster. They can intervene, for example, in places that are inaccessible or dangerous for human rescuers. To be effective, these systems integrate increasingly advanced sensors and therefore become more and more linear. This considerably increases their capabilities but also the cost. It is therefore necessary to ensure the reliability of the system. The objective of this evaluation is to verify that the system survives and completes the mission or aborts it in time to return to its base. For this we propose the use of formal methods. The Event-B method allows us to prove properties on a very abstract model of the system, which is then incrementally refined to a detailed specification of a correct implementation by construction. We also illustrate an approach using graphics specifications using Avatar. These two approaches are illustrated in a very simplified description of our Rover.",
keywords = "Autonomous System, Cyber-physical Systems, Disaster, Formal Methods, Models, Simulation",
author = "Tanzi, \{Tullio J.\} and Sophie Coudert",
note = "Publisher Copyright: {\textcopyright} IFIP International Federation for Information Processing 2026.; 9th IFIP WG 5.15 International Conference on Information Technology in Disaster Risk Reduction, ITDRR 2024 ; Conference date: 14-10-2024 Through 16-10-2024",
year = "2026",
month = jan,
day = "1",
doi = "10.1007/978-3-031-97115-0\_12",
language = "English",
isbn = "9783031971143",
series = "IFIP Advances in Information and Communication Technology",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "179--191",
editor = "Walter Seb{\"o}ck and Lampoltshammer, \{Thomas J.\} and Ingeborg Zeller and Julie Dugdale",
booktitle = "Information Technology in Disaster Risk Reduction - 9th IFIP WG 5.15 International Conference, ITDRR 2024, Revised Selected Papers",
}