We present three computer-augmented software engineering approaches to ensure dependability at different levels of control architectures in autonomous robots. For each approach, we outline the methodological framework, our current achievements, and open issues. Albeit our results are still preliminary, we believe that furthering research along these lines can provide cost-effective techniques to make autonomous robots safe and thus fit for commercial purposes.

Engineering approaches and methods to verify software in autonomous systems

CICALA, GIUSEPPE;KHALILI, ALI;METTA, GIORGIO;PATHAK, SHASHANK;PULINA, LUCA;TACCHELLA, ARMANDO
2014

Abstract

We present three computer-augmented software engineering approaches to ensure dependability at different levels of control architectures in autonomous robots. For each approach, we outline the methodological framework, our current achievements, and open issues. Albeit our results are still preliminary, we believe that furthering research along these lines can provide cost-effective techniques to make autonomous robots safe and thus fit for commercial purposes.
File in questo prodotto:
File Dimensione Formato  
UnigeIitUniss_Robotics.pdf

accesso chiuso

Tipologia: Documento in Post-print
Dimensione 429.56 kB
Formato Adobe PDF
429.56 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/11567/863761
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 7
  • ???jsp.display-item.citation.isi??? 0
social impact