Runtime Verification, Fachbücher von Oleg Sokolsky, Serdar Tasiran

Das Buch "Runtime Verification" von Springer bietet eine umfassende Einführung in ein aktuelles Forschungsfeld der formalen Methoden, das sich als Ergänzung zu etablierten Verifikationsmethoden wie dem Model Checking versteht. Es behandelt die Entwicklung formaler Sprachen, die zur Beschreibung von Systemeigenschaften geeignet sind, die zur Laufzeit überprüfbar sind. Zudem werden Algorithmen zur Überprüfung formaler Eigenschaften über Ausführungsspuren sowie effiziente Methoden zur Informationsgewinnung aus laufenden Systemen thematisiert. Die Anwendungen der Runtime Verification-Technologie sind vielfältig und reichen von der Überwachung der Systemkorrektheit und -leistung nach der Bereitstellung bis hin zur Erstellung formal spezifizierter Testorakel und der Sammlung von Statistiken über das Systemverhalten. Das Buch reflektiert auch die Entwicklung und die jährlichen Workshops zu diesem Thema, die seit 2001 stattfinden und wichtige Verbindungen zu anderen Softwareentwicklungsgemeinschaften erkunden.