RVS 3.16 Launched
Aerospace Tech Week – November 2021
NASA selects Rapita Verification Suite for the Lunar Gateway
York Aerospace and Rocketry Society Update
DO-178C - Stage of Involvement 4
DO-178C - Stage of Involvement 3
AMC 20-193 and what it means to you
DO-178C - Stage of Involvement 2
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
SYSGO + Rapita: Verifying your Multicore RTOS
ERTS Congress
DO-178C Multicore In-person Training
Air Force FACE and SOSA TIM and Expo
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.
