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

Joseph Razavi, Richard Banach, Suzanne Lesecq, Olivier Debicki, Nicolas Mareau, Julie Foucault, Marc Correvon, Gabriela Dudnik

2018

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.

Paper Citation

in Harvard Style

Razavi J., Banach R., Lesecq S., Debicki O., Mareau N., Foucault J., Correvon M. and Dudnik G. (2018). Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System.In Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-320-9, pages 664-671. DOI: 10.5220/0006906906640671

in Bibtex Style

@conference{icsoft18,
author={Joseph Razavi and Richard Banach and Suzanne Lesecq and Olivier Debicki and Nicolas Mareau and Julie Foucault and Marc Correvon and Gabriela Dudnik},
title={Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System},
booktitle={Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2018},
pages={664-671},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006906906640671},
isbn={978-989-758-320-9},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System
SN - 978-989-758-320-9
AU - Razavi J.
AU - Banach R.
AU - Lesecq S.
AU - Debicki O.
AU - Mareau N.
AU - Foucault J.
AU - Correvon M.
AU - Dudnik G.
PY - 2018
SP - 664
EP - 671
DO - 10.5220/0006906906640671