Kurs

Blended learning in Freiburg Im Breisgau

2.300 € inkl. MwSt.

Beschreibung

  • Kursart

    Kurs berufsbegleitend

  • Niveau

    Fortgeschritten

  • Methodik

    Blended

  • Ort

    Freiburg im breisgau

  • Unterrichtsstunden

    180h

  • Dauer

    1 Semester

  • Beginn

    17.10.2022

Viele moderne Produkte basieren auf mikroelektronischen Komponenten, deren korrekte Bauweise und zuverlässige Funktionalität unter Umständen – etwa in der Medizintechnik oder der Autoelektronik – lebenswichtig sein können. Daher werden hohe Anforderungen an die Qualität der in den Produkten eingesetzten mikroelektronischen Systeme gestellt. In diesem Kurs lernen Sie verschiedene Verifikationsmethoden für digitale Komponenten kennen, mit denen es Ihnen gelingt, subtile Fehler in Protokollen und Hardwareimplementierungen aufzuspüren und Entwicklungsfehler zu vermeiden.

Standorte und Zeitplan

Lage

Beginn

Freiburg Im Breisgau (Baden-Württemberg)
Karte ansehen
Georges-Köhler Allee 10, 79110

Beginn

17.Okt. 2022Anmeldung möglich

Hinweise zu diesem Kurs

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.

Fragen & Antworten

Ihre Frage hinzufügen

Unsere Berater und andere Nutzer werden Ihnen antworten können

Wer möchten Sie Ihre Frage beantworten?

Geben Sie Ihre Kontaktdaten ein, um eine Antwort zu erhalten

Es werden nur Ihr Name und Ihre Frage veröffentlicht.

Meinungen

Themen

  • Strukturbasierte Methoden
  • Strukturbasierte Methoden Äquivalenzvergleich
  • Eigenschaftsprüfung bei Schaltungen
  • Verifikationsmethoden für digitale Komponenten
  • Vermeidung von Entwicklungsfehlern
  • Verifikation von Software
  • Verifikation von hybriden Systemen
  • Überprüfung gegebener Spezifikationen
  • Binary Decision Diagrams

Dozenten

Dr. Ralf Wimmer

Dr. Ralf Wimmer

Rechnerarchitektur

Prof. Dr. Christoph Scholl

Prof. Dr. Christoph Scholl

Betriebssysteme

Inhalte

Einführung in verschiedene Verifikationstechniken für digitale Komponenten, für die Identifikation von subtilen Fehlern in Protokollen und Hardwareimplementierung die die Vermeidung von Entwicklungsfehlern.

Schwerpunkte:
  • Verschiedene Verifikationsmethoden
  • Strukturbasierte Methoden für den Äquivalenzvergleich
  • Eigenschaftsprüfung von Schaltungen
  • Gefahren im feherhaften Entwurf eingebetteter Systeme
  • Instrumentalien zum Nachweis und zur Vermeidung von Fehlern durh formale Methoden


Ablauf:
  1. Allgemeine Einführungsveranstaltung
  2. E-Training & Online-Meeting
  3. Prüfung und Zertifikat



Zusätzliche Informationen

https://www.masteronline-iems.de/informationen/alle-kurse/verifikation-eingebetteter-systeme.html

Verifikation eingebetteter Systeme

2.300 € inkl. MwSt.