Verhaltensgarantien in selbst-organisierenden Systemen

Zukünftige Systeme erfordern ein hohes Maß an Flexibilität, um den wachsenden Anforderungen gerecht zu werden. Gleichzeitig werden technische Systeme in mehr und mehr Bereichen eingesetzt und sollen dabei vielfältigste Aufgaben übernehmen. Selbst-Organisation ist ein Ansatz um robuste und anpassungsfähige Systeme zu entwickeln, welche auch bei unerwarteten Störungen ihren Anforderungen gerecht werden, indem sie Entscheidungen von der Designzeit in die Laufzeit verlagern. Um auch in sicherheitskritischen Anwendungen von den Vorteilen der Selbst-Organisation profitieren zu können, werden Techniken benötigt, die es erlauben, trotz der Selbst-Organisation, Verhaltensgarantien abzugeben. Dieses Buch stellt einen Spezifikations- und Verifikationsansatz für selbst-organisierende Systeme vor. Mit dem Restore-Invariant-Ansatz wird eine Technik vorgestellt, die es erlaubt, einen Verhaltenskorridor für ein System zu spezifizieren. Dabei wird das Verhalten des Systems auf das gewünschte Verhalten eingeschränkt, ohne dabei das System in seiner Flexibilität und seinen Entscheidungsmöglichkeiten zu beinträchtigen. Der vorgestellte Ansatz ermöglicht die Abgabe von Verhaltensgarantien in selbst-organisierenden Systemen und sorgt damit dafür, dass auch sicherheitskritische Systeme von den Vorteilen der Selbst-Organisation profitieren können.