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.