NASA selects Rapita Verification Suite for the Lunar Gateway
York Aerospace and Rocketry Society Update
FACE Technical Interchange Meeting - September 2021
Bell selects Rapita for Invictus 360 FARA Project
Introducing the RapiTest Editor
Software verification on the Solar Orbiter
Metrowerks CodeTest - How and why to upgrade
Leveraging FACE Conformance Artifacts to Support Airworthiness
DO-178C
MATLAB Simulink MCDC coverage and WCET analysis
Code coverage for Ada, C and C++
AMC 20-193
Aerospace TechWeek 2021
Safe Use of Multi-Core Processors Seminar
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
