Skip to Main content Skip to Navigation
Conference papers

Recent Trends in Formal Validation and Verification of Autonomous Robots Software

Félix Ingrand 1
1 LAAS-RIS - Équipe Robotique et InteractionS
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : The consequences of autonomous systems software failures can be potentially dramatic. There is no need to darken the picture, but still, it seems unlikely that people, insurance companies and certification agencies will let autonomous systems fly or drive around without requiring their makers and programmers to prove that the most critical parts of the software are robust and reliable. This is already the case for aeronautic, rail transportation, nuclear plants, medical devices, etc. were software must be certified, which possibly involve its formal validation and verification (V&V). Moreover, autonomous systems go further and embed onboard deliberation functions. This is what make them really autonomous, but open new challenges. We propose to consider the overall problem of V&V of autonomous systems software and examine the current situation with respect to the various type of software used. In particular, we point out that the availability of formal models is rather different depending on the type of component considered. We distinguish these different cases and stress the areas where we think we need to focus our efforts as to improve the overall robustness of autonomous systems.
Complete list of metadata

Cited literature [65 references]  Display  Hide  Download

https://hal.laas.fr/hal-01968265
Contributor : Felix Ingrand Connect in order to contact the contributor
Submitted on : Wednesday, January 2, 2019 - 1:34:00 PM
Last modification on : Wednesday, November 3, 2021 - 6:52:30 AM
Long-term archiving on: : Wednesday, April 3, 2019 - 2:49:03 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01968265, version 1

Citation

Félix Ingrand. Recent Trends in Formal Validation and Verification of Autonomous Robots Software. IEEE International Conference on Robotic Computing, Feb 2019, Naples, Italy. ⟨hal-01968265⟩

Share

Metrics

Record views

287

Files downloads

1355