-
Safety-Critical ARINC 653 Execution Memory Partitioning Lead #8!kW2x
Laurentian Flight Software Labs @4$pM3q
Architect deterministic time-and-space memory partitioning schemes for flight control computers, perform DO-178C Level A timing verification...