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] Runtime Verification for Distributed Cyber-Physical Systems
    Momtaz, Anik
    2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), 2021, : 349 - 350
  • [3] 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)
  • [4] Towards Foundational Verification of Cyber-physical Systems
    Malecha, Gregory
    Ricketts, Daniel
    Alvarez, Mario M.
    Lerner, Sorin
    2016 SCIENCE OF SECURITY FOR CYBER-PHYSICAL SYSTEMS WORKSHOP (SOSCYPS), 2016,
  • [5] Towards Verification of Uncertain Cyber-Physical Systems
    Radojicic, Carna
    Grimm, Christoph
    Jantsch, Axel
    Rathmair, Michael
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2017, (247): : 1 - 17
  • [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] BraceAssertion: Runtime Verification of Cyber-Physical Systems
    Zheng, Xi
    Julien, Christine
    Podorozhny, Rodion
    Cassez, Franck
    2015 IEEE 12th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), 2015, : 298 - 306
  • [8] 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,
  • [9] Cyber-physical Systems
    Wolf, Wayne
    COMPUTER, 2009, 42 (03) : 88 - 89
  • [10] 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
12345