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.
CITATION STYLE
Cicala, G., Khalili, A., Metta, G., Natale, L., Pathak, S., Pulina, L., & Tacchella, A. (2016). Engineering approaches and methods to verify software in autonomous systems. In Advances in Intelligent Systems and Computing (Vol. 302, pp. 1683–1700). Springer Verlag. https://doi.org/10.1007/978-3-319-08338-4_121
Mendeley helps you to discover research relevant for your work.