Learn how our Software Verification Services can help you reduce the cost of designing and implementing testing processes for critical aerospace software.
Learn how we identify and quantify interference channels in multicore hardware and help produce evidence that multicore automotive code is free from interference to meet ISO 26262 certification standards.
Learn how we identify and quantify interference channels in multicore hardware and help produce evidence to certify multicore aerospace systems for DO-178C/CAST-32A.
This white paper explores the challenges of performing multicore timing analysis in critical aerospace systems development and presents a practical solution that overcomes these challenges and is compliant with DO-178C and CAST-32A.
Our tools measured structural code coverage up to MC/DC on the Flight Control System of the M-436, leading transonic trainer aircraft from Aermacchi.
How RapiCover increased efficiency of code coverage analysis for OHB Sweden's DO-178C Attitude Orbital Control System software on the Electra satellite.
Find out more about our collaborative work on this EU project which focuses on the development of multicore processors for hard real-time embedded systems and techniques to guarantee analyzability and timing predictability.
Find out about a project which is developing new tools, hardware and software architectures that will allow faster computer hardware features to be used and analyzed more easily in reliable systems.