-
Safety-Critical ARINC 653 Real-Time Kernel Verification Lead #3!kW8x
Montréal Flight Software Systems @8$pM9q
Perform formal verification of ARINC 653 partitioned operating systems, execute DO-178C Level A code coverage analysis, and test bus timing ...