Authors:
Joseph Razavi
1
;
Richard Banach
1
;
Suzanne Lesecq
2
;
Olivier Debicki
2
;
Nicolas Mareau
2
;
Julie Foucault
2
;
Marc Correvon
3
and
Gabriela Dudnik
3
Affiliations:
1
School of Computer Science, University of Manchester, Oxford Road, Manchester, M13 9PL and U.K.
;
2
CEA, LETI, Minatec Campus, 17 Rue des Martyrs, F-38054 Grenoble Cedex and France
;
3
CSEM SA, 2002 Neuchatel and Switzerland
Keyword(s):
Formal Modelling, Sensor Processing, Embedded Devices, Wearable Technology, Assistive Technology.
Related
Ontology
Subjects/Areas/Topics:
Formal Methods
;
Simulation and Modeling
;
Software Engineering
;
Software Engineering Methods and Techniques
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.