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
Erweitern Sie Ihre Kenntnisse mit Coursera Plus für 239 $/Jahr (normalerweise 399 $). Jetzt sparen.
Systemvalidierung (2): Prozessverhalten modellieren
Dozent: Jan Friso Groote
4.028 bereits angemeldet
Bei enthalten
Verschaffen Sie sich einen Einblick in ein Thema und lernen Sie die Grundlagen.
10 Bewertungen
Stufe Mittel
Einige einschlägige Kenntnisse erforderlich
4 Stunden zu vervollständigen
Flexibler Zeitplan
In Ihrem eigenen Lerntempo lernen
Kompetenzen, die Sie erwerben
- Kategorie: Maintainability
- Kategorie: System Testing
- Kategorie: Distributed Computing
- Kategorie: Software Design
- Kategorie: Algorithms
- Kategorie: Data Modeling
- Kategorie: Verification And Validation
- Kategorie: Theoretical Computer Science
- Kategorie: Software Architecture
- Kategorie: Data Structures
- Kategorie: Systems Analysis
Werkzeuge, die Sie lernen werden
- Kategorie: Software Systems
- Kategorie: Embedded Software
Wichtige Details
Zertifikat zur Vorlage
Zu Ihrem LinkedIn-Profil hinzufügen
Bewertungen
3 Aufgaben
Unterrichtet in Englisch
Erfahren Sie, wie Mitarbeiter führender Unternehmen gefragte Kompetenzen erwerben.
Mehr von Software-Entwicklung entdecken
Status: VorschauUniversity of Leeds
Warum entscheiden sich Menschen für Coursera für ihre Karriere?
Felipe M.
Lernender seit 2018
„Es ist eine großartige Erfahrung, in meinem eigenen Tempo zu lernen. Ich kann lernen, wenn ich Zeit und Nerven dazu habe.“
Jennifer J.
Lernender seit 2020
„Bei einem spannenden neuen Projekt konnte ich die neuen Kenntnisse und Kompetenzen aus den Kursen direkt bei der Arbeit anwenden.“
Larry W.
Lernender seit 2021
„Wenn mir Kurse zu Themen fehlen, die meine Universität nicht anbietet, ist Coursera mit die beste Alternative.“
Chaitanya A.
„Man lernt nicht nur, um bei der Arbeit besser zu werden. Es geht noch um viel mehr. Bei Coursera kann ich ohne Grenzen lernen.“
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,