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

doi:10.5220/0006906906980705

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

Formal Methods

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

40 Downloads (Pure)

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.

Original language	English
Title of host publication	Proceedings of the 13th International Conference on Software Technologies
Pages	664-671
Number of pages	8
Volume	1
DOIs	https://doi.org/10.5220/0006906906980705
Publication status	E-pub ahead of print - 1 Jul 2018
Event	13th International Conference on Software Technologies - Porto, Portugal Duration: 26 Jul 2018 → 28 Jul 2018

Conference

Conference	13th International Conference on Software Technologies
Abbreviated title	ICSOFT
Country/Territory	Portugal
City	Porto
Period	26/07/18 → 28/07/18

Keywords

Formal Modelling
Sensor Processing
Embedded Devices
Wearable Technology
assistive technology

Access to Document

10.5220/0006906906980705Licence: CC BY-NC-ND

Cite this

Razavi, J., Banach, R., Lesecq, S., Debicki, O., Mareau, N., Foucault, J., Correvon, M., & 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 (Vol. 1, pp. 664-671) Advance online publication. https://doi.org/10.5220/0006906906980705

@inproceedings{17258bb50f5d45b3b250f15158a99e19,

title = "Formal Verification for Advanced Sensing Applications: Data Pre-processing in the INSPEX System",

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.",

keywords = "Formal Modelling, Sensor Processing, Embedded Devices, Wearable Technology, assistive technology",

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

year = "2018",

month = jul,

day = "1",

doi = "10.5220/0006906906980705",

language = "English",

isbn = "978-989-758-320-9",

volume = "1",

pages = "664--671",

booktitle = "Proceedings of the 13th International Conference on Software Technologies",

note = "13th International Conference on Software Technologies, ICSOFT ; Conference date: 26-07-2018 Through 28-07-2018",

}

Razavi, J , Banach, R, Lesecq, S, Debicki, O, Mareau, N, Foucault, J, Correvon, M & 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. vol. 1, pp. 664-671, 13th International Conference on Software Technologies, Porto, Portugal, 26/07/18. https://doi.org/10.5220/0006906906980705

TY - GEN

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

AU - Razavi, Joseph

AU - Banach, Richard

AU - Lesecq, Suzanne

AU - Debicki, Olivier

AU - Mareau, Nicolas

AU - Foucault, Julie

AU - Correvon, Marc

AU - Dudnik, Gabriela

PY - 2018/7/1

Y1 - 2018/7/1

N2 - 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.

AB - 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.

KW - Formal Modelling

KW - Sensor Processing

KW - Embedded Devices

KW - Wearable Technology

KW - assistive technology

UR - http://www.icsoft.org/

U2 - 10.5220/0006906906980705

DO - 10.5220/0006906906980705

M3 - Conference contribution

SN - 978-989-758-320-9

VL - 1

SP - 664

EP - 671

BT - Proceedings of the 13th International Conference on Software Technologies

T2 - 13th International Conference on Software Technologies

Y2 - 26 July 2018 through 28 July 2018

ER -

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

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this