"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.
More information at www.sysgo.com/certkits/do-178
More information at www.sysgo.com/avionics