Cyber Physical Systems. Model-Based Design: 8th International Workshop, CyPhy 2018, and 14th International Workshop, WESE 2018, Turin, Italy, October 4–5, 2018, Revised Selected Papers

Description

This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions. The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability. Front Matter ....Pages i-xii Front Matter ....Pages 1-1 Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems (Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani)....Pages 3-27 Challenges in Digital Twin Development for Cyber-Physical Production Systems (Heejong Park, Arvind Easwaran, Sidharta Andalam)....Pages 28-48 Front Matter ....Pages 49-49 Subjecting Legacy Simulink Models to Timing Specifications (Andreas Naderlinger)....Pages 51-70 Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations) (Mehrdad Moradi, Bert Van Acker, Ken Vanherpen, Joachim Denil)....Pages 71-90 A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration) (Andreas Müller, Stefan Mitsch, Wieland Schwinger, André Platzer)....Pages 91-110 Front Matter ....Pages 111-111 Guaranteed Control Synthesis for Continuous Systems in Uppaal Tiga (Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikučionis, Jakob Haahr Taankvist)....Pages 113-133 CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems (Manuela L. Bujorianu)....Pages 134-153 Controlled Recurrence of a Biped with Torso (Adrien Le Coënt, Laurent Fribourg)....Pages 154-169 A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification (Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, Sibylle Schupp)....Pages 170-189 Front Matter ....Pages 191-191 Introducing IoT Subjects to an Existing Curriculum. An Ongoing Experience at the Faculty of the Technology Management - HIT (Sofia Amador Nelke, Michael Winokur)....Pages 193-196 Computers Interacting with the Physical World: A First-Year Course (Roger D. Chamberlain, Ron K. Cytron, Doug Shook, Bill Siever)....Pages 197-205 CPS/IoT Ecosystem: A Platform for Research and Education (Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch et al.)....Pages 206-213 MicroITS: A Scaled-Down ITS Platform (Judicaël Marchand, Gaël Puissochet, Thomas Lithén, Walid Taha)....Pages 214-221 Further Experiences Teaching an FPGA-Based Embedded Systems Class (Stephen A. Edwards)....Pages 222-230 Back Matter ....Pages 231-231