Advertisement

Cyber Physical Systems. Design, Modeling, and Evaluation

5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings

  • Mohammad Reza Mousavi
  • Christian Berger
Conference proceedings CyPhy 2015

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

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

Table of contents

  1. Front Matter
    Pages I-VII
  2. Stefan Schupp, Erika Ábrahám, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan et al.
    Pages 8-24
  3. S. Engell, R. Paulen, M. A. Reniers, C. Sonntag, H. Thompson
    Pages 40-55
  4. Benjamin Beichler, Thorsten Schulz, Christian Haubelt, Frank Golatowski
    Pages 56-66
  5. Manuela L. Bujorianu, Nir Piterman
    Pages 67-82
  6. Holger Hermanns, Jan Krčál, Gilles Nies
    Pages 83-98
  7. Keyur Parmar, Devesh C. Jinwala
    Pages 116-131
  8. Back Matter
    Pages 147-147

About these proceedings

Introduction

This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015.

The 10 papers presented in this volume were carefully reviewed and selected from 13 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems.

Keywords

concurrency embedded systems formal methods models of computation system description languages cyber-physical systems embedded hardware embedded software embedded systems formal methods formal verification model checking real-time systems sensor networks simulation software engineering software system models system testing theorem proving timed and hybrid models

Editors and affiliations

  • Mohammad Reza Mousavi
    • 1
  • Christian Berger
    • 2
  1. 1.Halmstad UniversityHalmstadSweden
  2. 2.University of GothenburgGothenburgSweden

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-25141-7
  • Copyright Information Springer International Publishing Switzerland 2015
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-25140-0
  • Online ISBN 978-3-319-25141-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications