RVS 3.16 Launched
Aerospace Tech Week – November 2021
NASA selects Rapita Verification Suite for the Lunar Gateway
York Aerospace and Rocketry Society Update
Supporting modern development methodologies for verification of safety-critical software
Flexible licensing software fit for modern working
DO-178C - Stage of Involvement 4
DO-178C - Stage of Involvement 3
DO-178C Guidance: Introduction to RTCA DO-178 certification
MATLAB® Simulink® MCDC coverage and WCET analysis
Code coverage for Ada, C and C++
AMC 20-193
DO-178C Multicore In-person Training
Air Force FACE and SOSA TIM and Expo
Aerospace Tech Week Americas
Download type: Case study
What's inside
Infineon's PRO-SIL services support customers developing applications to meet IEC 61508 or ISO 26262. These services include safety drivers called SafeTCore, which are functionally independent of microcontroller hardware and can run on all microcontrollers in Infineon’s TriCore family.
Learn how Infineon used RapiTime to optimize the code in their SafeTCore drivers to reduce its WCET by up to 43.9%.
Other case studies
