Systemvalidierung (3): Anforderungen durch Modalformeln

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. „Anforderungen durch Modalformeln“ ist der dritte Kurs, der Ihnen zeigt, wie Sie Anforderungen an die Automaten festlegen, um die richtige Beziehung zwischen den Anforderungen und dem Verhalten des Systems herzustellen. Lesestoff. JF Groote und MR Mousavi. Modellierung und Analyse kommunizierender Systeme. Die MIT Press, 2014.