SYSGO has just completed the verification of a commercial real-time operating system for aerospace applications. The trades and documents ("artefacts") required for certification according to DO-178B Level A were handed over to the client Rockwell Collins, Inc., Cedar Rapids, USA. The project took a total of 3 years to complete.