Robust Design and Validation of Cyber-physical Systems

被引:0
|
作者
Sood, Surinder [1 ]
Malik, Avinash [2 ]
Roop, Partha [2 ]
机构
[1] Univ Auckland, Auckland, New Zealand
[2] Engn Block 1-Bldg 401 401-816,20 Symonds ST, Auckland 1010, New Zealand
关键词
Cyber-physical system; synthesis; co-simulation; robustness criteria; SIMULATION; TOOLS;
D O I
10.1145/3362098
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Co-simulation-based validation of hardware controllers adjoinedwith plant models, with continuous dynamics, is an important step inmodel-based design of controllers for Cyber-physical Systems (CPS). Co-simulation suffers from many problems, such as timing delays, skew, race conditions, and so on, making it unsuitable for checking timing properties of CPS. In our approach to validation of controllers, synthesised from their models, the synthesised controller is adjoined with a synthesised hardware plant unit. The synthesised plant and controller are then executed synchronously and Metric Interval Temporal Logic (MITL) properties are validated on the closed-loop system. The clock period is chosen, using robustness estimates, such that all timing properties that hold on the controller guiding the discretised plant model also hold on the original case of the continuous-time plant model guided by the controller. Benchmark results show that real-time MITL properties that are vacuously satisfied or violated due to co-simulation artefacts hold correctly in the proposed closed-loop validation framework.
引用
收藏
页数:21
相关论文
共 50 条
  • [41] ROBUST FILTERING OF DISTRIBUTED CYBER-PHYSICAL SYSTEMS WITH CYBER-ATTACK DETECTION
    Wang, Hongwei
    Zheng, Xi
    2024 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH, AND SIGNAL PROCESSING WORKSHOPS, ICASSPW 2024, 2024, : 294 - 298
  • [42] Robust Reasoning for Autonomous Cyber-Physical Systems in Dynamic Environments
    Hakansson, Anne
    Saad, Aya
    Anand, Akhil
    Gjaerum, Vilde
    Robinson, Haakon
    Seel, Katrine
    KNOWLEDGE-BASED AND INTELLIGENT INFORMATION & ENGINEERING SYSTEMS (KSE 2021), 2021, 192 : 3966 - 3978
  • [43] Robust Testing for Cyber-Physical Systems using Reinforcement Learning
    Qin, Xin
    Arechiga, Nikos
    Deshmukh, Jyotirmoy
    Best, Andrew
    2023 21ST ACM-IEEE INTERNATIONAL SYMPOSIUM ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN, MEMOCODE, 2023, : 36 - 46
  • [44] Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems
    Bortolussi, Luca
    Cairoli, Francesca
    Carbone, Ginevra
    Franchina, Francesco
    Regolin, Enrico
    IFAC PAPERSONLINE, 2021, 54 (05): : 223 - 228
  • [45] Perceptions on the State of the Art in Verification and Validation in Cyber-Physical Systems
    Zheng, Xi
    Julien, Christine
    Kim, Miryung
    Khurshid, Sarfraz
    IEEE SYSTEMS JOURNAL, 2017, 11 (04): : 2614 - 2627
  • [46] On Early Statistical Requirements Validation of Cyber-Physical Space Systems
    Tsigkanos, Christos
    Li, Nianyu
    Jin, Zhi
    Hu, Zhenjiang
    Ghezzi, Carlo
    2018 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), 2018, : 13 - 18
  • [47] Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
    Laranjeiro, Nuno
    Gomez, Camilo
    Schiavone, Enrico
    Montecchi, Leonardo
    Carvalho, Manoel J. M.
    Lollinik, Paolo
    Micskei, Zoltan
    2019 9TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 2019, : 165 - 166
  • [48] The Concept of the Embody Reliability in Design of Cyber-physical Systems
    Riznyk, Volodymyr
    2015 XI INTERNATIONAL CONFERENCE ON PERSPECTIVE TECHNOLOGIES AND METHODS IN MEMS DESIGN (MEMSTECH), 2015, : 113 - 115
  • [49] Towards automated engineering and validation of cyber-physical energy systems
    Andrén F.P.
    Strasser T.I.
    Resch J.
    Schuiki B.
    Schöndorfer S.
    Panholzer G.
    Brandauer C.
    Energy Informatics, 2019, 2 (Suppl 1)
  • [50] Data Validation and Correction for Resiliency in Mobile Cyber-Physical Systems
    Mussard-Afcari, Yasmeen
    Rawat, Danda B.
    Garuba, Moses
    2019 16TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2019,