Microkernel-Portierung fuer ein sicherheitskritisches Avionik-Steuergeraet
Übersicht
Worum es bei diesem Projekt geht.
Portiere drei Echtzeit-Tasks per IPC auf seL4 und Zircon, miss Latenzen – erhalte ein verifizierbares Zertifikat.
Das Briefing
Was Du tust und was Du zeigst.
Welcher Microkernel — seL4 oder Zircon — eignet sich besser als Basis fuer ein neues sicherheitskritisches Avionik-Steuergeraet, gemessen an Performance, IPC-Verhalten und Zertifizierungspfad?
Earning criteria — what you'll demonstrate
- Architekturphilosophien von Microkernel-Designs (seL4 capability-based vs. Zircon handle-based) gegeneinander stellen
- IPC-Performance unter Echtzeit-Bedingungen reproduzierbar messen
- Zertifizierungs-Argumente in eine technische Entscheidung integrieren
- Architektur-Empfehlungen fuer Lebenszyklen ueber zehn Jahre begruenden
Studienpassung
Wo dies in Dein Studium passt.
Schärft dieselben Fähigkeiten, die Dein Studium von Dir erwartet.
Advanced Operating Systems
Master · Cs Se
Fit score: 1
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Karrierewege, die das aufbaut
Kanonische RollenSystems Architect
Architekt:innen mit echter Microkernel-Portierungserfahrung sind im sicherheitskritischen Markt extrem rar — die hier produzierte Studie ist genau das Portfolio-Stueck, das Senior-Architekt-Positionen oeffnet.
Dieses Projekt schärft
- microkernels
- operating-systems
- embedded-systems
Software Engineer
Embedded- und Systems-Engineering-Rollen in Automotive und Avionik suchen aktiv nach Bewerber:innen mit Microkernel-Erfahrung — die IPC-Mess-Methodik aus dieser Challenge ist ein konkretes Differenzierungsmerkmal.
Dieses Projekt schärft
- microkernels
- ipc
- real-time-systems
Noch eine Sache