. "Tristan" . "DO-178C"@en . "Open source"@en . . "Source coverage"@en . "DO-178B"@en . "Tristan Gingold" . "Target emulation"@en . "Gingold" . "Object coverage"@en . "65fda35ae68934b41784526713f7589b" .