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

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

doi:10.5220/0006906906640671

Cited by 1 publication

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In Lesecq et al, 6 there is a broad overview of the INSPEX Project from a medical instruments perspective. In Razavi et al 8 and Banach et al, 9 preliminary experience of the modelling of the data pathway was reported; this was subsequently extended to the lower level models included in the present paper. The paper 10 presents an overview of the project, and of early experience in the application of formal techniques, for a mixed commercial/technical audience.…”

Section: Section 11 Concludesmentioning

confidence: 83%

Formal methods by stealth: The INSPEX experience

Banach

Razavi

Debicki

et al. 2021

J Software Evolu Process

Self Cite

View full text Add to dashboard Cite

INSPEX is an INtegrated Smart sPatial EXploration system. It relies on a family of sensors, like automated vehicles do, to provide enough information to a digital system for it to make reliable inferences about the location of obstacles and other impediments in its environment. Unlike the automated vehicle case, INSPEX is minaturised, because it is intended for lightweight applications and for portable use by humans, for example, visually impaired persons navigating outdoors (among many similar use cases). The complexity of this hardware-focused system merited the introduction of formal methods during its (essentially conventionally structured) development. The aim was to improve the dependability of parts of the implemented system and to estimate system characteristics via modelling and calculation that could not be obtained experimentally within the scope of the project.The paper overviews the experience of the very much human-in-the-loop use of formal techniques in the INSPEX Project and focuses particularly on the human issues that impacted the cooperation between the conventional techniques and formal methods.

show abstract

Section: Section 11 Concludesmentioning

confidence: 83%