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 条
  • [21] Formal verification of embedded logic controller specification with computer deduction in temporal logic
    Grobelna, Iwona
    PRZEGLAD ELEKTROTECHNICZNY, 2011, 87 (12A): : 47 - 50
  • [22] SMT-based Formal Verification of Synchronous Reactive Model for Zone Controller
    Li T.-F.
    Sun J.-F.
    Lv X.-J.
    Chen X.
    Liu J.
    Sun H.-Y.
    He J.-F.
    Ruan Jian Xue Bao/Journal of Software, 2023, 34 (07):
  • [23] Formal Verification of a Mechanical Ventilator using UPPAAL
    Cuartas, Jaime
    Cortes, David
    Betancourt, Joan S.
    Aranda, Jesus
    Garcia, Jose I.
    Valencia, Andres M.
    Ortiz, James
    PROCEEDINGS OF THE 9TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2023, 2023, : 2 - 13
  • [24] Formal verification of cP systems using Coq
    Yezhou Liu
    Radu Nicolescu
    Jing Sun
    Journal of Membrane Computing, 2021, 3 : 205 - 220
  • [25] Learning Through Imitation by Using Formal Verification
    Raviv, Avraham
    Bronshtein, Eliya
    Reginiano, Or
    Aluf-Medina, Michelle
    Kugler, Hillel
    SOFSEM 2023: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2023, 13878 : 342 - 355
  • [26] Formal verification of cP systems using Coq
    Liu, Yezhou
    Nicolescu, Radu
    Sun, Jing
    JOURNAL OF MEMBRANE COMPUTING, 2021, 3 (03) : 205 - 220
  • [27] Improving Reliability of Myocontrol Using Formal Verification
    Guidotti, Dario
    Leofante, Francesco
    Tacchella, Armando
    Castellini, Claudio
    IEEE TRANSACTIONS ON NEURAL SYSTEMS AND REHABILITATION ENGINEERING, 2019, 27 (04) : 564 - 571
  • [28] An Efficient Approach Towards Formal Verification of Mixed Signals Using Feed-Forward Neural Network
    Vidhya, D. S.
    Ramachandra, Manjunath
    CYBERNETICS AND AUTOMATION CONTROL THEORY METHODS IN INTELLIGENT ALGORITHMS, 2019, 986 : 31 - 39
  • [29] Towards establishing formal verification and inductive code synthesis in the PLC domain
    Weiss, Matthias
    Marks, Philipp
    Maschler, Benjamin
    White, Dustin
    Kesseli, Pascal
    Weyrich, Michael
    2021 IEEE 19TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2021,
  • [30] Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework
    Wang, Xiaobing
    Yang, Kun
    Wang, Yanmei
    Zhao, Liang
    Shu, Xinfeng
    STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD (SOFL+MSVL 2019), 2020, 12028 : 73 - 87
12345