Zukunftige Systeme erfordern ein hohes Mass an Flexibilitat, um den wachsenden Anforderungen gerecht zu werden. Gleichzeitig werden technische Systeme in mehr und mehr Bereichen eingesetzt und sollen dabei vielfaltigste Aufgaben ubernehmen. Selbst-Organisation ist ein Ansatz um robuste und anpassungsfahige Systeme zu entwickeln, welche auch bei unerwarteten Storungen 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 konnen, werden Techniken benotigt, die es erlauben, trotz der Selbst-Organisation, Verhaltensgarantien abzugeben. Dieses Buch stellt einen Spezifikations- und Verifikationsansatz fur selbst-organisierende Systeme vor. Mit dem Restore-Invariant-Ansatz wird eine Technik vorgestellt, die es erlaubt, einen Verhaltenskorridor fur ein System zu spezifizieren. Dabei wird das Verhalten des Systems auf das gewunschte Verhalten eingeschrankt, ohne dabei das System in seiner Flexibilitat und seinen Entscheidungsmoglichkeiten zu beintrachtigen. Der vorgestellte Ansatz ermoglicht die Abgabe von Verhaltensgarantien in selbst-organisierenden Systemen und sorgt damit dafur, dass auch sicherheitskritische Systeme von den Vorteilen der Selbst-Organisation profitieren konnen.