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

We present a framework for comprehensive model-based 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.

[1]  Deniz Erdogmus,et al.  The Future of Human-in-the-Loop Cyber-Physical Systems , 2013, Computer.

[2]  Jan Olaf Blech,et al.  Cyber-virtual systems: Simulation, validation & visualization , 2014, 2014 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).

[3]  Huai Liu,et al.  Spatio-Temporal Architecture-Based Framework for Testing Services in the Cloud , 2015, ASWEC.

[4]  Richard M. Murray,et al.  Verifying Cyber-Physical Interactions in Safety-Critical Systems , 2013, IEEE Security & Privacy.

[5]  D. Richard Kuhn,et al.  Software fault interactions and implications for software testing , 2004, IEEE Transactions on Software Engineering.

[6]  Itai Segall,et al.  Common Patterns in Combinatorial Models , 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

[7]  Eitan Farchi,et al.  Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems , 2015, 2015 IEEE 21st International Conference on Parallel and Distributed Systems (ICPADS).

[8]  R Green,et al.  HUMAN FACTORS IN SAFETY CRITICAL SYSTEMS , 1990 .

[9]  Insup Lee,et al.  Medical Cyber Physical Systems , 2010, Design Automation Conference.

[10]  D. Richard Kuhn,et al.  FAILURE MODES IN MEDICAL DEVICE SOFTWARE: AN ANALYSIS OF 15 YEARS OF RECALL DATA , 2001 .

[11]  Insup Lee,et al.  Toward patient safety in closed-loop medical device systems , 2010, ICCPS '10.

[12]  Christine Julien,et al.  Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward , 2015, 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems.