Microkernel-Portierung fuer ein sicherheitskritisches Avionik-Steuergeraet
Übersicht
Worum es bei diesem Projekt geht.
Definiere zuerst einen Referenz-Workload: drei Tasks mit Inter-Process-Communication ueber Message-Passing, harte Deadlines von 1 ms und einer geteilten Sensor-Datenquelle. Portiere ihn auf seL4 (formal verifizierter Microkernel) und Zircon (Microkernel-aehnlich, aus dem Fuchsia-Projekt). Miss Context-Switch-Latenz, IPC-Durchsatz und Worst-Case-Wake-up-Latency. Bewerte parallel die Zertifizierungs-Reife (DO-178C-Bezug bei seL4 ueber CertiKOS-Pfad). Liefere portierte Referenz-Implementierungen, einen 12-Seiten-Vergleichsbericht und eine 15-Folien-Architektur-Empfehlung.
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.
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