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
We enjoyed exhibiting at Aerospace TechWeek (formerly 'AEE') last week at the MOC event center in Munich, Germany.
On the second day of the event, Rapita's Ian Hodgson, Senior Account Manager, gave a well received presentation that explored the challenges of multicore timing analysis, including accounting for the effects of interference and contention. Rapita's Multicore Timing Analysis Solution specifically solves these challenges, helping customers to meet the CAST-32A guidance included in certifying multicore systems to DO-178C standards.
We got the third higher score at RapiTetris ! @rapitasystems #AerospaceTechWeek pic.twitter.com/l3LpC6O4eL
— AdaCore (@AdaCoreCompany) March 12, 2019
Aerospace TechWeek also gave us the chance to reveal our new RapiTetris arcade box. RapiTetris, based on a modified version of Tetris integrated with RapiCover, lets players collect and view structural coverage data while they play. The challenge is to try and achieve full MC/DC coverage of the game code within 5 minutes.
With lots of entries from various delegates and exhibitors, the leaderboard quickly filled up. But, as you can see in their tweet, AdaCore didn't quite manage to finish on top – better luck next time!
With our stand already booked for next year, we can't wait to see everyone again in Toulouse.
