Formal Modeling of Testing Software for Cyber-Physical Automation Systems

被引：9
|
作者：
Buzhinsky, Igor [1 ]
Pang, Cheng [2 ]
Vyatkin, Valeriy [1 ,2 ,3 ]
机构：
[1] ITMO Univ, Comp Technol Lab, St Petersburg, Russia
[2] Aalto Univ, Dept Elect Engn & Automat, Espoo, Finland
[3] Lulea Univ Technol, Dept Comp Sci Elect & Space Engn, Lulea, Sweden
来源：
2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3 | 2015年
关键词：
D O I：
10.1109/Trustcom.2015.648
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The paper presents a framework which uses formal models for testing control software for industrial automation systems. The formalism called Net Condition/Event Systems (NCES) is applied to model the program under test, along with the system under control (plant) and the testing environment. The benefits of using the framework include the opportunities to test systems with time delays without the need to wait, to test parameterized sets of systems with a single execution of a test suite, and to check test suites for correctness. The use of the framework is illustrated on a simple system consisting of a lab-scale plant and a control application for it.
引用
收藏
页码：301 / 306
页数：6
相关论文
共 50 条
  • [1] Formal Analysis of Control Software for Cyber-Physical Systems
    Herrmann, Peter
    Blech, Jan Olaf
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2017, : 563 - 564
  • [2] Modeling Distributed Automation Systems in Cyber-Physical View
    Dai, Wenbin
    Chen, Cailian
    Vyatkin, Valeriy
    Guan, Xinping
    [J]. PROCEEDINGS OF THE 2015 10TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, 2015, : 989 - 994
  • [3] A Layered Formal Framework for Modeling of Cyber-Physical Systems
    Ungureanu, George
    Sander, Ingo
    [J]. PROCEEDINGS OF THE 2017 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2017, : 1715 - 1720
  • [4] Formal modeling and control of cyber-physical manufacturing systems
    Yu, Zhenhua
    Ouyang, Jie
    Li, Sisi
    Peng, Xia
    [J]. ADVANCES IN MECHANICAL ENGINEERING, 2017, 9 (10)
  • [5] Architecture of Software Platform for Testing Software of Cyber-Physical Systems
    Golosovskiy, Mikhail
    Tobin, Dmitriy
    Balandov, Mikhail
    Khlopotov, Roman
    [J]. DATA SCIENCE AND ALGORITHMS IN SYSTEMS, 2022, VOL 2, 2023, 597 : 488 - 494
  • [6] Cyber-physical automation systems modelling with IEC 61499 for their formal verification
    Xavier, Midhun
    Patil, Sandeep
    Vyatkin, Valeriy
    [J]. 2021 IEEE 19TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2021,
  • [7] Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems
    Dokhanchi, Adel
    Hoxha, Bardh
    Fainekos, Georgios
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2018, 17 (02)
  • [8] Hybrid Automata for Formal Modeling and Verification of Cyber-Physical Systems
    Krishna, Shankara Narayanan
    Trivedi, Ashutosh
    [J]. JOURNAL OF THE INDIAN INSTITUTE OF SCIENCE, 2013, 93 (03) : 419 - 440
  • [9] Design Automation for Cyber-Physical Systems
    Zhu, Qi
    Sangiovanni-Vincentelli, Alberto
    Hu, Shiyan
    Li, Xin
    [J]. PROCEEDINGS OF THE IEEE, 2018, 106 (09) : 1479 - 1483
  • [10] Formal Verification of Cyber-Physical Automation Systems Modelled with Timed Block Diagrams
    Drozdov, Dmitrii
    Patil, Sandeep
    Dubinin, Victor
    Vyatkin, Valeriy
    [J]. PROCEEDINGS 2016 IEEE 25TH INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), 2016, : 316 - 321
12345