Rapita Systems (since April 2016 a Danlaw company) recently published a news mentioning the standardization of SYSGO on the use of RapiCover to automate structural coverage analysis of its real-time operating system PikeOS.
SYSGO will be using RapiCover to verify structural coverage testing of upcoming versions of PikeOS, which is DO-178C DAL A certified.
Dr. Guillem Bernat, CEO of Rapita Systems, is pleased by the opportunity to work with SYSGO: “We’re delighted to support SYSGO verifying the structural coverage of PikeOS. We look forward to continuing our partnership over the years to come.”
Click HERE to read the complete news or join the LinkedIn group “Certified RTOS” if you are interested in discussing the needs and certification aspects of certified real-time operating systems in general.