Wissenschaftlicher Produktionsbetrieb Dozor
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.
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.
Dmitry Podhvatilin, Stellvertreter des Chefkonstrukteurs
Wissenschaftlicher Produktionsbetrieb Dozor