Cyber/Physical Co-Verification for Developing Reliable Cyber-Physical Systems

被引：2
作者：
Zhang, Yu [1 ,2 ]
Xie, Fei [2 ]
Dong, Yunwei [1 ]
Zhou, Xingshe [1 ]
Ma, Chunyan [3 ]
机构：
[1] Northwestern Polytech Univ, Sch Comp Sci, Xian 710072, Peoples R China
[2] Portland State Univ, Dept Comp Sci, Portland, OR 97207 USA
[3] Northwestern Polytech Univ, Sch Software & Microelect, Xian 710072, Peoples R China
来源：
2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC) | 2013年
基金：
美国国家科学基金会;
关键词：
Cyber-Physical Systems; Co-Verification; Model Checking; Symbolic Execution; HYBRID SYSTEMS; CHECKING;
D O I：
10.1109/COMPSAC.2013.88
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Cyber-Physical Systems (CPS) tightly integrate cyber and physical components and transcend discrete and continuous domains. It is greatly desired that the physical components being controlled and the software implementation of control algorithms can be verified together. We present an efficient approach to reachability analysis of Hybrid Automata Pushdown System (HAPS) models for cyber/physical co-verification of CPS. We have realized this approach and applied it to real-world control systems. The evaluation has shown that HAPS is an effective model for co-verification of CPS and our approach has major potential in verifying system-level properties of CPS, therefore improving the reliability of CPS.
引用
收藏
页码：539 / 548
页数：10
相关论文
共 50 条
  • [1] A Framework for Developing Cyber-Physical Systems
    He, Xudong
    Dong, Zhijiang
    Yin, Heng
    Fu, Yujian
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2017, 27 (9-10) : 1361 - 1386
  • [2] Formal Verification of Control Modules in Cyber-Physical Systems
    Grobelna, Iwona
    SENSORS, 2020, 20 (18) : 1 - 23
  • [3] Skill-Based Verification of Cyber-Physical Systems
    Knuppel, Alexander
    Jatzkowski, Inga
    Nolte, Marcus
    Thum, Thomas
    Runge, Tobias
    Schaefer, Ina
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2020), 2020, 12076 : 203 - 223
  • [4] IsaVODEs: Interactive Verification of Cyber-Physical Systems at Scale
    Huerta y Munive, Jonathan Julian
    Foster, Simon
    Gleirscher, Mario
    Struth, Georg
    Laursen, Christian Pardillo
    Hickman, Thomas
    JOURNAL OF AUTOMATED REASONING, 2024, 68 (04)
  • [5] Statistical Verification of Hyperproperties for Cyber-Physical Systems
    Wang, Yu
    Zarei, Mojtaba
    Bonakdarpour, Borzoo
    Pajic, Miroslav
    ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (05)
  • [6] A Hybrid Approach to Cyber-Physical Systems Verification
    Kumar, Pratyush
    Goswami, Dip
    Chakraborty, Samarjit
    Annaswamy, Anuradha
    Lampka, Kai
    Thiele, Lothar
    2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 688 - 696
  • [7] Modeling Cyber-Physical Systems for Automatic Verification
    Driouich, Youssef
    Parente, Mimmo
    Tronci, Enrico
    2017 14TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD), 2017,
  • [8] Cyber-physical Systems
    Wolf, Wayne
    COMPUTER, 2009, 42 (03) : 88 - 89
  • [9] Cyber-Physical Systems
    Letichevsky A.A.
    Letychevskyi O.O.
    Skobelev V.G.
    Volkov V.A.
    Letichevsky, A.A. (aaletichevsky78@gmail.com), 2017, Springer Science and Business Media, LLC (53) : 821 - 834
  • [10] Security Verification for Cyber-Physical Systems Using Model Checking
    Chan, Ching-Chieh
    Yang, Cheng-Zen
    Fan, Chin-Feng
    IEEE ACCESS, 2021, 9 : 75169 - 75186
12345