Cyber physical systems : design, modeling, and evaluation : 7th International Workshop, CyPhy 2017, Seoul, South Korea, October 15-20, 2017 : revised selected papers

This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017. The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions. The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks. -- Provided by publisher Front Matter ....Pages i-x Front Matter ....Pages 1-1 Nonstandard Static Analysis: Literal Transfer of Deductive Verification Frameworks from Discrete to Hybrid (Ichiro Hasuo)....Pages 3-7 Front Matter ....Pages 9-9 Local Descent for Temporal Logic Falsification of Cyber-Physical Systems (Shakiba Yaghoubi, Georgios Fainekos)....Pages 11-26 Memory Access Pattern-Aware DRAM Controller Design for Mixed-Criticality Systems (Jeongyoon Eo, Kang-Wook Kim, Chang-Gun Lee)....Pages 27-42 Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems (Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz)....Pages 43-60 Front Matter ....Pages 61-61 Template-Based Monte-Carlo Test Generation for Simulink Models (Takashi Tomita, Daisuke Ishii, Toru Murakami, Shigeki Takeuchi, Toshiaki Aoki)....Pages 63-78 Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis (Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki)....Pages 79-82 An Integrated Simulation Tool for Computer Architecture and Cyber-Physical Systems (Hokeun Kim, Armin Wasicek, Edward A. Lee)....Pages 83-93 Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles (Houssam Abbas, Matthew O’Kelly, Alena Rodionova, Rahul Mangharam)....Pages 94-106 Front Matter ....Pages 107-107 Switching Delays and the Skorokhod Distance in Incrementally Stable Switched Systems (Kengo Kido, Sean Sedwards, Ichiro Hasuo)....Pages 109-126 Formal Analysis of Robotic Cell Injection Systems Using Theorem Proving (Adnan Rashid, Osman Hasan)....Pages 127-141 Front Matter ....Pages 143-143 FPGA Based Big Data Accelerator Design in Teaching Computer Architecture and Organization (Chao Wang, Yuming Cheng, Lei Gong, Bo Wan, Aili Wang, Xi Li et al.)....Pages 145-158 Back Matter ....Pages 159-159