Towards Formal Verification of Adaptive Cruise Controller using SpaceEx

被引：0
|
作者：
Mishra, Ambuj [1 ]
Roy, Subir K. [1 ]
机构：
[1] IIIT Bangalore, Bangalore, Karnataka, India
来源：
2016 INTERNATIONAL CONFERENCE ON VLSI SYSTEMS, ARCHITECTURES, TECHNOLOGY AND APPLICATIONS (VLSI-SATA) | 2016年
关键词：
Hybrid Systems; Formal Verification; Hybrid Automata;
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
A formal mathematical model of an Adaptive Cruise Controller (ACC) in SpaceEx is presented with a view to formally verify it to ensure its safety critical behavior. SpaceEx (an academic open source tool) is a hybrid systems modeling and verification platform which employs efficient implementation of reachability and safety verification algorithms which are scalable under certain assumptions, to circumvent the difficult problem of formal verification of hybrid systems. In this paper, application of SpaceEx in the comprehensive verification of an Adaptive Cruise Controller for automobiles is presented.
引用
收藏
页数：6
相关论文
共 50 条
  • [41] Towards Formal Verification of a TPM Software Stack
    Ziani, Yani
    Kosmatov, Nikolai
    Loulergue, Frederic
    Perez, Daniel Gracia
    Bernier, Teo
    INTEGRATED FORMAL METHODS, IFM 2023, 2024, 14300 : 93 - 112
  • [42] Towards formal verification of web service composition
    Rouached, Mohsen
    Perrin, Olivier
    Godart, Claude
    BUSINESS PROCESS MANAGEMENT, PROCEEDINGS, 2006, 4102 : 257 - 273
  • [43] Towards formal verification of ASIP based on HDPN
    Gao, Yanyan
    Li, Xi
    Ma, Hongxing
    ICECT: 2009 INTERNATIONAL CONFERENCE ON ELECTRONIC COMPUTER TECHNOLOGY, PROCEEDINGS, 2009, : 26 - 32
  • [44] Towards Formal Evaluation and Verification of Probabilistic Design
    Lee, Nian-Ze
    Jiang, Jie-Hong R.
    2014 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2014, : 340 - 347
  • [45] Towards Formal Verification of Optimized and Industrial Multipliers
    Mahzoon, Alireza
    Grosse, Daniel
    Scholl, Christoph
    Drechsler, Rolf
    PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), 2020, : 544 - 549
  • [46] Towards a formal verification of an authentication protocol using non-monotonic logic
    Das, Manik Lal
    Narasimhan, V. Lakshmi
    PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: NEW GENERATIONS, 2008, : 545 - 550
  • [47] Dynamic GSPNs: formal definition, transformation towards GSPNs and formal verification
    Tigane, Samir
    Kahloul, Laid
    Baarir, Souheib
    Bourekkache, Samir
    PROCEEDINGS OF THE 13TH EAI INTERNATIONAL CONFERENCE ON PERFORMANCE EVALUATION METHODOLOGIES AND TOOLS ( VALUETOOLS 2020), 2020, : 164 - 171
  • [48] Towards a Digital Highway Code using Formal Modelling and Verification of Timed Automata
    Alves, Gleifer Vaz
    Schwammberger, Maike
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (371): : 77 - 85
  • [49] Full state proportional controller for Adaptive Cruise Control System
    Dlugosz, Marek
    Zhang, Guangming
    2019 24TH INTERNATIONAL CONFERENCE ON METHODS AND MODELS IN AUTOMATION AND ROBOTICS (MMAR), 2019, : 618 - 624
  • [50] A hybrid MPC approach to the design of a smart adaptive cruise controller
    Corona, Daniele
    Lazar, Mircea
    De Schutter, Bart
    Heemels, Maurice
    PROCEEDINGS OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON CONTROL APPLICATIONS, VOLS 1-4, 2006, : 90 - +
12345