Title :
Static analysis techniques for robotics software verification
Author :
Cortesi, Agostino ; Ferrara, P. ; Chaki, Nabendu
Author_Institution :
Univ. Ca Foscari, Venice, Italy
Abstract :
We overview the main semantics-based static analysis techniques for software verification: Data-flow analysis, Control-flow Analysis, Model Checking, and Abstract Interpretation. The complexity of control software, lying at the core of robotic systems, and the intensive use of numeric values pose several challenges for the formal verification of either functional or non-functional properties.
Keywords :
control engineering computing; data flow analysis; program verification; robot programming; abstract interpretation; control software complexity; control-flow analysis; data-flow analysis; formal verification; functional properties; model checking; nonfunctional properties; robotics software verification; semantics-based static analysis technique; Abstracts; Automata; Computer languages; Model checking; Semantics; Software; Abstract Interpretation; Formal Verification; Robotics Software; Static Analysis;
Conference_Titel :
Robotics (ISR), 2013 44th International Symposium on
Conference_Location :
Seoul
DOI :
10.1109/ISR.2013.6739742
