Aversan Inc. Canada avionics, do-178c, do-254, mbse, safety-critical systems, systems engineering, and systems integration lab