Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems

被引：7
|
作者：
Spichkova, Maria [1 ]
Zamansky, Anna [2 ]
Farchi, Eitan [3 ]
机构：
[1] RMIT Univ, Melbourne, Vic, Australia
[2] Univ Haifa, IL-31999 Haifa, Israel
[3] IBM Res Lab, Haifa, Israel
来源：
2015 IEEE 21ST INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS) | 2015年
关键词：
Testing; human factors; cyber-physical systems; REFINEMENT;
D O I：
10.1109/ICPADS.2015.115
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The ability to capture different levels of abstraction in a system model is especially important for remote integration, testing/verification, and manufacturing of cyber-physical systems (CPSs). However, the complexity of modelling and testing of CPSs makes these processes extremely prone to human error. In this paper we present our ongoing work on introducing human-centred considerations into modelling and testing of CPSs, which allow for agile iterative refinement processes of different levels of abstraction when errors are discovered or missing information is completed.
引用
收藏
页码：847 / 851
页数：5
相关论文
共 50 条
  • [21] Modelling and Analysing Resilient Cyber-Physical Systems
    Bennaceur, Amel
    Ghezzi, Carlo
    Tei, Kenji
    Kehrer, Timo
    Weyns, Danny
    Calinescu, Radu
    Dustdar, Schahram
    Hu, Zhenjiang
    Honiden, Shinichi
    Ishikawa, Fuyuki
    Jin, Zhi
    Kramer, Jeffrey
    Litoiu, Marin
    Loreti, Michele
    Moreno, Gabriel
    Muller, Hausi
    Nenzi, Laura
    Nuseibeh, Bashar
    Pasquale, Liliana
    Reisig, Wolfgang
    Schmidt, Heinz
    Tsigkanos, Christos
    Zhao, Haiyan
    2019 IEEE/ACM 14TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2019), 2019, : 70 - 76
  • [22] Modelling Cyber-Physical Security in Healthcare Systems
    Hannou, Fatma-Zohra
    Atigui, Faten
    Lammari, Nadira
    Cherfi, Samira Si-said
    INTELLIGENT INFORMATION SYSTEMS, CAISE FORUM 2021, 2021, 424 : 100 - 108
  • [23] Modelling Human and Artificial Entities for Cyber-Physical Production and Human Systems Cooperation
    Zambrano-Rey, Gabriel
    Pacaux-Lemoine, Marie-Pierre
    11TH INTERNATIONAL WORKSHOP ON SERVICE ORIENTED, HOLONIC AND MULTI-AGENT MANUFACTURING SYSTEMS FOR INDUSTRY OF THE FUTURE, SOHOMA 2021, 2022, 1034 : 213 - 227
  • [24] Teaching the Fundamentals of the Modelling of Cyber-Physical Systems
    Van Tendeloo, Yentl
    Vangheluwe, Hans
    2016 SYMPOSIUM ON THEORY OF MODELING AND SIMULATION (TMS-DEVS), 2016,
  • [25] Towards a Rigorous Approach for Verifying Cyber-Physical Systems Against Requirements
    Bouskela, Daniel
    Thuy Nguyen
    Jardin, Audrey
    2015 IEEE ELECTRICAL POWER AND ENERGY CONFERENCE (EPEC), 2015, : 250 - 255
  • [26] Cyber-physical systems as sociotechnical systems: a view towards human–technology interaction
    Kant V.
    Cyber-Physical Systems, 2016, 2 (1-4) : 75 - 109
  • [27] Towards Sustainable Cyber-Physical Manufacturing Systems
    Brennan, Robert W.
    Lyu, Guolin
    IFAC PAPERSONLINE, 2024, 58 (03): : 345 - 350
  • [28] 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
  • [29] Towards Social Cyber-physical Production Systems
    Jing X.
    Yao X.-F.
    Zidonghua Xuebao/Acta Automatica Sinica, 2019, 45 (04): : 637 - 656
  • [30] Towards the Maintenance Principles of Cyber-Physical Systems
    Ruiz-Arenas, Santiago
    Horvath, Imre
    Mejia-Gutierrez, Ricardo
    Opiyo, Eliab Z.
    STROJNISKI VESTNIK-JOURNAL OF MECHANICAL ENGINEERING, 2014, 60 (12): : 815 - 831
12345