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.
"SYSGO's main task in the certification process was primarily the formal verification of the operating system kernel", explains Rich Biro, Principle Engineering Project Manager at Rockwell Collins. "SYSGO's expertise at this point was critical to the success of the overall project."
The contract included 2 additional milestone compliance bonus awards, of which SYSGO received 96% for the first milestone and 100% for the second. "We are proud to have been involved in the first-ever certification of the operating system," said Detlev Schaadt, SYSGO's Chief Technology Officer, "and we will bring this experience to bear in future projects in the certification environment."
In connection with this, SYSGO will be holding several seminars on DO-178B certification of the LynxOS real-time operating system with LynuxWorks this spring. The first event will take place on 27 February in Munich.
Twitter
LinkedIn
Facebook
Pocket
RSS
