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
1. Auflage 2019
ISBN: 978-3-030-23702-8
Verlag: Springer

Buch, Englisch, Band 11615, 231 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 379 g

Reihe: Lecture Notes in Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Chamberlain, Roger

Taha, Walid

Törngren, Martin

Fachgebiete

• Technische Wissenschaften Maschinenbau | Werkstoffkunde Produktionstechnik Zuverlässigkeitstechnik
• Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
• Mathematik | Informatik EDV | Informatik Informatik Mensch-Maschine-Interaktion Ambient Intelligence, RFID, Internet der Dinge
• Mathematik | Informatik EDV | Informatik Technische Informatik Eingebettete Systeme
• Technische Wissenschaften Technik Allgemein Technische Zuverlässigkeit, Sicherheitstechnik
• Technische Wissenschaften Elektronik | Nachrichtentechnik Nachrichten- und Kommunikationstechnik
• Mathematik | Informatik EDV | Informatik Betriebssysteme Echtzeitbetriebssysteme

Inhaltsverzeichnis

Design.- Simulation and Tools.- Formal Methods.- Workshop on Embedded and Cyber-Physical Systems Education.