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 条

[31] CYBER-PHYSICAL SYSTEMS ENGINEERING: MODEL-BASED SOLUTIONS
Garro, Alfredo
Vaccaro, Vittorio
Dutre, Stefan
Stegen, Jef
PROCEEDINGS OF THE 2019 SUMMER SIMULATION CONFERENCE (SUMMERSIM '19), 2019,
[32] Model-Based Specification and Refinement for Cyber-Physical Systems
Drechsler, Rolf
Autexier, Serge
Lueth, Christoph
DYNAMICS IN LOGISTICS, LDIC 2016, 2017, : 3 - 17
[33] A Model-Based Methodology of Programming Cyber-Physical Systems
Chandhoke, Sundeep
Hayles, Tim
Kodosky, Jeff
Wang, Guoqiang
2011 7TH INTERNATIONAL WIRELESS COMMUNICATIONS AND MOBILE COMPUTING CONFERENCE (IWCMC), 2011, : 1654 - 1659
[34] Data-Driven and Model-Based Quantitative Verification and Correct-by-Design Synthesis of Cyber-Physical Systems
Abate, Alessandro
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (232): : 5 - +
[35] Review of Human-in-the-Loop Cyber-Physical Systems (HiLCPS): The Current Status from Human Perspective
Tehrani, Behnam Moshkini
Wang, Jun
Wang, Chao
COMPUTING IN CIVIL ENGINEERING 2019: DATA, SENSING, AND ANALYTICS, 2019, : 470 - 478
[36] Cyber-physical systems with Human-in-the-Loop: A systematic review of socio-technical perspectives
Clemmensen, Torkil
Moghaddam, Mahyar Tourchi
Norbjerg, Jacob
JOURNAL OF SYSTEMS AND SOFTWARE, 2025, 226
[37] A Case Study on the Model-Based Design and Integration of Automotive Cyber-Physical Systems
Shang, Di
Eyisi, Emeka
Zhang, Zhenkai
Koutsoukos, Xenofon
Porter, Joseph
Karsai, Gabor
Sztipanovits, Janos
2013 21ST MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2013, : 483 - 492
[38] Scalable and efficiant digital twins for model-based design of cyber-physical systems
Cimino, Chiara
Terraneo, Federico
Ferretti, Gianni
Leva, Alberto
INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 2024, 37 (10-11) : 1232 - 1251
[39] Model-based Design and Testing of Decisional Autonomy and Cooperation in Cyber-physical Systems
Saglietti, Francesca
Foehrweiser, David
Winzinger, Stefan
Lill, Raimar
PROCEEDINGS 41ST EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS SEAA 2015, 2015, : 479 - 483
[40] Human-In-The-Loop: Role in Cyber Physical Agricultural Systems
Sreeram, M.
Nof, S. Y.
INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2021, 16 (02) : 1 - 19

← 1 2 3 4 5 →