Engineering Approaches and Methods to Verify Software in Autonomous Systems

  • G. Cicala
  • A. Khalili
  • G. Metta
  • L. Natale
  • S. Pathak
  • L. Pulina
  • A. Tacchella
Conference paper

DOI: 10.1007/978-3-319-08338-4_121

Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 302)
Cite this paper as:
Cicala G. et al. (2016) Engineering Approaches and Methods to Verify Software in Autonomous Systems. In: Menegatti E., Michael N., Berns K., Yamaguchi H. (eds) Intelligent Autonomous Systems 13. Advances in Intelligent Systems and Computing, vol 302. Springer, Cham

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.

Keywords

Dependable control architectures Software verification and testing Autonomous robots 

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  • G. Cicala
    • 2
  • A. Khalili
    • 1
    • 2
  • G. Metta
    • 1
  • L. Natale
    • 1
  • S. Pathak
    • 1
    • 2
  • L. Pulina
    • 3
  • A. Tacchella
    • 2
  1. 1.iCub Facility, Istituto Italiano di Tecnologia (IIT)GenovaItaly
  2. 2.DIBRIS, Università degli Studi di GenovaGenovaItaly
  3. 3.POLCOMING, Università degli Studi di SassariSassariItaly

Personalised recommendations