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 PDF
Preview 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
Roger Chamberlain Walid Taha Martin Törngren (Eds.) 5 1 6 Cyber Physical Systems 1 1 S C N Model-Based Design L 8th International Workshop, CyPhy 2018 and 14th International Workshop, WESE 2018 Turin, Italy, October 4–5, 2018 Revised Selected Papers Lecture Notes in Computer Science 11615 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board Members David Hutchison Lancaster University, Lancaster, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Zurich, Switzerland John C. Mitchell Stanford University, Stanford, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel C. Pandu Rangan Indian Institute of Technology Madras, Chennai, India Bernhard Steffen TU Dortmund University, Dortmund, Germany Demetri Terzopoulos University of California, Los Angeles, CA, USA Doug Tygar University of California, Berkeley, CA, USA More information about this series at http://www.springer.com/series/7409 Roger Chamberlain Walid Taha (cid:129) (cid:129) ö Martin T rngren (Eds.) 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 123 Editors RogerChamberlain Walid Taha Computer Science andEngineering Schoolof Information Technology Washington University Halmstad University St.Louis, MO, USA Halmstad, Sweden Martin Törngren Department ofMachine Design KTH RoyalInstitute of Technology Stockholm, Sweden ISSN 0302-9743 ISSN 1611-3349 (electronic) Lecture Notesin Computer Science ISBN 978-3-030-23702-8 ISBN978-3-030-23703-5 (eBook) https://doi.org/10.1007/978-3-030-23703-5 LNCSSublibrary:SL3–InformationSystemsandApplications,incl.Internet/Web,andHCI ©SpringerNatureSwitzerlandAG2019 Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpartofthe material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storageandretrieval,electronicadaptation,computersoftware,orbysimilarordissimilarmethodologynow knownorhereafterdeveloped. Theuseofgeneraldescriptivenames,registerednames,trademarks,servicemarks,etc.inthispublication doesnotimply,evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevant protectivelawsandregulationsandthereforefreeforgeneraluse. Thepublisher,theauthorsandtheeditorsaresafetoassumethattheadviceandinformationinthisbookare believedtobetrueandaccurateatthedateofpublication.Neitherthepublishernortheauthorsortheeditors give a warranty, expressed or implied, with respect to the material contained herein or for any errors or omissionsthatmayhavebeenmade.Thepublisherremainsneutralwithregardtojurisdictionalclaimsin publishedmapsandinstitutionalaffiliations. ThisSpringerimprintispublishedbytheregisteredcompanySpringerNatureSwitzerlandAG Theregisteredcompanyaddressis:Gewerbestrasse11,6330Cham,Switzerland Preface This volume contains the joint proceedings of the Workshop on Model-Based Design of Cyber Physical Systems (CyPhy 2018) and the Workshop on Embedded and Cyber-PhysicalSystemsEducation(WESE2018).Thetwoeventswereco-locatedand coordinated for the second time in a row with the goal of exploring opportunities for closer collaboration. This year, CyPhy planned from the outset to have post-workshop proceedings to allow authors to incorporate feedback and insights from discussions at the workshop.Theworkshopreceived13submissions.TheProgramCommitteedecidedto accept nine of these papers. Each paper received at least three reviews, and the vast majority received four or more. The Program Committee was large and diverse, consisting of40 members from 14 different countries. The WESE workshop contributed five papers to the proceedings. We would like to acknowledge several individuals who were key to the success of the event, including the WESE co-chairs: Martin Edin Grimheden and Falk Salewski, the Program Committees, the external reviewers, the publicity chair, Abdelhamid Taha, and the organizers of ESWEEK 2018. May 2019 Roger Chamberlain Walid Taha Martin Törngren Organization General Chair (CyPhy) Walid Taha Halmstad University, Sweden Program Committee Chairs (CyPhy) Walid Taha Halmstad University, Sweden Martin Törngren KTH Royal Institute of Technology, Sweden Program Committee Chairs (WESE) Martin Törngren KTH Royal Institute of Technology, Sweden Martin Edin Grimheden KTH Royal Institute of Technology, Sweden Falk Salewski Muenster University of Applied Sciences, Germany Program Committee (CyPhy + WESE) Houssam Abbas University of Pennsylvania, USA Erika Abraham RWTH Aachen University, Germany Julien Alexandre dit ENSTA ParisTech, France Sandretto Henric Andersson Environment & Innovation, Sweden Hugo Andrade National Instruments, USA Stanley Bak Air Force Rome Labs, USA Saddek Bensalem University of Grenoble, France Christian Berger Chalmers and University of Gothenburg, Sweden Sergiy Bogomolov Australian National University, Australia David Broman UC Berkeley, USA, and KTH Royal Institute of Technology, Sweden Manuela Bujorianu University of Strathclyde, UK Daniela Cancila Commissariat à l’Énergie Atomique (CEA), France Janette Cardoso Institut Supérieur de l’Aéronautique et de l’Espace (ISAE), France De-Jiu Chen KTH Royal Institute of Technology, Sweden Thao Dang Verimag, France Alex Dean North Carolina State University, USA Sinem Coleri Ergen Koc University, Turkey Martin Fränzle University of Oldenburg, Germany Goran Frehse Université Grenoble Alpes, France viii Organization Laurent Fribourg CNRS, France Ichiro Hasuo University of Tokyo, Japan Daisuke Ishii Tokyo Institute of Technology, Japan Taylor T. Johnson Vanderbilt University, USA Mehdi Kargahi University of Tehran, Iran Ueda Kazunori Waseda University, Japan Michal Konečný Aston University, UK Tei-Wei Kuo National Taiwan University, Taiwan Lucia Lo Bello University of Catania, Italy Peter Marwedel TU Dortmund, Germany Karl Meinke KTH Royal Institute of Technology, Sweden Nacim Meslem Grenoble INP, France Stefan Mitsch Carnegie Mellon University, USA Eugenio Moggi Università degli studi di Genova, Italy Wojciech Mostowski Halmstad University, Sweden Mohammad Reza Mousavi University of Leicester, UK Jogesh Muppala Hong Kong University of Science and Technology, SAR China Marc Pouzet ENS, France Maria Prandini Politecnico di Milano, Italy Nacim Ramdani University of Orleans, France Andreas Rauh University of Rostock, Germany Michel Reniers EindhovenUniversityofTechnology,TheNetherlands Bernhard Rumpe RWTH University Aachen, Germany Erwin Schoitsch Austrian Institute of Technology, Austria Christoph Seidl TU Braunschweig, Germany Jack Stankovic University of Virginia, USA Martin Steffen Oslo University, Norway Shiao-Li Tsao National Chiao Tung University, Taiwan Zain Ul-Abdin Halmstad University, Sweden Jon Wade Stevens Institute of Technology, USA Additional Reviewers Imke Helene Drave Ingo Stierand Martijn Goorden Bert van Beek Dongxu Li Alexey Vinel Judith Michael Organization ix Advisory Committee (CyPhy) Manfred Broy Technische Universität München, Germany Karl Iagnemma Massachusetts Institute of Technology, USA Karl Henrik Johansson KTH Royal Institute of Technology, Sweden Insup Lee University of Pennsylvania, USA Pieter Mosterman McGill University, Canada Janos Sztipanovits Vanderbilt University, USA Walid Taha Halmstad University, Sweden Contents Design Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems . . . . . . 3 Iman Jahandideh, Fatemeh Ghassemi, and Marjan Sirjani Challenges in Digital Twin Development for Cyber-Physical Production Systems. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 Heejong Park, Arvind Easwaran, and Sidharta Andalam Simulation and Tools Subjecting Legacy Simulink Models to Timing Specifications. . . . . . . . . . . . 51 Andreas Naderlinger Model-Implemented Hybrid Fault Injection for Simulink (Tool Demonstrations). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71 Mehrdad Moradi, Bert Van Acker, Ken Vanherpen, and Joachim Denil A Component-Based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration) . . . . . . . . . . . . . . . . . . . . . . . . 91 Andreas Müller, Stefan Mitsch, Wieland Schwinger, and André Platzer Formal Methods Guaranteed Control Synthesis for Continuous Systems in UPPAAL TIGA . . . . . 113 Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikučionis, and Jakob Haahr Taankvist CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134 Manuela L. Bujorianu Controlled Recurrence of a Biped with Torso. . . . . . . . . . . . . . . . . . . . . . . 154 Adrien Le Coënt and Laurent Fribourg A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170 Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, and Sibylle Schupp
The list of books you might like
