Automatic software verification for robotics

被引：0
|
作者：
Mantovani, Jacopo [1 ]
机构：
[1] Univ Genoa, DIST, I-16145 Genoa, Italy
来源：
AI COMMUNICATIONS | 2008年 / 21卷 / 04期
关键词：
Model Checking; software; robotics;
D O I：
10.3233/AIC-2008-0426
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
This thesis investigates the application of novel software verification techniques to robotic systems. Control software lies at the core of these systems, and its complexity poses several challenges to the verification task, among which the intensive use of numeric values and constraints, and the manipulation of data structures. This thesis puts forward a Model Checking procedure specifically targeted for control software that manipulates numeric values, arithmetic constraints, and data structures such as arrays and matrices. It also demonstrates the effectiveness of this procedure in practice, when applied to robotic systems.
引用
收藏
页码：263 / 264
页数：2
相关论文
共 50 条
  • [1] Software verification of redundancy in neuro-evolutionary robotics
    Teo, J
    Abbass, HA
    AI 2003: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2003, 2903 : 302 - 314
  • [2] Automatic formal verification of DSP software
    Currie, DW
    Hu, AJ
    Rajan, S
    Fujita, M
    37TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2000, 2000, : 130 - 135
  • [3] Automatic Verification of Linear Controller Software
    Pajic, Miroslav
    Park, Junkil
    Lee, Insup
    Pappas, George J.
    Sokolsky, Oleg
    2015 PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2015, : 217 - 226
  • [4] Towards Automatic Synthesis of Software Verification Tools
    Rybalchenko, Andrey
    PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, 2011, : 3 - 3
  • [5] Towards automatic verification of embedded control software
    Bauer, N
    Huuck, R
    SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 375 - 383
  • [6] Automatic Formal Verification of Software: Fundamental Concepts
    Hu, Alan J.
    2009 INTERNATIONAL CONFERENCE ON COMMUNICATIONS, CIRCUITS AND SYSTEMS PROCEEDINGS, VOLUMES I & II: COMMUNICATIONS, NETWORKS AND SIGNAL PROCESSING, VOL I/ELECTRONIC DEVICES, CIRUITS AND SYSTEMS, VOL II, 2009, : 1155 - 1159
  • [7] Automatic verification of strongly dynamic software systems
    Dor, N.
    Field, J.
    Gopan, D.
    Lev-Ami, T.
    Loginov, A.
    Manevich, R.
    Ramalingam, G.
    Reps, T.
    Rinetzky, N.
    Sagiv, M.
    Wilhelm, R.
    Yahav, E.
    Yorsh, G.
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 82 - 92
  • [8] Formal verification of SystemC by automatic hardware/software partitioning
    Kroening, D
    Sharygina, N
    THIRD ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2005, : 101 - 110
  • [9] Automatic generation of assumptions for modular verification of software specifications
    de la Riva, Claudio
    Tuya, Javier
    JOURNAL OF SYSTEMS AND SOFTWARE, 2006, 79 (09) : 1324 - 1340
  • [10] Automatic test software of verification and validation for simulation system
    2000, Acta Simul System Sinica, Beijing, China (12):
12345