Model-based validation and verification of autonomous networked vehicles

被引:0
|
作者
Sapronov, Leonid [1 ]
Bose, Prasanta [1 ]
机构
[1] Stanford Univ, Stanford, CA 94305 USA
来源
2005 IEEE Aerospace Conference, Vols 1-4 | 2005年
关键词
D O I
暂无
中图分类号
V [航空、航天];
学科分类号
08 ; 0825 ;
摘要
Validation and verification (V&V) is an integral part of system design that allows the designer to establish the correctness of a system as well as analyze its robustness in the presence of disturbances and failures. V&V is especially critical in the development of autonomous vehicles. The pursuer-evader problem is a particularly challenging topic in autonomous vehicle research because it includes several different problems such as path planning, target assignment, and collision avoidance. In this paper, we describe the foundation of a model-based V&V framework that enables validation and verification of certain aspects of the performance of autonomous pursuer vehicles. In particular, we concentrate on the verification and analysis of a collision-avoidance strategy employed to prevent collisions between pursuers. The work presented in this paper was conducted at the Lockheed Martin Advanced Technology Center and is part of the ongoing VVIACS project (Validation & Verification of Intelligent and Adaptive Control Systems)[1].
引用
收藏
页码:530 / 536
页数:7
相关论文
共 50 条
  • [1] Formal Verification of Autonomous Vehicles: Bridging the Gap between Model-Based Design and Model Checking
    Rao A.
    Wang Y.
    SAE International Journal of Advances and Current Practices in Mobility, 2023, 6 (02): : 814 - 826
  • [2] Symbolic Model-based Design and Generation of Logical Scenarios for Autonomous Vehicles Validation
    Bannour, Boutheina
    Niol, Julien
    Crisafulli, Paolo
    2021 32ND IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2021, : 215 - 222
  • [3] Trajectory Verification for Networked and Autonomous Vehicles using Temporal Logic and Model Checking
    Kloock, Maximilian
    He, Qingyun
    Kowalewski, Stefan
    Alrifaee, Bassam
    2021 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE (ITSC), 2021, : 244 - 250
  • [4] MODEL-BASED VALIDATION AND VERIFICATION OF ANOMALIES IN LEGISLATION
    Strahonja, Vjeran
    JOURNAL OF INFORMATION AND ORGANIZATIONAL SCIENCES, 2006, 30 (02) : 295 - 303
  • [5] MODEL-BASED MANEUVERING CONTROLS FOR AUTONOMOUS UNDERWATER VEHICLES
    HEALEY, AJ
    JOURNAL OF DYNAMIC SYSTEMS MEASUREMENT AND CONTROL-TRANSACTIONS OF THE ASME, 1992, 114 (04): : 614 - 622
  • [6] Autonomous Driving Validation with Model-Based Dictionary Clustering
    Goffinet, Etienne
    Lebbah, Mustapha
    Azzag, Hanane
    Giraldi, Loic
    MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES: APPLIED DATA SCIENCE TRACK, ECML PKDD 2020, PT IV, 2021, 12460 : 323 - 338
  • [7] Model-Based Verification and Validation of the SMAP Uplink Processes
    Khan, M. Omair
    Dubos, Gregory F.
    Tirona, Joseph
    Standley, Shaun
    2013 IEEE AEROSPACE CONFERENCE, 2013,
  • [8] Verification and Validation Approaches for Model-based Software Engineering
    Schumann, Johann
    Goseva-Popstojanova, Katerina
    2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 514 - 518
  • [9] Early verification and validation using model-based design
    Murphy, Brett
    Wakefield, Amory
    EDN, 2009, 54 (13) : 39 - 41
  • [10] A Methodology for Model-Based Validation of Autonomous Vehicle Systems
    Hejase, Mohammad
    Barbier, Mathieu
    Ozguner, Umit
    Ibanez-Guzman, Javier
    2020 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2020, : 2097 - 2103