Project Details
Projekt
ForSa@OC-TRUST: Formal Analysis and Software Architectures for Trustworthy Organic Computing
Applicant
Professor Dr. Wolfgang Reif
Subject Area
Computer Architecture, Embedded and Massively Parallel Systems
Term
from 2009 to 2017
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 66598707
In the project ForSa@OC-Trust, formal foundations are the basis for techniques that allow controlling and adapting Organic Computing systems (OC systems) at runtime, make robust decisions at runtime, and enable software engineering for open, self-organising systems. The interconnection of different algorithms and the standardized use of the techniques as well as their applicability to the system class are drivers of the research.The techniques developed improve the trustworthiness of OC systems by allowing fine-grained observation and thus targeted control actions at runtime, enable systems to act proactively and in an anticipatory fashion to potential undesirable developments and allow a transparent and wellstructured design and development of such systems. An application platform from the domain of energy management - the Trusted Energy Grid - and the application “Autonomous Virtual Power Plants” based on this platform are used to demonstrate and evaluate the techniques.
DFG Programme
Research Units
