Content type Case studyWebinarWhite paper Related products (field_related_products) RVSRapiTestRapiCoverRapiTimeRapiTaskRapiCoverZeroRapiTimeZeroRapiTaskZeroRTBxCAST-32A Compliance SolutionRapiDaemonsRapiComplyMx-Suite Related services (field_related_services) CustomizationEarly access programIntegrationMulticore Timing SolutionProof of conceptQualificationSoftware Verification ServicesSupportTraining White paper 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… Seven Roadblocks to 100% Structural Coverage (and how to avoid them) In this white paper, we review the causes of being unable to attain 100% code coverage during testing, and will identify four strategies for handling code that has… Eight top code coverage questions in embedded avionics systems In this white paper, learn the most common questions asked about code coverage in embedded avionics systems, and how RapiCover supports coverage analysis in DO-178B… Automating WCET Analysis for DO-178B & DO-178C This white paper describes what is required for worst-case execution time analysis in DO-178B and DO-178C projects, including industry best practices and how… Three steps to avoid software obsolescence in avionic systems In this white paper, learn how to avoid software obsolescence in avionics systems by measuring timing behavior, identifying optimizations and evaluating results. CodeTEST® Replacement with RVS In this white paper, learn how RVS provides a viable alternative to the use of the legacy CodeTEST tool for structural coverage and timing analysis. Webinar Verifying Multicore RTOS Partitioning for DO-178C (CAST-32A) Projects Combining RTOS partitioning, intelligent system design and expert independent verification is the most effective/… Out of the box Solution for Multicore Analysis - Rapita & DDC-I How DDC-I and Rapita can provide an end-to-end solution for addressing CAST-32A objectives. How to integrate the RVS… Certifying multicore systems for DO-178C (CAST-32A) projects In this webinar, you'll learn an approach to certifying multicore systems for DO-178C (CAST-32A) projects. Incremental Assurance of Multicore Integrated Modular Avionics (IMA) In this webinar, you'll learn about Incremental Assurance of Multicore Integrated Modular Avionics. Airborne Safety with FACE™ in the Digital Battlespace Avionics experts discuss how FACE conformance can help ensure system safety during the digital transformation journey… Multicore Timing for DO-178 Projects Webinar In this webinar, you'll learn from world-leading experts on multicore timing analysis and avionics certification. Multicore for ISO 26262 - Demonstrating freedom from interference webinar In this webinar, you'll learn from world-leading experts on multicore timing analysis and automotive certification. Case study Cobham Aerospace Connectivity: RapiCover continues to deliver on the most challenging targets How RapiCover efficiently produced coverage evidence for DO-178C certification of Cobham’s antenna control unit. Collins Aerospace: DO-178C code coverage analysis How our tools were used for DO-178C DAL A code coverage analysis for a complex flight control system. 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. 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. 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). Qualification of RapiCover for MC/DC coverage of DO-178B level-A software Learn how RVS tools measured structural code coverage up to MC/DC on the Flight Control System of the M-346. Alenia Aermacchi (Leonardo) M-346 Learn how RVS tools measured and improved the overall execution time of the flight control system on the M-346 Master. Automating schedulability analysis of on-board software on the Solar Orbiter Learn how RVS tools created a measurement-based analysis of Solar Orbiter on-board software for schedulability. OHB Sweden: Efficient DO-178C code coverage analysis using RapiCover Learn how RapiCover increased the efficiency of code coverage analysis for OHB Sweden's DO-178C Attitude Orbital Control System. BAE Systems Hawk Mission Computer Learn how RVS tools identified major worst-case execution time optimizations on the Hawk Trainer mission computer system. Wide Body Jet Flight Control System How our tools improved early detection and resolution of timing problems on a flight control system. Validation of COTS Ada Compiler for Safety-Critical Applications How Rapita conducted a successful Ada compiler validation project. Infineon SafeTCore drivers Our tools helped to verify the timing correctness of Infineon’s SafeTCore Safety Drivers running on Infineon’s TriCore family. Download Type (field_download_type) BrochureFAQProduct briefResearch projectTechnical note Related products (field_related_products) RVSRapiTestRapiCoverRapiTimeRapiTaskRapiCoverZeroRapiTimeZeroRapiTaskZeroRTBxCAST-32A Compliance SolutionRapiDaemonsRapiComplyMx-Suite Related services (field_related_services) CustomizationEarly access programIntegrationMulticore Timing SolutionProof of conceptQualificationSoftware Verification ServicesSupportTraining Research project parMERASA Learn more about the parMERASA project, which aimed to demonstrate the use of multicore processors in real-time systems… PRESTO Find out more about the PRESTO project, which aimed to improve test-based embedded systems development and validation… VeTeSS Learn about the pan-European VeTeSS (Verification and Testing to Support Functional Safety Standards) project, which… PROXIMA Learn about the pan-European PROXIMA (Probabilistic real-time control of mixed-criticality multicore and manycore… MERASA Learn about what the MERASA project, which developed multicore processors for hard real-time embedded systems and… PROARTIS Learn about the PROARTIS project, which aimed to develop new tools, hardware and software architectures to allow faster… Brochure Rapita Systems Brochure Find out more about Rapita Systems' solutions, which meet the needs of software verification for critical embedded… Multicore timing analysis solution for aerospace Learn how Rapita Systems identifies and quantifies interference channels in multicore hardware and helps produce… Software verification services for aerospace Learn how our Software Verification Services can help you reduce the cost of designing and implementing testing… Multicore timing analysis solution for automotive Learn how we identify and quantify interference channels in multicore hardware and help produce evidence that multicore… Product brief Functional testing for critical software with RapiTest Learn how RapiTest integrates into development environments to perform unit, integration and system… RapiTest Tool Qualification: DO-178B/C Learn how we provide tool qualification support for using RapiTest in projects requiring DO-178B/C… RapiTest Tool Qualification: ISO 26262 Learn how we provide tool qualification support for using RapiTest in projects requiring ISO 26262 … On-target structural code coverage analysis with RapiCover Learn how RapiCover can help to reduce testing effort when conducting code coverage analysis. RapiCover Tool Qualification: DO-178B/C Learn how we provide tool qualification support for using RapiCover in projects requiring DO-178B/C… RapiCover Tool Qualification: ISO 26262 Learn how we provide tool qualification support for using RapiCover in projects requiring ISO 26262 … Measurement-based timing and WCET analysis with RapiTime Learn how RapiTime performs detailed timing and worst-case execution time analysis with minimal… RapiTime Tool Qualification: DO-178B/C Learn how we provide tool qualification support for using RapiTime in projects requiring DO-178B/C… Visualising RTOS Scheduling and Event Tracing with RapiTask Find out how RapiTask can help you to understand software scheduling behavior and diagnose scheduling… Interference channel analysis support for DO-178 and CAST-32A with RapiDaemons Learn how RapiDaemons create interference on shared resources in multicore systems, supporting… CAST-32A Compliance Solution Learn how our CAST-32A Compliance Solution supports the generation of CAST-32A compliance artifacts for multicore… Zero-footprint coverage analysis with RapiCover Zero Learn how RapiCoverZero collects structural coverage metrics from software execution without needing… Zero-footprint execution time analysis with RapiTime Zero Learn how RapiTimeZero calculates the execution time of software without needing source code or… Zero-footprint RTOS event tracing with RapiTask Zero Learn how RapiTaskZero helps engineers understand the task-level scheduling behavior of their code… Continuous tracing with the RTBx data logger Learn how the RTBx data logger provides a cost-effective and easy-to-use approach to collecting timing… Target Integration Service Learn how our Target Integration Service creates a robust integration of RVS tools into your… Software support and maintenance Learn how we support RVS users through our Software support and maintenance service. Frozen Version Support Learn about the Rapita Systems software product life cycle and how we support projects with long lifetimes with our… Automotive Software Verification Services Learn how our Software Verification Services can help you reduce the cost of designing and implementing testing… FAQ Software licensing FAQ Answer your questions about our software licensing models and methods. Technical note Connecting the RTBx to Embedded Targets Learn how to connect the RTBx to embedded targets in order to collect verification data. Requirements for zero-footprint RVS analysis Learn the requirements for software analysis by zero-footprint RVS tools, and how to assess… Integrated Test Automation and Coverage for ISO 26262 using Mx-Suite with RapiCover Learn how integration between RapiCover and Mx-Suite allows coverage to be collected automatically… Using RapiTime with VxWorks to verify real-time performance Learn how RapiTime can be used with VxWorks to ensure that applications meet their timing requirements… Using RVS with iSYSTEM trace-enabled debuggers Learn how integrating RapiTime with iSYSTEM trace-enabled debuggers provides an effective way of… Using RapiTime and RapiTask with RTEMS® to verify real-time performance in a multicore environment Learn how RapiTime and RapiTask can be used with RTEMS to ensure that multicore… Measuring MATLAB Simulink models' worst-case execution time with RapiTime Learn how RapiTime can be integrated with MATLAB Simulink. RVS trace capture using Lauterbach TRACE-32 PowerTrace Learn how Lauterbach PowerTrace can be used to collect traces for RapiTime analysis. Videos Related product (field_video_related_product) RVSRapiTestRapiCoverRapiTimeRapiTaskRapiCoverZeroRapiTimeZeroRapiTaskZeroRTBxCAST-32A Compliance SolutionRapiDaemonsRapiComplyMx-Suite Related services (field_video_related_services) CustomizationEarly access programIntegrationMulticore Timing SolutionProof of conceptQualificationSoftware Verification ServicesSupportTraining CAST-32A Compliance for DO-178C projects CAST-32A Compliance packages provide an end-to-end solution for producing certification evidence to satisfy DO-178C and CAST-32A objectives. On-target software verification with RVS Discover how to run requirement based tests, produce coverage evidence and perform timing analysis for your applications on-target. Functional testing with RapiTest RapiTest – Functional testing for critical software. Structural coverage analysis with RapiCover RapiCover – Low-overhead coverage analysis for critical software. Execution time analysis with RapiTime RapiTime – In-depth execution time analysis for critical software. System event tracing with RapiTask RapiTask – RTOS scheduling visualization for critical software. Zero footprint coverage analysis with RapiCover Zero RapiCoverZero – Zero-footprint structural coverage analysis for critical software. Zero footprint timing analysis with RapiTime Zero RapiTimeZero – Zero-footprint in-depth execution time analysis for critical software. Zero-footprint system event tracing with RapiTask Zero RapiTaskZero – Zero-footprint RTOS scheduling visualization for critical software. Continuous verification with RVS and Bamboo Learn how RVS helps you track the progress of your software verification through continuous builds with Bamboo. Continuous verification with RVS and Jenkins Learn how RVS helps you track the progress of your software verification through continuous builds with Jenkins. Optimizing tests to run after code changes with RVS Learn how RVS reduces the effort needed to rerun tests after code changes by identifying the optimal set of tests to rerun to assess the impact of the change. Requirements traceability with RapiTest Learn how RapiTest helps you trace between your requirements-based tests and the requirements from which they were developed and track your requirements coverage. Easily manage test runs with RapiTest Learn how RapiTest makes it easy to select the tests you want to run with quick selection and filtering options. Generating test templates with RapiTest Learn how RapiTest's template generator helps you to generate test templates quickly. Testing using the RapiTest scripting language Learn how the RapiTest Scripting Language makes it easy to write tests for use with RapiTest. Justifying untestable code with RapiCover Learn how RapiCover and RapiCoverZero justifications let you mark untestable code as covered by analysis. Merging coverage from multiple tests with RapiCover Learn how RapiCover helps you automatically merge coverage from multiple tests. Merging coverage from different builds with RapiCover Learn how RapiCover helps you automatically merge coverage from different builds. Clear qualification guidance with RVS qualification kits Learn how RVS qualification kits help make the tool qualification process efficient by answering many of the questions commonly asked throughout it. Streamlined software verification with RVS 3.14 Learn how RVS 3.14 makes software verification more efficient, including new features and enhancements for RapiTest, the ability to collect and analyze multicore p Multicore Timing Analysis Demo Darknet YOLOv3 Object Detection MASTECS Project The MASTECS project aims to innovate and commercialize exploitable technology for multicore timing analysis. Ask the expert: Multicore safety Lynx Software Technologies discusses the state of multicore safety with Rapita experts. Apply Clear filters Content type White paper Case study Webinar Brochure Product brief Technical note Research project FAQ Video Solution RVS RapiTest RapiCover RapiTime RapiTask RapiCoverZero RapiTimeZero RapiTaskZero CAST-32A Compliance Solution RTBx RapiDaemons Integration Multicore Timing Solution Qualification Support Training Software Verification Services Apply Clear filters