Airborne OS micro kernel
Reengineering und formale Verifizierung des Onboard-Betriebssystems micro kernel + BSP.
Schlüsseltechnologien:
C, ASM ARM Cortex-Mx, HAL, GOST-Standard 51904, Stufe А
Team und Dauerzeit:
4 Ingenieure, 1 Jahr.
Erfolgsgeschichte:
Das Reengineering wurde ohne die Unterstützung der Autoren des Mikrokerns abgeschlossen. Einige kritische Sicherheit-Fehler wurden gefunden und behoben.
C, ASM ARM Cortex-Mx, HAL, GOST-Standard 51904, Stufe А
Team und Dauerzeit:
4 Ingenieure, 1 Jahr.
Erfolgsgeschichte:
Das Reengineering wurde ohne die Unterstützung der Autoren des Mikrokerns abgeschlossen. Einige kritische Sicherheit-Fehler wurden gefunden und behoben.
“
Wir waren mit dem hohen fachlichen Niveau des Advalange-Teams, seiner Aufmerksamkeit für die Erfordernisse der Kunden und seiner Bereitschaft, alle unsere Anforderungen zu berücksichtigen, erstaunlich zufrieden.
