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.
Systemvalidierung (4): Modellierung von Software, Protokollen und anderem Verhalten
Sparen Sie mit 40% Rabatt auf 3 Monate Coursera Plus bei den Fähigkeiten, die Sie zum Strahlen bringen. Jetzt sparen
Systemvalidierung (4): Modellierung von Software, Protokollen und anderem Verhalten
Dozent: Jan Friso Groote
4.804 bereits angemeldet
Bei enthalten
Verschaffen Sie sich einen Einblick in ein Thema und lernen Sie die Grundlagen.
13 Bewertungen
Stufe Fortgeschritten
Für Personen mit Branchenerfahrung konzipiert
4 Stunden zu vervollständigen
Flexibler Zeitplan
In Ihrem eigenen Lerntempo lernen
Was Sie lernen werden
Anwendung formaler Methoden zur Verbesserung der Korrektheit, Zuverlässigkeit und Wartbarkeit von eingebetteten Systemen und Kommunikationssystemen.
Anwendung von Techniken zur Vermeidung einer Zustandsraumexplosion durch kompositorischen und modularen Systementwurf.
Analyse von realen Kommunikationsprotokollen wie dem Alternating Bit Protocol und dem Sliding Window Protocol
Verstehen linearer Prozessgleichungen und wie komplexes Systemverhalten auf analysierbare Normalformen reduziert werden kann.
Kompetenzen, die Sie erwerben
- Kategorie: Datenmodellierung
- Kategorie: Entwurf von Systemen
- Kategorie: Rechnerische Logik
- Kategorie: Netzwerk-Protokolle
- Kategorie: Systemanalyse
- Kategorie: Kommunikationssysteme
- Kategorie: Software-Entwicklung
- Kategorie: Verifizierung und Validierung
- Kategorie: Modellierung von Prozessen
- Kategorie: Theoretische Informatik
Wichtige Details
Zertifikat zur Vorlage
Zu Ihrem LinkedIn-Profil hinzufügen
Bewertungen
2 Aufgaben
Unterrichtet in Englisch
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.
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.“
Häufig gestellte Fragen
Weitere Fragen
Finanzielle Unterstützung verfügbar,