Systemvalidierung ist ein Bereich, der sich mit den Grundlagen der Systemkommunikation und Informationsverarbeitung befasst. Sie ist der nächste logische Schritt in der Informatik und zur Verbesserung der Softwareentwicklung im Allgemeinen. Sie ermöglicht eine automatische Analyse auf der Basis von Verhaltensmodellen eines Systems, um festzustellen, ob ein System korrekt funktioniert. Wir wollen sicherstellen, dass das System genau das tut, was es tun soll. Mit den Techniken der Systemvalidierung lässt sich nachweisen, dass keine Fehler vorliegen. Sie ermöglichen es, das Verhalten eingebetteter Systeme so zu gestalten, dass es strukturell solide ist, und zwingen als Nebeneffekt dazu, das Verhalten einfach und aufschlussreich zu gestalten. Dies bedeutet, dass sich die Systeme nicht nur korrekt verhalten, sondern auch viel einfacher zu warten und anzupassen sind. modellieren von Prozessverhalten' ist der Folge-MOOC zu 'Automaten und Verhaltensäquivalenzen'. Dieser MOOC zeigt Ihnen, wie Sie das Verhalten von Prozessen, insbesondere von Protokollen und verteilten Algorithmen, modellieren, tiefer in die Eigenschaften des Systemverhaltens eintauchen und die Dinge einfach halten, um eine Explosion des Zustandsraums zu vermeiden. Lesestoff. J.F. Groote und M.R. Mousavi. Modeling and analysis of communicating systems. The MIT Press, 2014. Dieser Kurs ist Teil 2 der Reihe von Kursen zur Systemvalidierung. Systemvalidierung ist als Kursreihe Teil eines größeren 28Digital-Online-Programms namens "Internet der Dinge durch eingebettete Systeme".
Systemvalidierung (2): Prozessverhalten modellieren
Sparen Sie mit 40% Rabatt auf 3 Monate Coursera Plus bei den Fähigkeiten, die Sie zum Strahlen bringen. Jetzt sparen
Systemvalidierung (2): Prozessverhalten modellieren
Dozent: Jan Friso Groote
4.032 bereits angemeldet
Bei enthalten
10 Bewertungen
Was Sie lernen werden
Verstehen formaler Techniken zur Spezifikation und Analyse von Systemkommunikation und Informationsverarbeitung.
Anwendung von Konzepten der Prozessalgebra, einschließlich Aktionen, Rekursion, Synchronisation und Kommunikationsoperatoren
Konstruktion von und Arbeit mit formalen Datentypen, Mengen, Listen, Funktionen und strukturierten Spezifikationen für die Systemmodellierung
Analyse verteilter Algorithmen und gleichzeitiger Systeme wie Petersons Algorithmus zum gegenseitigen Ausschluss
Kompetenzen, die Sie erwerben
- Kategorie: Theoretische Informatik
- Kategorie: Datenmodellierung
- Kategorie: Systemanalyse
- Kategorie: Rechnerische Logik
- Kategorie: Logisches Denken
- Kategorie: Instandhaltbarkeit
- Kategorie: Verteiltes Rechnen
- Kategorie: Modellierung von Prozessen
- Kategorie: Verifizierung und Validierung
- Kategorie: Algorithmen
Werkzeuge, die Sie lernen werden
- Kategorie: Software-Systeme
- Kategorie: Eingebettete Software
Wichtige Details
Zu Ihrem LinkedIn-Profil hinzufügen
3 Aufgaben
Erfahren Sie, wie Mitarbeiter führender Unternehmen gefragte Kompetenzen erwerben.
Mehr von Software-Entwicklung entdecken
Warum entscheiden sich Menschen für Coursera für ihre Karriere?
Felipe M.
Jennifer J.
Larry W.
Chaitanya A.
Häufig gestellte Fragen
Weitere Fragen
Finanzielle Unterstützung verfügbar,