Systemvalidierung (4): Modellierung von Software, Protokollen und anderem Verhalten

Beschreibung

Systemvalidierung ist der Bereich, der die Grundlagen der Systemkommunikation und Informationsverarbeitung untersucht. Es ermöglicht eine automatisierte Analyse basierend auf Verhaltensmodellen eines Systems, um festzustellen, ob ein System ordnungsgemäß funktioniert. Wir wollen garantieren, dass die Systeme genau das tun, was sie tun sollen. Die bei der Systemvalidierung vorgeschlagenen Techniken ermöglichen den Nachweis der Fehlerfreiheit. Es ermöglicht die Gestaltung des Verhaltens eingebetteter Systeme, das strukturell solide ist, und zwingt Sie als Nebeneffekt dazu, das Verhalten einfach und aufschlussreich zu gestalten. Dadurch verhalten sich die Systeme nicht nur korrekt, sondern sind auch wesentlich einfacher zu warten und anzupassen. „Modellierung von Softwareprotokollen und anderem Verhalten“ zeigt die Leistungsfähigkeit formaler Methoden bei der Softwaremodellierung, Kommunikationsprotokollen und anderen Beispielen. Lesestoff. JF Groote und MR Mousavi. Modellierung und Analyse kommunizierender Systeme. Die MIT Press, 2014.