Formal models and analysis for self-adaptive cyber-physical systems
- In this extended abstract, we will analyze the current challenges for the envisioned Self-Adaptive CPS. In addition, we will outline our results to approach these challenges with SMARTSOS [10] a generic approach based on extensions of graph transformation systems employing open and adaptive collaborations and models at runtime for trustworthy self-adaptation, self-organization, and evolution of the individual systems and the system-of-systems level taking the independent development, operation, management, and evolution of these systems into account.
Author details: | Holger GieseORCiDGND |
---|---|
DOI: | https://doi.org/10.1007/978-3-319-57666-4_1 |
ISBN: | 978-3-319-57666-4 |
ISBN: | 978-3-319-57665-7 |
ISSN: | 0302-9743 |
ISSN: | 1611-3349 |
Title of parent work (English): | Lecture notes in computer science |
Subtitle (English): | (extended abstract) |
Publisher: | Springer |
Place of publishing: | Cham |
Editor(s): | Olga Kouchnarenko, Ramtin Khosravi |
Publication type: | Other |
Language: | English |
Date of first publication: | 2017/04/13 |
Publication year: | 2017 |
Release date: | 2022/09/05 |
Volume: | 10231 |
Number of pages: | 7 |
First page: | 3 |
Last Page: | 9 |
Organizational units: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
An-Institute / Hasso-Plattner-Institut für Digital Engineering gGmbH | |
DDC classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke |
Peer review: | Referiert |