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] Safety Verification of a Data-driven Adaptive Cruise Controller
    Lin, Qin
    Verwer, Sicco
    Dolan, John
    2020 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2020, : 2146 - 2151
  • [4] Avionics Self-adaptive Software: Towards Formal Verification and Validation
    D'Souza, Meenakshi
    Kashi, Rajanikanth N.
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, ICDCIT 2019, 2019, 11319 : 3 - 23
  • [5] Formal verification of the island tunnel controller using multiway decision graphs
    Zhou, Z
    Song, X
    Tahar, S
    Cerny, E
    Corella, F
    Langevin, M
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 233 - 247
  • [6] An Event-Driven Adaptive Cruise Controller
    Jreijiry, Jessica
    Khaldi, Mohamad
    TRENDS IN APPLIED KNOWLEDGE-BASED SYSTEMS AND DATA SCIENCE, 2016, 9799 : 983 - 994
  • [7] Effect of Neural Controller on Adaptive Cruise Control
    Kuyumcu, Arden
    Sengor, Neslihan Serap
    ARTIFICIAL NEURAL NETWORKS AND MACHINE LEARNING - ICANN 2016, PT II, 2016, 9887 : 515 - 522
  • [8] A Research on the Adaptive Cruise Controller for Electric Bus
    Li, Xiaoliang
    Zhang, Xudong
    Zou, Yuan
    Zhang, Tao
    Wei, Shouyang
    PROCEEDINGS OF CHINA SAE CONGRESS 2018: SELECTED PAPERS, 2020, 574 : 415 - 432
  • [9] Reachability Analysis of Cooperative Adaptive Cruise Controller
    Kianfar, Roozbeh
    Falcone, Paolo
    Fredriksson, Jonas
    2012 15TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2012, : 1537 - 1542
  • [10] Towards Formal Verification of Orchestration Computations Using the K Framework
    AlTurki, Musab A.
    Alzuhaibi, Omar
    FM 2015: FORMAL METHODS, 2015, 9109 : 40 - 56
12345