Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems

被引：7
|
作者：
Cuckov, Filip [1 ]
Rudd, Grant [1 ]
Daly, Liam [1 ]
机构：
[1] Univ Massachusetts, Dept Engn, Boston, MA 02125 USA
来源：
10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017 | 2017年
关键词：
model-based; design; verification; human-in-the-loop; cyber-physical systems;
D O I：
10.1109/ICSTW.2017.77
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a framework for comprehensive modelbased systematic design and staged verification of Human-in-the-Loop Cyber-Physical Systems (HiLCPS) to handle their inherent complexity. HiLCPS are systems where humans are in the middle of the feedback loop between their cyber and the physical components. HiLCPS designers require modern tools and simpler model-based approaches for design and verification which encapsulate human behavior and its effect on the system.
引用
收藏
页码：401 / 402
页数：2
相关论文
共 50 条
  • [1] Human-in-the-loop cyber-physical systems
    Yau, Kok-Lim Alvin
    FRONTIERS IN NEUROROBOTICS, 2022, 16
  • [2] The Future of Human-in-the-Loop Cyber-Physical Systems
    Schirner, Gunar
    Erdogmus, Deniz
    Chowdhury, Kaushik
    Padir, Taskin
    COMPUTER, 2013, 46 (01) : 36 - 45
  • [3] Framework for Rapid Development of Embedded Human-in-the-Loop Cyber-Physical Systems
    Feng, Shen
    Quivira, Fernando
    Schirner, Gunar
    2016 IEEE 16TH INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOENGINEERING (BIBE), 2016, : 208 - 215
  • [4] Human-in-the-Loop Issue in Context of the Cyber-Physical Systems
    Jirgl, M.
    Bradac, Z.
    Fiedler, P.
    IFAC PAPERSONLINE, 2018, 51 (06): : 225 - 230
  • [5] Designing human-in-the-loop autonomous Cyber-Physical Systems
    Gil, Miriam
    Albert, Manoli
    Fons, Joan
    Pelechano, Vicente
    INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 2019, 130 : 21 - 39
  • [6] Engineering human-in-the-loop interactions in cyber-physical systems
    Gil, Miriam
    Albert, Manoli
    Fons, Joan
    Pelechano, Vicente
    INFORMATION AND SOFTWARE TECHNOLOGY, 2020, 126
  • [7] The Design of Human-in-the-Loop Cyber-Physical Systems for Monitoring the Ecosystem of Historic Villages
    Nota, Giancarlo
    Petraglia, Gennaro
    SMART CITIES, 2024, 7 (05): : 2966 - 2994
  • [8] Reorganizing Cyber-Physical Configurations using User Activities for Human-in-the-Loop Cyber-Physical Systems
    Hara, Tatsunori
    Okada, Yuki
    Ota, Jun
    IFAC PAPERSONLINE, 2023, 56 (02): : 9703 - 9708
  • [9] Linked Data Processing for Human-in-the-Loop in Cyber-Physical Systems
    Zheng, Zhigao
    Mumtaz, Shahid
    Khosravi, Mohammad R.
    Menon, Varun G.
    IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, 2021, 8 (05) : 1238 - 1248
  • [10] New Mechanisms for Privacy in Human-in-the-loop Cyber-Physical Systems
    Halcu, Ionela
    Nunes, David
    Sgarciu, Valentin
    Silva, Jorge Sa
    2015 IEEE 8TH INTERNATIONAL CONFERENCE ON INTELLIGENT DATA ACQUISITION AND ADVANCED COMPUTING SYSTEMS: TECHNOLOGY AND APPLICATIONS (IDAACS), VOLS 1-2, 2015, : 418 - 423
12345