Learn how our Software Verification Services can help you reduce the cost of designing and implementing testing processes for critical aerospace software.
Media
Displaying 1 - 52 of 52
Brochures
Multicore timing analysis solution for automotive
Learn how we identify and quantify interference channels in multicore hardware and help produce evidence that multicore automotive code is free from interference to meet ISO 26262 certification standards.
Multicore timing analysis solution for aerospace
Learn how we identify and quantify interference channels in multicore hardware and help produce evidence to certify multicore aerospace systems for DO-178C/CAST-32A.
Rapita Systems Brochure
This brochure provides an introduction and overview of Rapita's tools & services.
Webinars
Verifying Multicore RTOS Partitioning for DO-178C (CAST-32A) Projects
Combining RTOS partitioning, intelligent system design and expert independent verification is the most effective/reliable pathway to DO-178C multicore certification.
Multicore for ISO26262 - Demonstrating freedom from interference webinar
In this webinar, you'll learn from world-leading experts on multicore timing analysis and automotive certification.
Multicore Timing for DO178 Projects Webinar
In this webinar, you'll learn from world-leading experts on multicore timing analysis and avionics certification.
White papers
CodeTEST® Replacement with RVS
The alternative solution for engineers using the now deprecated CodeTEST®.
Three steps to avoid software obsolescence in avionic systems
How to add new features while limiting the degradation of performance.
Seven Roadblocks to 100% structural coverage (and how to avoid them)
How to overcome the problem of being unable to get 100% code coverage during testing.
Automating WCET Analysis for DO-178B & DO-178C
What engineers working on DO-178B projects need to know about determining WCET.
Eight top code coverage questions in embedded avionics systems
What engineers conducting code coverage measurement on embedded avionics targets need to know.
Multicore Timing Analysis for DO-178C
This white paper explores the challenges of performing multicore timing analysis in critical aerospace systems development and presents a practical solution that overcomes these challenges and is compliant with DO-178C and CAST-32A.
Case studies
CDS gets WCET support for their next-generation custom processor
How Rapita Systems worked with CDS to develop, implement and validate a WCET process that works with their development approach.
Qualification of RapiCover for MC/DC coverage of DO-178B level-A software
Our tools measured structural code coverage up to MC/DC on the Flight Control System of the M-436, leading transonic trainer aircraft from Aermacchi.
Automating schedulability analysis of on-board software on the Solar Orbiter
Our tools created a measurement-based analysis of Solar Orbiter on-board software for schedulability.
Infineon SafeTCore drivers
Our tools helped to verify the timing correctness of Infineon’s SafeTCore Safety Drivers running on Infineon’s TriCore family.
DO-178B Level A Embraer FCS
How our tools captured worst case timing and stack usage data for DO-178B Level A Embraer Flight Control Systems (FCS).
Alenia Aermacchi (Leonardo) M-346
Our tools measured and improved the overall execution time of the flight control system on the M-346 Master.
Wide Body Jet Flight Control System
Our tools improved early detection and resolution of timing problems on a flight control system.
Establishing WCET for the Airbus A330 Multi-Role Transport Tanker
How RapiTime automated timing analysis and helped to identify timing hotspots in a military DO-178B project.
BAE Systems Hawk Mission Computer
Our tools identified major worst-case execution time optimizations on the Hawk Trainer mission computer system.
OHB Sweden: Efficient DO-178C code coverage analysis using RapiCover
How RapiCover increased efficiency of code coverage analysis for OHB Sweden's DO-178C Attitude Orbital Control System software on the Electra satellite.
Validation of COTS Ada Compiler for Safety-Critical Applications
How Rapita conducted a successful Ada compiler validation project.
Triumph Integrated Systems: DO-178C V&V
How Rapita’s V&V services produced evidence for DO-178C certification of Triumph’s actuation system software.
Product briefs
RapiTime Tool Qualification: DO-178B/C
Learn how we provide tool qualification support for using RapiTime in projects requiring DO-178B/C certification.
RapiCover Tool Qualification: ISO 26262
Learn how we provide tool qualification support for using RapiCover in projects requiring ISO 26262 certification.
RapiCover Tool Qualification: DO-178B/C
Learn how we provide tool qualification support for using RapiCover in projects requiring DO-178B/C certification.
RapiTest Tool Qualification: ISO 26262
Learn how we provide tool qualification support for using RapiTest in projects requiring ISO 26262 certification.
RapiTest Tool Qualification: DO-178B/C
Learn how we provide tool qualification support for using RapiTest in projects requiring DO-178B/C certification.
Automotive Software Verification Services
Learn how our Software Verification Services can help you reduce the cost of designing and implementing testing processes for critical automotive software.
Target Integration Service
Find out more about Rapita's Target Integration Service.
Visualising RTOS Scheduling and Event Tracing with RapiTask
Find out how RapiTask can help you to understand software scheduling behavior and diagnose scheduling issues.
Continuous tracing with the RTBx data logger
Learn how to collect timing and coverage data with the RTBx data logger.
Measurement-based timing and WCET analysis with RapiTime
Learn how RapiTime performs detailed timing and worst-case execution time analysis with minimal overheads.
On-target structural code coverage analysis with RapiCover
Learn how RapiCover can help to reduce testing effort when conducting code coverage analysis.
Functional testing for critical software with RapiTest
Learn how RapiTest integrates into development environments to perform unit, integration and system testing of embedded software.
Frozen Version Support
Learn about the Rapita Systems software product lifecycle and how we support projects with long lifetimes with our Frozen Version Support service.
FAQs
Software licensing FAQ
Answer your questions about our software licensing models and methods.
Technical notes
Integrated Test Automation and Coverage for ISO 26262 using Mx-Suite with RapiCover
An integration between RapiCover and Mx-Suite means coverage can now be collected automatically during testing.
Using RapiTime with VxWorks to verify real-time performance
Find out how we determined the worst-case execution time of VxWorks with real-time processes.
RapiTime trace capture using iSYSTEM trace-enabled debuggers
How integrating RapiTime with the iTRACE GT provided an effective way to collect the trace of instrumentation points.
Using RapiTime and RapiTask with RTEMS® to verify real-time performance in a multicore environment
Find out how RapiTime and RapiTask can be used with RTEMS on multicore projects
Measuring MATLAB Simulink models' worst-case execution time with RapiTime
This technical note describes how RapiTime can be integrated with MATLAB Simulink to achieve this level of reporting.
RVS trace capture using Lauterbach TRACE-32 PowerTrace
How RVS and Lauterbach PowerTrace were combined to collect trace instrumentation points for analysis.
Connecting the RTBx to Embedded Targets
Learn how to connect the RTBx to embedded targets in order to collect verification data.
Research projects
MERASA
Find out more about our collaborative work on this EU project which focuses on the development of multicore processors for hard real-time embedded systems and techniques to guarantee analyzability and timing predictability.
PROARTIS
Find out about a project which is developing new tools, hardware and software architectures that will allow faster computer hardware features to be used and analyzed more easily in reliable systems.
parMERASA
Learn more about a project which proposes a new solution to the pursuit of higher performance, improved safety and lower costs - multi-core processors.
PRESTO
Find out more about a project which aims to improve test-based embedded systems development and validation while considering the constraints of industrial development process.
VeTeSS
VeTeSS: Verification and Testing to Support Functional Safety Standards
PROXIMA
PROXIMA: Probabilistic real-time control of mixed-criticality multicore and manycore systems