Finite-State-Machine für ein Lichtsignal-Steuerungs-Prototyp
Übersicht
Worum es bei diesem Projekt geht.
Implementiere eine FSM für einen Ampel-Prototyp in VHDL, teste alle Zustandsübergänge und erhalte ein verifizierbares Zertifikat.
Das Szenario
Der Hersteller (rund 65 Mio. EUR Umsatz, in zweiter Generation familiengeführt) liefert an Verkehrsbetriebe in 9 deutschen und österreichischen Städten — funktionale Sicherheit ist eine harte Anforderung, die jeden Tarif-Vertrag betrifft.
Das Briefing
Was Du tust und was Du zeigst.
Wie entwirft, implementiert und verifiziert man eine FSM für eine adaptive Ampel-Steuerung mit Coverage-Tests und Sicherheits-Assertions?
Earning criteria — what you'll demonstrate
- FSM-Spezifikation aus Anforderungen sauber ableiten
- Two-Process- vs. Three-Process-VHDL-Stil mit Trade-offs wählen
- Coverage-getriebene Verifikation als Standard-Praxis anwenden
- Assertions für sicherheitskritische Eigenschaften formulieren
Studienpassung
Wo dies in Dein Studium passt.
Schärft dieselben Fähigkeiten, die Dein Studium von Dir erwartet.
Studienzuordnung folgt in Kürze.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
- Fsm Design
Apply fsm design to solve real industry problems and demonstrate production-level capability.
- Vhdl
Apply vhdl to solve real industry problems and demonstrate production-level capability.
- Hdl Design
Apply hdl design to solve real industry problems and demonstrate production-level capability.
- Coverage Testing
Apply coverage testing to solve real industry problems and demonstrate production-level capability.
- Assertions
Apply assertions to solve real industry problems and demonstrate production-level capability.
- Sequential Circuits
Apply sequential circuits to solve real industry problems and demonstrate production-level capability.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Software-Entwickler:in
Software-Entwickler:innen, die FSMs sauber designen können, schreiben State-Maschinen in jeder Sprache (Switch-Case, State-Pattern) deutlich besser.
Dieses Projekt schärft
- fsm-design
- sequential-circuits
- assertions
Noch eine Sache