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 条

[21] Editorial to the theme section on model-based design of cyber-physical systems
Manfred Broy
Heinrich Daembkes
Janos Sztipanovits
Software & Systems Modeling, 2019, 18 : 1575 - 1576
[22] A Multicore Approach to Model-Based Analysis and Design of Cyber-Physical Systems
Kanduri, Anil
Rahmani, Amir-Mohammad
Liljeberg, Pasi
Wan, Kaiyu
Man, Ka Lok
Plosila, Juha
2013 INTERNATIONAL SOC DESIGN CONFERENCE (ISOCC), 2013, : 278 - 281
[23] Editorial to the theme section on model-based design of cyber-physical systems
Broy, Manfred
Daembkes, Heinrich
Sztipanovits, Janos
SOFTWARE AND SYSTEMS MODELING, 2019, 18 (03): : 1575 - 1576
[24] Model-Based Software Integration for Flexible Design of Cyber-Physical Systems
Ravindran, K.
COMPUTER AND INFORMATION SCIENCES II, 2012, : 479 - 485
[25] The Integrated Model of Secure Cyber-Physical Systems for Their Design and Verification
Levshun, Dmitry
Kotenko, Igor
Chechulin, Andrey
INTELLIGENT DISTRIBUTED COMPUTING XIII, 2020, 868 : 333 - 343
[26] Design and Implementation of Runtime Verification Framework for Cyber-Physical Production Systems
Kang, Sungjoo
Chun, Ingeol
Kim, Hyeon-Soo
JOURNAL OF ENGINEERING, 2019, 2019
[27] Data and Decision Intelligence for Human-in-the-Loop Cyber-Physical Systems: Reference Model, Recent Progresses and Challenges
Meng Ma
Weilan Lin
Disheng Pan
Yangxin Lin
Ping Wang
Yuchen Zhou
Xiaoxing Liang
Journal of Signal Processing Systems, 2018, 90 : 1167 - 1178
[28] Design and verification of a mobile robot based on the integrated model of cyber-Physical systems
Levshun, Dmitry
Chevalier, Yannick
Kotenko, Igor
Chechulin, Andrey
SIMULATION MODELLING PRACTICE AND THEORY, 2020, 105
[29] A Human-in-the-Loop Cyber-Physical Approach for Students Performance Assessment
Fernandes, J.
Raposo, D.
Sinche, S.
Armando, N.
Sa Silva, J.
Rodrigues, A.
Macedo, L.
Goncalo Oliveira, H.
Boavida, F.
PROCEEDINGS OF THE 2019 FOURTH INTERNATIONAL WORKSHOP ON SOCIAL SENSING (SOCIALSENSE'19), 2019, : 36 - 42
[30] Data and Decision Intelligence for Human-in-the-Loop Cyber-Physical Systems: Reference Model, Recent Progresses and Challenges
Ma, Meng
Lin, Weilan
Pan, Disheng
Lin, Yangxin
Wang, Ping
Zhou, Yuchen
Liang, Xiaoxing
JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2018, 90 (8-9): : 1167 - 1178

← 1 2 3 4 5 →