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 条
  • [1] Formal verification of ECML hybrid models with spaceex
    Yoon, Sanghyun
    Yoo, Junbeom
    INFORMATION AND SOFTWARE TECHNOLOGY, 2017, 92 : 121 - 144
  • [2] Formal Verification of a MEMS Based Adaptive Cruise Control System
    Jairam, S.
    Lata, Kusum
    Roy, Subir K.
    Bhat, Navakanta
    NSTI NANOTECH 2008, VOL 3, TECHNICAL PROCEEDINGS: MICROSYSTEMS, PHOTONICS, SENSORS, FLUIDICS, MODELING, AND SIMULATION, 2008, : 611 - +
  • [3] Formal verification and controller redesign of power electronic converters
    Miranda, MVC
    Lima, AMN
    PROCEEDINGS OF THE IEEE-ISIE 2004, VOLS 1 AND 2, 2004, : 907 - 912
  • [4] Towards Formal Verification of Business Process using a Graphical Specification
    El Hichami, Outman
    El Mohajir, Badr Eddine
    Al Achhab, Mohammed
    Berrada, Ismail
    Oucheikh, Rachid
    2014 THIRD IEEE INTERNATIONAL COLLOQUIUM IN INFORMATION SCIENCE AND TECHNOLOGY (CIST'14), 2014, : 12 - 17
  • [5] Towards Formal Verification of Analog Mixed Signal Designs using SPICE Circuit Simulation Traces
    Lata, Kusum
    Roy, Subir K.
    Jamadagni, H. S.
    2009 1ST ASIA SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, 2009, : 162 - +
  • [6] A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control
    Dantas, Yuri Gil
    Nigam, Vivek
    Talcott, Carolyn
    2020 IEEE VEHICULAR NETWORKING CONFERENCE (VNC), 2020,
  • [7] AHB-Master Controller Formal Compliance Verification
    Nguyen Son Lam
    Nguyen Due Minh
    2014 IEEE FIFTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2014, : 340 - 345
  • [8] Towards the Formal Verification of Wigderson's Algorithm
    Phipathananunth, Siraphob
    COMPANION PROCEEDINGS OF THE 2023 ACM SIGPLAN INTERNATIONAL CONFERENCE ON SYSTEMS, PROGRAMMING, LANGUAGES, AND APPLICATIONS: SOFTWARE FOR HUMANITY, SPLASH COMPANION 2023, 2023, : 40 - 42
  • [9] Towards formal verification of IoT protocols: A Review
    Hofer-Schmitz, Katharina
    Stojanovic, Branka
    COMPUTER NETWORKS, 2020, 174
  • [10] 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
12345