ForSa@OC-TRUST: Formal Analysis and Software Architectures for Trustworthy Organic Computing

点击翻译按钮获取中文摘要

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.