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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Abstract

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
Pages664-671
Number of pages8
Volume1
DOIs
Publication statusE-pub ahead of print - 1 Jul 2018
Event13th International Conference on Software Technologies - Porto, Portugal
Event duration: 26 Jul 201828 Jul 2018

Conference

Conference13th International Conference on Software Technologies
Abbreviated titleICSOFT
CountryPortugal
CityPorto
Period26/07/1828/07/18