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
关键词
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 条
  • [41] A human-centred design approach for the development and conducting of maritime cyber resilience training
    Erlend Erstad
    Rory Hopcraft
    Avanthika Vineetha Harish
    Kimberly Tam
    WMU Journal of Maritime Affairs, 2023, 22 : 241 - 266
  • [42] A human-centred design approach for the development and conducting of maritime cyber resilience training
    Erstad, Erlend
    Hopcraft, Rory
    Harish, Avanthika Vineetha
    Tam, Kimberly
    WMU JOURNAL OF MARITIME AFFAIRS, 2023, 22 (02) : 241 - 266
  • [43] Operating cyber-physical systems with microservices: the s*IoT conceptual modelling approach
    Walch, Michael
    2018 7TH INTERNATIONAL CONGRESS ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2018), 2018, : 787 - 792
  • [44] Towards a Human-Centred Digital Society
    Woolley, Sandra
    de Quincey, Ed
    INTERACTING WITH COMPUTERS, 2024, 36 (02) : 63 - 64
  • [45] Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems
    Jackson, Mark
    Fitzgerald, John S.
    SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2017, 2018, 10729 : 361 - 376
  • [46] Towards Cyber-Physical Systems Robust to Communication Delays: A Differential Game Approach
    Deka, Shankar A.
    Lee, Donggun
    Tomlin, Claire J.
    IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 2042 - 2047
  • [47] Towards ensuring Trustworthiness in Cyber-Physical Systems: A Game-theoretic Approach
    Jithish, J.
    Sankaran, Sriram
    Achuthan, Krishnashree
    2020 INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS & NETWORKS (COMSNETS), 2020,
  • [48] Enhancing Expressiveness in Stochastic Modelling of Cyber-Physical Systems
    Metere, Roberto
    Czekster, Ricardo M.
    Arnaboldi, Luca
    2024 13TH MEDITERRANEAN CONFERENCE ON EMBEDDED COMPUTING, MECO 2024, 2024, : 37 - 40
  • [49] Towards a Requirements Engineering Approach for Capturing Uncertainty in Cyber-Physical Systems Environment
    Ahmad, Manzoor
    Gnaho, Christophe
    Bruel, Jean-Michel
    Laleau, Regine
    NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 115 - 129
  • [50] Towards trustworthy Cyber-physical Production Systems: A dynamic agent accountability approach
    Beregi, Richard
    Pedone, Gianfranco
    Preuveneers, Davy
    JOURNAL OF AMBIENT INTELLIGENCE AND SMART ENVIRONMENTS, 2021, 13 (02) : 157 - 180