RVS 3.19 Launched
Rapita is proud to be an ISOLDE Partner
Rapita and SYSGO underline partnership
RVS 3.18 Launched
Measuring response times and more with RapiTime
Why mitigating interference alone isn’t enough to verify timing performance for multicore DO-178C projects
There are how many sources of interference in a multicore system?
Supporting modern development methodologies for verification of safety-critical software
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
DASC 2023
DO-178C Multicore In-person Training (Huntsville)
HISC 2023
NXP's MCFA 2023
Leonardo
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.
Alenia Aermacchi used both RapiTime and RapiCover to develop flight control software for the M-346 Master, allowing them to easily identify worst-case execution time hotspots and produce evidence that their testing covered their code base, as needed for their DO-178B certification.
By using these RVS tools, Alenia Aermacchi was able to rapidly identify bottlenecks in their system, supporting optimizations to worst-case timing behavior in their system and produce structural code coverage evidence (including MC/DC) of their level-A software quickly, accurately and efficiently.
Collins Aerospace
Collins Aerospace™ were awarded the contract to develop the flight control system for the Boeing 777X aircraft, which is rated at DAL A under DO-178C.
Collins Aerospace chose RapiCover to perform coverage analysis on the flight control system based on its proven track record when used in complex, critical aerospace projects.
RapiCover's low on-target overheads allowed Collins Aerospace to reduce their testing effort by reducing the number of builds needed to collect coverage results, and Rapita's qualification support for RapiCover reduced the cost and risk of Collins Aerospace's tool qualification.
Airbus
The A330® Multi-Role Tanker Transport, developed by Airbus™ Defence & Space, includes a Boom Control and Computing System that is classified as a Level A system according to DO-178B guidelines.
Airbus Defence & Space chose RapiTime to perform worst-case execution time analysis on this system.
RapiTime’s automated WCET instrumentation and analysis significantly reduced the effort needed for Airbus Defence & Space to produce evidence required for DO-178B certification compared to manual processes, and identified hotspots that could be optimized to improve the software's worst-case timing behavior.
BAE Systems
The Hawk®, one of BAE Systems' most famous airplanes, is one of the world’s most successful advanced training aircraft, outperforming and outselling all other aircraft in its class.
BAE Systems™ chose RapiTime to help optimize code for the Operational Flight Program software on the Hawk to reduce its worst-case execution time (WCET).
By using RapiTime to automate worst-case execution time analysis and identify WCET hotspots, BAE Systems achieved a 23% reduction in the worst-case execution time of analyzed partitions with less than 10% of the effort of approaches they were using previously.
University of Alcalá
The Solar Orbiter is a joint project by the European Space Agency (ESA™) and the National Aeronautics and Space Administration (NASA™) to study the behavior of the Sun.
The University of Alcalá developed onboard software for the Instrument Control Unit of the Energetic Particle Detector onboard the Solar Orbiter, which launched in February 2020.
The University of Alcalá chose RapiTime to support schedulability analysis of the software they developed. Integrating with their existing MAST (Modeling and Analysis Suite for real-time applications) tool, RapiTime calculated worst-case execution time data that was needed for schedulability analysis.
OHB Sweden
OHB Sweden has been providing complete space missions, satellites and spacecraft subsystems for over 30 years.
A Core Team Partner in the Electra satellite programme, OHB Sweden™ developed the attitude and orbit control subsystems of the satellite.
As part of the AMASS project, OHB Sweden selected RapiCover to improve the efficiency of coverage analysis during their software testing of the Electra satellite's Attitude Orbital Control System.
Triumph Group
Triumph Integrated Systems™, a business unit of the Triumph Group, provides custom integrated systems such as actuators, gearboxes and flight controls to the global aerospace market.
Triumph contracted Rapita to perform end-to-end verification and validation of their DO-178C DAL A software, which was being developed for multiple actuation systems as part of a technology demonstration program for a US customer.
Rapita performed this work through their V & V Services. The work included writing and reviewing requirements and requirements-based tests and using RapiTest and RapiCover to run requirements-based tests and collect coverage evidence for DO-178C certification.
