Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2020

Cyber Physical Systems. Model-Based Design

9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers

Editors:

  1. Roger Chamberlain

    1. Washington University, St. Louis, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Martin Edin Grimheden

    1. KTH Royal Institute of Technology, Stockholm, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Walid Taha

    1. Halmstad University, Halmstad, Sweden

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Information Systems and Applications, incl. Internet/Web, and HCI (LNISA)

Conference series link(s): CyPhy: International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, WESE: Workshop on Embedded Systems and Cyber-Physical Systems Education

Conference proceedings info: CyPhy 2019, WESE 2019.

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (13 papers)

  1. Front Matter

    Pages i-xii
    PDF

  2. Models and Design

    1. Front Matter

      Pages 1-1
      PDF

    2. A Modular SystemC RTOS Model for Uncertainty Analysis

      • Lorenzo Lazzara, Giulio Mosé Mancuso, Fabio Cremona, Alessandro Ulisse
      Pages 3-27

    4. Towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic Hand

      • Mehrshad Zandigohar, Mo Han, Deniz Erdoğmuş, Gunar Schirner
      Pages 44-58

    5. Reactors: A Deterministic Model for Composable Reactive Systems

      • Marten Lohstroh, Íñigo Íncer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee et al.
      Pages 59-85

  3. Simulation and Tools

    1. Front Matter

      Pages 87-87
      PDF

    2. Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems

      • Paul Rousse, Julien Alexandre dit Sandretto, Alexandre Chapoutot, Pierre-Loïc Garoche
      Pages 89-107

    3. Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation

      • Adam Duracz, Ayman Aljarbouh, Ferenc A. Bartha, Jawad Masood, Roland Philippsen, Henrik Eriksson et al.
      Pages 108-126

    4. Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems

      • Wonseok Lee, Jaehwan Jeong, Seonghyeon Park, Chang-Gun Lee
      Pages 127-152

    5. Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI

      • Yunosuke Yamada, Masashi Sato, Kazunori Ueda
      Pages 153-178

  4. Formal Methods

    1. Front Matter

      Pages 179-179
      PDF

    3. Towards Formal Co-validation of Hardware and Software Timing Models of CPSs

      • Mihail Asavoae, Imane Haur, Mathieu Jan, Belgacem Ben Hedia, Martin Schoeberl
      Pages 203-227

  5. Workshop on Embedded and Cyber-Physical Systems Education

    1. Front Matter

      Pages 229-229
      PDF

    2. A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course

      • Manfred Smieschek, Stefan Rakel, David Thönnessen, Andreas Derks, André Stollenwerk, Stefan Kowalewski
      Pages 231-246

    3. An Embedded Graduate Lab Course with Spirit

      • André Stollenwerk
      Pages 247-263

    4. Competence Networks in the Era of CPS – Lessons Learnt in the ICES Cross-Disciplinary and Multi-domain Center

      • Martin Törngren, Fredrik Asplund, Tor Ericson, Catrin Granbom, Erik Herzog, Zhonghai Lu et al.
      Pages 264-283

  6. Back Matter

    Pages 285-285
    PDF
Back to top

Other Volumes

  1. Cyber Physical Systems. Model-Based Design

Back to top

About this book

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019.
The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. 
The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education.
Back to top

Keywords

Back to top

Editors and Affiliations

  • Washington University, St. Louis, USA

    Roger Chamberlain

  • KTH Royal Institute of Technology, Stockholm, Sweden

    Martin Edin Grimheden

  • Halmstad University, Halmstad, Sweden

    Walid Taha

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation