Systemvalidierung ist der Bereich, der sich mit den Grundlagen der Systemkommunikation und Informationsverarbeitung beschäftigt. Sie ermöglicht eine automatisierte Analyse auf der Grundlage von Verhaltensmodellen eines Systems, um festzustellen, ob ein System korrekt funktioniert. Wir wollen garantieren, dass das System genau das tut, was es tun soll. Mit den Techniken der Systemvalidierung lässt sich die Abwesenheit von Fehlern nachweisen. Sie ermöglichen es, das Verhalten eingebetteter Systeme zu entwerfen, das strukturell solide ist, und zwingen Sie als Nebeneffekt dazu, das Verhalten einfach und aufschlussreich zu gestalten. Das bedeutet, dass sich die Systeme nicht nur korrekt verhalten, sondern auch viel einfacher zu warten und anzupassen sind. 'Anforderungen durch modale Formeln' ist der dritte Kurs, der Ihnen zeigt, wie Sie Anforderungen für die Automaten spezifizieren, um die richtige Beziehung zwischen den Anforderungen und dem Verhalten des Systems herzustellen. Lesestoff. J.F. Groote und M.R. Mousavi. Modellierung und Analyse von kommunizierenden Systemen. The MIT Press, 2014.
Systemvalidierung (3): Anforderungen durch modale Formeln
Systemvalidierung (3): Anforderungen durch modale Formeln
Dozent: Jan Friso Groote
3.674 bereits angemeldet
Bei enthalten
13 Bewertungen
Was Sie lernen werden
Learn how to specify system requirements using modal logic and formal behavioural properties.
Apply formal verification techniques to analyse and validate the behaviour of distributed and embedded systems.
Learn how modal formulas are translated into Boolean Equation Systems (BES) for automated verification.
Understand Hennessy-Milner logic and fixed-point operators for describing complex software behaviour.
Kompetenzen, die Sie erwerben
- Kategorie: Verifizierung und Validierung
- Kategorie: Funktionale Anforderung
- Kategorie: Systemanforderungen
- Kategorie: Analyse der Anforderungen
- Kategorie: Entwurf von Systemen
- Kategorie: Funktionale Spezifikation
- Kategorie: Theoretische Informatik
- Kategorie: Rechnerische Logik
Wichtige Details
Zu Ihrem LinkedIn-Profil hinzufügen
2 Aufgaben
Erfahren Sie, wie Mitarbeiter führender Unternehmen gefragte Kompetenzen erwerben.
Mehr von Software-Entwicklung entdecken
Status: Kostenloser TestzeitraumUniversity of Colorado Boulder
Warum entscheiden sich Menschen für Coursera für ihre Karriere?
Felipe M.
Jennifer J.
Larry W.
Chaitanya A.
Neue Karrieremöglichkeiten mit Coursera Plus
Unbegrenzter Zugang zu 10,000+ Weltklasse-Kursen, praktischen Projekten und berufsqualifizierenden Zertifikatsprogrammen - alles in Ihrem Abonnement enthalten
Bringen Sie Ihre Karriere mit einem Online-Abschluss voran.
Erwerben Sie einen Abschluss von erstklassigen Universitäten – 100 % online
Schließen Sie sich mehr als 3.400 Unternehmen in aller Welt an, die sich für Coursera for Business entschieden haben.
Schulen Sie Ihre Mitarbeiter*innen, um sich in der digitalen Wirtschaft zu behaupten.
Häufig gestellte Fragen
Weitere Fragen
Finanzielle Unterstützung verfügbar,