Airborne OS micro kernel
Re-engineering and formal verification of Airborne OS micro kernel + BSP.
Technology highlights:
C, ASM ARM Cortex-Mx, HAL
Size and duration:
4 engineers, 1 year.
Success statement:
Re-engineering completed without support from micro kernel authors. Some critical safety bugs found and eliminated.
C, ASM ARM Cortex-Mx, HAL
Size and duration:
4 engineers, 1 year.
Success statement:
Re-engineering completed without support from micro kernel authors. Some critical safety bugs found and eliminated.
“
We were surprisingly pleased with Advalange team's high level of qualification, their attention to the customer's needs and readiness to take into consideration all our demands.