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