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 条

[41] A Cloud-based Collaboration Platform for Model-based Design of Cyber-Physical Systems
Larsen, Peter Gorm
Macedo, Hugo Daniel
Fitzgerald, John
Pfeifer, Holger
Benedikt, Martin
Tonetta, Stefano
Marguglio, Angelo
Gusmeroli, Sergio
Suciu, George, Jr.
SIMULTECH: PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON SIMULATION AND MODELING METHODOLOGIES, TECHNOLOGIES AND APPLICATIONS, 2020, : 263 - 270
[42] A Predictive Runtime Verification Framework for Cyber-Physical Systems
Yu, Kang
Chen, Zhenbang
Dong, Wei
2014 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY - COMPANION (SERE-C 2014), 2014, : 223 - 227
[43] A human-in-the-loop cyber-physical system for collaborative assembly in smart manufacturing
Garcia, Manuel A. Ruiz
Rojas, Rafael
Gualtieri, Luca
Rauch, Erwin
Matt, Dominik
52ND CIRP CONFERENCE ON MANUFACTURING SYSTEMS (CMS), 2019, 81 : 600 - 605
[44] Empowering Humans in a Cyber-Physical Production System: Human-in-the-loop Perspective
Costa, David
Pires, Flavia
Rodrigues, Nelson
Barbosa, Jose
Igrejas, Getulio
Leitao, Paulo
2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL CYBER PHYSICAL SYSTEMS (ICPS 2019), 2019, : 139 - 144
[45] A Model-based Approach for Assessing the Security of Cyber-Physical Systems
Teixeira De Castro, Hugo
Hussain, Ahmed
El Hachem, Jamal
Blanc, Gregory
Blouin, Dominique
Leneutre, Jean
Papadimitratos, Panos
19TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY, ARES 2024, 2024,
[46] Assessment of Model-based Methodologies to Architect Cyber-Physical Systems
Aigner, Andreas
Khelil, Abdelmajid
INTERNATIONAL CONFERENCE ON OMNI-LAYER INTELLIGENT SYSTEMS (COINS), 2019, : 146 - 151
[47] A Tool Prototype for Model-Based Testing of Cyber-Physical Systems
Aerts, Arend
Mousavi, Mohammad Reza
Reniers, Michel
THEORETICAL ASPECTS OF COMPUTING - ICTAC 2015, 2015, 9399 : 563 - 572
[48] Managing Heterogeneity in Model-Based Systems Engineering of Cyber-Physical Systems
Van Acker, Bert
Denil, Joachim
Vangheluwe, Hans
De Meulenaere, Paul
2015 10TH INTERNATIONAL CONFERENCE ON P2P, PARALLEL, GRID, CLOUD AND INTERNET COMPUTING (3PGCIC), 2015, : 617 - 622
[49] A Model-Based Approach to Security Analysis for Cyber-Physical Systems
Bakirtzis, Georgios
Carter, Bryan T.
Elks, Carl R.
Fleming, Cody H.
12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 496 - 503
[50] Towards a Holistic and Functional Model-Based Design Method for Mechatronic Cyber-Physical Systems
Hoepfner, Gregor
Nachmann, Imke
Zerwas, Thilo
Berroth, Joerg K.
Kohl, Jens
Guist, Christian
Rumpe, Bernhard
Jacobs, Georg
JOURNAL OF COMPUTING AND INFORMATION SCIENCE IN ENGINEERING, 2023, 23 (05)

← 1 2 3 4 5 →