Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • External authors:
  • Suzanne Lesecq
  • Olivier Debicki
  • Nicolas Mareau
  • Julie Foucault
  • Marc Correvon
  • Gabriela Dudnik


The INSPEX project aims to miniaturize state-of-the-art obstacle detection technology comprising heterogeneous sensors and advanced processing, so that it can be used for wearable devices. The project focuses on enhancing the white cane used by some visually impaired and blind people. Due to high demand for reliability and performance, the project is a good candidate for the use of formal methods. In this paper, we report lessons we have learned from formal modelling exercises related to the pre-processing of sensor information in INSPEX.

Bibliographical metadata

Original languageEnglish
Title of host publication Proceedings of the 13th International Conference on Software Technologies
Number of pages8
Publication statusE-pub ahead of print - 1 Jul 2018
Event13th International Conference on Software Technologies - Porto, Portugal
Event duration: 26 Jul 201828 Jul 2018


Conference13th International Conference on Software Technologies
Abbreviated titleICSOFT