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
Systemvalidierung (2): Prozessverhalten modellieren
Dozent: Jan Friso Groote
4.020 bereits angemeldet
Bei enthalten
10 reviews
Kompetenzen, die Sie erwerben
- Kategorie: Mathematische Modellierung
- Kategorie: Datenstrukturen
- Kategorie: Systemsoftware Systeme
- Kategorie: Eingebettete Software
- Kategorie: Datenmodellierung
- Kategorie: Algorithmen
- Kategorie: Software Entwurf
- Kategorie: Systemanalyse
- Kategorie: Verifizierung und Validierung
- Kategorie: Verteiltes Rechnen
- Kategorie: Theoretische Informatik
- Kategorie: Software-Architektur
Wichtige Details
Zu Ihrem LinkedIn-Profil hinzufügen
3 Aufgaben
Erfahren Sie, wie Mitarbeiter führender Unternehmen gefragte Kompetenzen erwerben.
In diesem Kurs gibt es 3 Module
Das ist alles enthalten
7 Videos1 Aufgabe
Das ist alles enthalten
8 Videos1 Aufgabe
Das ist alles enthalten
3 Videos1 Aufgabe
Dozent
von
Mehr von Softwareentwicklung entdecken
Status: VorschauUniversity of Leeds
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
Um Zugang zu den Kursmaterialien und Aufgaben zu erhalten und um ein Zertifikat zu erwerben, müssen Sie die Zertifikatserfahrung erwerben, wenn Sie sich für einen Kurs anmelden. Sie können stattdessen eine kostenlose Testversion ausprobieren oder finanzielle Unterstützung beantragen. Der Kurs kann stattdessen die Option "Vollständiger Kurs, kein Zertifikat" anbieten. Mit dieser Option können Sie alle Kursmaterialien einsehen, die erforderlichen Bewertungen abgeben und eine Abschlussnote erhalten. Dies bedeutet auch, dass Sie kein Zertifikat erwerben können.
Wenn Sie sich für den Kurs einschreiben, erhalten Sie Zugang zu allen Kursen der Spezialisierung, und Sie erhalten ein Zertifikat, wenn Sie die Arbeit abgeschlossen haben. Ihr elektronisches Zertifikat wird Ihrer Seite "Leistungen" hinzugefügt - von dort aus können Sie Ihr Zertifikat ausdrucken oder Ihrem LinkedIn-Profil hinzufügen.
Ja. Für ausgewählte Lernprogramme können Sie eine finanzielle Unterstützung oder ein Stipendium beantragen, wenn Sie die Anmeldungsgebühr nicht aufbringen können. Wenn für das von Ihnen gewählte Lernprogramm eine finanzielle Unterstützung oder ein Stipendium verfügbar ist, finden Sie auf der Beschreibungsseite einen Link zur Beantragung.
Weitere Fragen
Finanzielle Unterstützung verfügbar,