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
How to perform Cost-Effective Multicore Verification – An Industrial Tutorial
Download type: Case study
What's inside
The Alenia Aermacchi (now Leonardo) M-346 Master is a military transonic trainer aircraft designed for training combat pilots for front line fighter aircraft and is powered by a digital flight control system.
Learn how Alenia Aermacchi used RapiCover to produce coverage evidence for this DO-178B Level A system.
Other case studies
