Proceedings of the 1st Summer School on Cyber-Physical Systems and Internet-of-Things, Vol. I, 2019

Authors

  • Lech Jóźwiak TU/e TUTORIAL AUTHOR/PRESENTER
  • Sayandip De TU/e TUTORIAL AUTHOR/PRESENTER
  • Radek Fujdiak Trustport TUTORIAL AUTHOR/PRESENTER
  • Nicolas Sklavos University of Patras TUTORIAL AUTHOR/PRESENTER
  • Dino Mustafa ALTEN TUTORIAL AUTHOR/PRESENTER
  • Thomas Nolte MDH TUTORIAL AUTHOR/PRESENTER
  • Muhammad Shafique TU Wien TUTORIAL AUTHOR/PRESENTER
  • Christoph Schmittner AIT TUTORIAL AUTHOR/PRESENTER
  • Thomas Gruber AIT TUTORIAL AUTHOR/PRESENTER
  • Lorenzo Strigini City University TUTORIAL AUTHOR/PRESENTER
  • Peter Popov City University TUTORIAL AUTHOR/PRESENTER
  • Yervant Zorian Synopsis Armena TUTORIAL AUTHOR/PRESENTER
  • Dominique Bluin Paris Telecom TUTORIAL AUTHOR/PRESENTER
  • Ludovic Apvrille Paris Telecom TUTORIAL AUTHOR/PRESENTER
  • Maysam Zoor Telecom Paris TUTORIAL AUTHOR/PRESENTER
  • Sajid Mohamed TU/e TUTORIAL AUTHOR/PRESENTER
  • Dip Goswami TU/e TUTORIAL AUTHOR/PRESENTER
  • Henk Corporaal TU/e TUTORIAL AUTHOR/PRESENTER
  • Jiri Kadlec UTIA Prague TUTORIAL AUTHOR/PRESENTER
  • Carlo Sau Università degli Studi di Cagliari TUTORIAL AUTHOR/PRESENTER
  • Claudio Rubattu Università degli Studi di Sassari, INSA Rennes TUTORIAL AUTHOR/PRESENTER
  • Eugenio Villar UNICAN TUTORIAL AUTHOR/PRESENTER
  • Jesus Gorroñogoitia ATOS TUTORIAL AUTHOR/PRESENTER
  • Lara López ATOS TUTORIAL AUTHOR/PRESENTER
  • Marc Geilen TU/e TUTORIAL AUTHOR/PRESENTER
  • Michael Paulweber AVL List GmbH TUTORIAL AUTHOR/PRESENTER
  • Kim Gruettner OFFIS TUTORIAL AUTHOR/PRESENTER
  • Maher Fakih OFFIS TUTORIAL AUTHOR/PRESENTER
  • Luigi Pomante UNIVAQ TUTORIAL AUTHOR/PRESENTER
  • Vittoriano Mutillo UNIVAQ TUTORIAL AUTHOR/PRESENTER
  • Axel Jantsch TU Wien TUTORIAL AUTHOR/PRESENTER
  • Radovan Stojanović University of Montenegro and MECOnet TUTORIAL AUTHOR/PRESENTER

Keywords:

Embedded Computing, Cyber Physical Systems, Internet of Things , Smart Systems

Abstract

CONTENTS

 

Lech Jóźwiak
Introduction to Modern Cyber-Physical Systems and their Quality-Driven Design, 1

Henk Corporaal
Embedded Processors for Cyber-Physical Systems, 66

Jiří KadlecKadlec, Zdeněk Pohl, Lukáš Lukáš Kohout
Implementation of Implementation of HW - accelerated video -processing on industrial Zynq modules, 127

Francesca Palumbo, Claudio Rubattu, Carlo Sau, Tiziana Fanni, Luigi Raffo
Dataflow-Based Toolchain for Based Toolchain for Adaptive Accelerators, 149

Eugenio Villar
Megamodelingof complex, distributed, heterogeneous CPS systems, 288

Jesús Gorroñogoitia
Execution of software models, 308

Marc Geilen, Mladen Skelin, Hadi Alizadeh, Bram van der Sanden, João Bastos
Max plus linear models for cyber-physical systems, 326

Michael Paulweber and Andrea Leitner
Comprehensive modular V&v framework for automated cyber-physical systems, 372

Vittoriano Muttillo, Luigi Pomante
Design space exploration for Hypervisor-based mixed-criticality systems, 435

Axel Jantsch, Self-aware CPS, 517

Dip Goswami, Sajid Mohamed, Sayandip De
Tradeoff analysis between Quality-of-Control and degree of approximate computing for image based control systems, 622

Radek Fujdiak
Security of Embedded and Cyber Physical Systems, 652

Muhamed Shafique
Brain-Inspired Computing for Smart CPS and IoT, 677

Christoph Schmittner and Thomas Gruber
Safety & security engineering of automotive CPS, 744

Lorenzo Strigini and Peter Popov
Probabilistic modelling integrating concerns of safety, security, etc., 793

Dominique Blouin, Maysam Zoor and Ludovic Apvrille
Practical Embedded Systems Modeling and Safety, Security and Performance Verification with TTool, 846

Razi Seyyedi, Sören Schreiner
Virtual Platforms for Low-power Mixed-criticality Embedded Systems Development and Validation, 940

Downloads

Published

2019-06-30

Issue

Vol. 1 (2019): Proceedings of the 1st Summer School on Cyber-Physical Systems and Internet-of-Things

Section

SS-CPSIoT'19