CSD&M 2018
  • About
  • Agenda
  • Sponsors
  • Registration
  • CFPapers
  • Organizers
  • Location

“Formal Methods in Systems Integration: Deployment of Formal Techniques in INSPEX”

13:40 - 14:00
Joseph Razavi / The University of Manchester  

Abstract: Inspired by the abilities of contemporary autonomous vehicles to navigate with a high degree of effectiveness, the INSPEX Project aims to create a minaturised smart obstacle detection system, which could find use in a wide variety of leading edge smart applications. The primary use case focused on in the project is producing an advanced prototype for a device which can be attached to a visually impaired or blind (VIB) person’s white cane, and which, through the integration of a variety of minaturised sensors, and of the processing of their data via sophisticated algorithms, can offer the VIB user greater precision of information about their environment. The increasing complexity of such systems creates increasing challenges to assure their correct operation, inviting the introduction of formal techniques to aid in maximising system dependability. However, the major challenge to building such systems resides at the hardware end of the development. This impedes the routine application of top-down formal methods approaches. Some ingenuity must be brought to bear, in order that normally mutually hostile formal and mainstream approaches can contribute positively towards system dependability, rather than conflicting unproductively. This aspect is illustrated using two strands of the INSPEX Project.


Recent Posts

  • CALL FOR PRESENTATION – Startups
  • CALL FOR PAPERS – Submission Procedure
  • Scope and topics of CSD&M
  • The Program Committee
  • The Organizing Committee

Recent Comments

  • ActionScheduler on woocommerce_update_marketplace_suggestions
  • ActionScheduler on woocommerce_update_marketplace_suggestions
  • ActionScheduler on woocommerce_update_marketplace_suggestions

Archives

  • April 2018
  • December 2017
  • November 2017
  • August 2017
  • December 2016

Categories

  • Blog
  • Non classé
    General Terms
@ 2018 Cesames