Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems
暂无分享,去创建一个
Liam Daly | Grant Rudd | Filip Cuckov | L. Daly | Filip Cuckov | Grant Rudd
[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.