Systemvalidierung (2): Modellprozessverhalten

Beschreibung

Systemvalidierung ist der Bereich, der die Grundlagen der Systemkommunikation und Informationsverarbeitung untersucht. Es ist der nächste logische Schritt in der Informatik und zur Verbesserung der Softwareentwicklung im Allgemeinen. 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. „Modellprozessverhalten“ ist der Nachfolge-MOOC zu „Automaten und Verhaltensäquivalenzen“. Dieser MOOC zeigt Ihnen, wie Sie Prozessverhalten, insbesondere Protokolle und verteilte Algorithmen, modellieren, tiefer in die Eigenschaften des Systemverhaltens eintauchen und die Dinge einfach halten, um eine Zustandsraumexplosion zu vermeiden. Lesestoff. JF Groote und MR Mousavi. Modellierung und Analyse kommunizierender Systeme. Die MIT Press, 2014.

Dieser Kurs ist Teil 2 der Kursreihe zur Systemvalidierung. Systemvalidierung ist als Kursreihe Teil eines größeren Online-Programms von EIT Digital mit dem Titel „Internet der Dinge durch eingebettete Systeme“.