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

在ForSa@OC-Trust项目中，形式基础是允许在运行时控制和调整有机计算系统（OC系统）的技术基础，在运行时做出稳健的决策，并为开放的自组织系统启用软件工程。不同算法的互连、技术的标准化使用以及它们在系统类中的适用性是本研究的推动因素。所开发的技术通过允许细粒度的观察，从而在运行时进行有针对性的控制操作，提高了OC系统的可信度，使系统能够主动采取行动，以预期的方式应对潜在的不良发展，并允许透明和结构良好的设计和开发此类系统。利用能源管理领域的一个应用平台——可信电网，以及基于该平台的“自主虚拟电厂”应用，对这些技术进行了论证和评估。

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.