This paper summarizes the first steps toward an automatic framework, relying on Assume-Guarantee Contracts, for the verification of robotics applications. Classic HW and SW design and verification techniques are inadequate for robots due to the involved complexity. In this paper we advocate that contract-based methodologies allow safe problem decomposition easing system-level validation.

Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications

SPELLINI, STEFANO;Michele Lora;Franco Fummi
2018

Abstract

This paper summarizes the first steps toward an automatic framework, relying on Assume-Guarantee Contracts, for the verification of robotics applications. Classic HW and SW design and verification techniques are inadequate for robots due to the involved complexity. In this paper we advocate that contract-based methodologies allow safe problem decomposition easing system-level validation.
Contracts
Robot sensing system
Model checking
Tools
Safety
File in questo prodotto:
File Dimensione Formato  
08525885.pdf

solo utenti autorizzati

Descrizione: Work-in-Progress: Introducing Assume-Guarantee Contracts for Verifying Robotic Applications
Tipologia: Versione dell'editore
Licenza: Accesso ristretto
Dimensione 975.58 kB
Formato Adobe PDF
975.58 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11562/988616
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact