TY  - GEN
A1  - Giese, Holger
A2  - Kouchnarenko, Olga
A2  - Khosravi, Ramtin
T1  - Formal models and analysis for self-adaptive cyber-physical systems
T2  - Lecture notes in computer science
N2  - 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.
Y1  - 2017
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/55818
SN  - 978-3-319-57666-4
SN  - 978-3-319-57665-7
SN  - 0302-9743
SN  - 1611-3349
VL  - 10231
SP  - 3
EP  - 9
PB  - Springer
CY  - Cham
ER  -