Advertisement

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
Conference proceedings CyPhy 2018, WESE 2018

Part of the Lecture Notes in Computer Science book series (LNCS, volume 11615)

Also part of the Information Systems and Applications, incl. Internet/Web, and HCI book sub series (LNISA, volume 11615)

Table of contents

  1. Front Matter
    Pages i-xii
  2. Design

    1. Front Matter
      Pages 1-1
    2. Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
      Pages 3-27
    3. Heejong Park, Arvind Easwaran, Sidharta Andalam
      Pages 28-48
  3. Simulation and Tools

    1. Front Matter
      Pages 49-49
    2. Mehrdad Moradi, Bert Van Acker, Ken Vanherpen, Joachim Denil
      Pages 71-90
    3. Andreas Müller, Stefan Mitsch, Wieland Schwinger, André Platzer
      Pages 91-110
  4. Formal Methods

    1. Front Matter
      Pages 111-111
    2. Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikučionis, Jakob Haahr Taankvist
      Pages 113-133
    3. Adrien Le Coënt, Laurent Fribourg
      Pages 154-169
    4. Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer, Sibylle Schupp
      Pages 170-189
  5. Workshop on Embedded and Cyber-Physical Systems Education

    1. Front Matter
      Pages 191-191
    2. Roger D. Chamberlain, Ron K. Cytron, Doug Shook, Bill Siever
      Pages 197-205
    3. Haris Isakovic, Denise Ratasich, Christian Hirsch, Michael Platzer, Bernhard Wally, Thomas Rausch et al.
      Pages 206-213
    4. Judicaël Marchand, Gaël Puissochet, Thomas Lithén, Walid Taha
      Pages 214-221
  6. Back Matter
    Pages 231-231

About these proceedings

Introduction

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.

Keywords

Modeling simulation verification design cyber-physical systems embedded systems real-time systems safety reliability software engineering software evaluation semantics verification education hardware model checking

Editors and affiliations

  1. 1.Computer Science and EngineeringWashington UniversitySt. LouisUSA
  2. 2.School of Information TechnologyHalmstad UniversityHalmstadSweden
  3. 3.Department of Machine DesignKTH Royal Institute of TechnologyStockholmSweden

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-030-23703-5
  • Copyright Information Springer Nature Switzerland AG 2019
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-030-23702-8
  • Online ISBN 978-3-030-23703-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Materials & Steel
Automotive
Biotechnology
Electronics
IT & Software
Telecommunications
Law
Energy, Utilities & Environment
Aerospace