An Approach for Safety Analysis of Cyber-Physical System Based on Model Transformation

被引：5
|
作者：
Tuo, Mingfu [1 ,2 ]
Zhou, Xingshe [1 ]
Yang, Gang [1 ]
Fu, Ning [1 ]
机构：
[1] Northwestern Polytech Univ, Coll Comp Sci, Xian, Peoples R China
[2] Air Force Engn Univ, Sci Coll, Xian, Peoples R China
来源：
2016 IEEE INTERNATIONAL CONFERENCE ON INTERNET OF THINGS (ITHINGS) AND IEEE GREEN COMPUTING AND COMMUNICATIONS (GREENCOM) AND IEEE CYBER, PHYSICAL AND SOCIAL COMPUTING (CPSCOM) AND IEEE SMART DATA (SMARTDATA) | 2016年
关键词：
Cyber-Physical System; Hybrid System Description Language; Hybrid Program; Model Transformation;
D O I：
10.1109/iThings-GreenCom-CPSCom-SmartData.2016.140
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The Cyber-Physical System has been characterized by deep integration of computing process and physical process, heterogeneous composition, etc. So it is difficult to model Cyber-Physical System and to analyze its properties. An approach to model Cyber-Physical System and to analyze its safety based on multiple modeling languages transformation is put forward. We model the Cyber-Physical System by Hybrid System Description Language, and analyze its safety by Hybrid Program Language. The meta-model of Hybrid Program is established. The rules that automatically transform Hybrid System Description Language meta-model to Hybrid Program meta-model are provided. Result shows that this method can model Cyber-Physical System intuitively, meanwhile analyze its safety avoiding state space explosion in formal validation.
引用
收藏
页码：636 / 639
页数：4
相关论文
共 50 条
  • [1] SafeSoCPS: A Composite Safety Analysis Approach for System of Cyber-Physical Systems
    Ali, Nazakat
    Hussain, Manzoor
    Hong, Jang-Eui
    [J]. SENSORS, 2022, 22 (12)
  • [2] A Model-Based Approach to Security Analysis for Cyber-Physical Systems
    Bakirtzis, Georgios
    Carter, Bryan T.
    Elks, Carl R.
    Fleming, Cody H.
    [J]. 12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 496 - 503
  • [3] A Cyber-Physical System Design Approach
    Sveda, Miroslav
    Vrba, Radimir
    [J]. PROCEEDINGS OF THE SIXTH INTERNATIONAL CONFERENCE ON SYSTEMS (ICONS 2011), 2011, : 12 - 18
  • [4] Formalizing Cyber-Physical System Model Transformation via Abstract Interpretation
    Jarus, Natasha
    Sarvestani, Sahra Sedigh
    Hurson, Ali
    [J]. 201919TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2019), 2019, : 107 - 114
  • [5] Transformation-Based Approach to Security Verification for Cyber-Physical Systems
    Mili, Saoussen
    Nguyen, Nga
    Chelouah, Rachid
    [J]. IEEE SYSTEMS JOURNAL, 2019, 13 (04): : 3989 - 4000
  • [6] A Multicore Approach to Model-Based Analysis and Design of Cyber-Physical Systems
    Kanduri, Anil
    Rahmani, Amir-Mohammad
    Liljeberg, Pasi
    Wan, Kaiyu
    Man, Ka Lok
    Plosila, Juha
    [J]. 2013 INTERNATIONAL SOC DESIGN CONFERENCE (ISOCC), 2013, : 278 - 281
  • [7] A Cyber-Physical model for platoon system
    El-Zaher, Madeleine
    Dafflon, Baudouin
    Gechter, Franck
    [J]. 2015 9TH INTERNATIONAL CONFERENCE ON SOFTWARE, KNOWLEDGE, INFORMATION MANAGEMENT AND APPLICATIONS (SKIMA), 2015,
  • [8] Model Based Approach to Cyber-Physical Systems Status Monitoring
    Vodyaho, Alexander
    Abbas, Saddam
    Zhukova, Nataly
    Chervoncev, Michael
    [J]. COMPUTERS, 2020, 9 (02) : 1 - 26
  • [9] Lattice hydrodynamic model based traffic control: A transportation cyber-physical system approach
    Liu, Hui
    Sun, Dihua
    Liu, Weining
    [J]. PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2016, 461 : 795 - 801
  • [10] Security Analysis of Cyber-Physical System
    Li, Bo
    Zhang, Lichen
    [J]. MATERIALS SCIENCE, ENERGY TECHNOLOGY, AND POWER ENGINEERING I, 2017, 1839
12345