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.
| Verfasserangaben: | 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 |
| Titel des übergeordneten Werks (Englisch): | Lecture notes in computer science |
| Untertitel (Englisch): | (extended abstract) |
| Verlag: | Springer |
| Verlagsort: | Cham |
| Herausgeber*in(nen): | Olga Kouchnarenko, Ramtin Khosravi |
| Publikationstyp: | Sonstiges |
| Sprache: | Englisch |
| Datum der Erstveröffentlichung: | 13.04.2017 |
| Erscheinungsjahr: | 2017 |
| Datum der Freischaltung: | 05.09.2022 |
| Band: | 10231 |
| Seitenanzahl: | 7 |
| Erste Seite: | 3 |
| Letzte Seite: | 9 |
| Organisationseinheiten: | Mathematisch-Naturwissenschaftliche Fakultät / Institut für Informatik und Computational Science |
| An-Institute / Hasso-Plattner-Institut für Digital Engineering gGmbH | |
| DDC-Klassifikation: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 000 Informatik, Informationswissenschaft, allgemeine Werke |
| Peer Review: | Referiert |
