Verifikation eingebetteter Systeme

Nach dem Kurs können Sie...

...die Grundfragen der formalen Verifikation im Unterschied zur reinen Simulation von Schaltungen und Systemen herausarbeiten.

...wichtige algorithmische Techniken anwenden und gegebenenfalls an neue Bedürfnisse anpassen.

...mögliche Gefahren im Falle des fehlerhaften Entwurfs eingebetteter Systeme bestimmen.

...passende Instrumentarien zum Nachweis und zur Vermeidung solcher Fehler (insbesondere durch formale Methoden) auswählen und diese anwenden.

Der Kurs richtet sich an Fahkräfte aus den Bereichen Informatik, Mikrosystemtechnik, Elektrotechnik, Mechatronik oder anderen verwandten Disziplinen. Auch Personen ohne Hochschulabschluss, die sich berufsbegleitend in diesem Bereich weiterbilden möchten, können an dem Kurs teilnehmen.

Grundlagen der technischen Informatik, der theoretischen Informatik und der Logik

Weitere Informationen zu erwarteten Vorkenntnissen finden Sie unter https://www.masteronline-iems.de/weiterbildungskurse

Sie kennen die Grundfragen der formalen Verifikation im Unterschied zur reinen Simulation von Schaltungen und Systemen und können davon ausgehend wichtige algorithmische Techniken anwenden und gegebenenfalls an neue Bedürfnisse anpassen.

Auf unserer Homepage (www.masteronline-iems.de) finden Sie ausführliche Informationen zu unserem gesamten Kursangebot und unserem Konzept.