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 条
  • [31] Towards the formal verification of electronic commerce protocols
    Bolignano, D
    10TH COMPUTER SECURITY FOUNDATIONS WORKSHOP, PROCEEDINGS, 1997, : 133 - 146
  • [32] A formal approach towards systems modeling and verification
    Bhattacharyya, J
    Chaudhuri, AD
    Bhattacharya, S
    IEEE TENCON 2003: CONFERENCE ON CONVERGENT TECHNOLOGIES FOR THE ASIA-PACIFIC REGION, VOLS 1-4, 2003, : 178 - 182
  • [33] Towards Formal Evaluation and Verification of Probabilistic Design
    Lee, Nian-Ze
    Jiang, Jie-Hong R.
    IEEE TRANSACTIONS ON COMPUTERS, 2018, 67 (08) : 1202 - 1216
  • [34] REFINER: Towards Formal Verification of Model Transformations
    Wijs, Anton
    Engelen, Luc
    NASA FORMAL METHODS, NFM 2014, 2014, 8430 : 258 - 263
  • [35] 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
  • [36] Towards Formal Verification of Small and Micro UAS
    Veres, Sandor M.
    McAree, Owen
    Aitken, Jonathan M.
    2016 EUROPEAN CONTROL CONFERENCE (ECC), 2016, : 433 - 440
  • [37] Towards Formal Verification of Freeway Traffic Control
    Mitsch, Stefan
    Loos, Sarah M.
    Platzer, Andre
    2012 IEEE/ACM THIRD INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2012), 2012, : 171 - 180
  • [38] Towards Smart Industrial Hardware Formal Verification
    Zhen, Hui-Ling
    Kai, Shixiong
    Yin, Lihao
    Li, Haoyang
    Li, Min
    Tang, Zhentao
    Huang, Junhua
    Lian, Yingzhao
    Yuan, Mingxuan
    Huang, Yu
    2024 INTERNATIONAL SYMPOSIUM OF ELECTRONICS DESIGN AUTOMATION, ISEDA 2024, 2024, : 343 - 344
  • [39] POSTER: Towards Formal Verification of DIFC Policies
    Yang, Zhi
    Yin, Lihua
    Duan, Miyi
    Jin, Shuyuan
    PROCEEDINGS OF THE 18TH ACM CONFERENCE ON COMPUTER & COMMUNICATIONS SECURITY (CCS 11), 2011, : 873 - 875
  • [40] Towards formal verification of IoT protocols: A Review
    Hofer-Schmitz, Katharina
    Stojanovic, Branka
    COMPUTER NETWORKS, 2020, 174
12345