Content type Case studyWebinarWhite paper Related products (field_related_products) RVSRapiTestRapiCoverRapiTimeRapiTaskRapiCoverZeroRapiTimeZeroRapiTaskZeroRTBxMACH178RapiDaemonsRapiComplyMx-Suite Related services (field_related_services) Compiler verificationCustomizationEngineering ServicesEarly access programIntegrationMulticore Timing SolutionProof of conceptQualificationSoftware Verification ServicesSupportTraining White paper Efficient Verification Through the DO-178C Life Cycle This handbook delivered by Rapita Systems and ConsuNova Inc. presents useful information for DO-178C beginners and experts alike, including a description of DO-178C… 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… 5 key factors to consider when selecting an embedded testing tool This paper outlines five key features to look for when choosing a tool for embedded software testing. 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. Compliance with the Future Airborne Capability Environment (FACE) standard Learn about the FACE architecture, focusing on the ecosystem for UoP's & the tools to test, integrate, & certify systems based on the FACE Standard. A Commercial Solution for Safety-Critical Multicore Timing Analysis The MASTECS project is developing a commercial timing analysis solution designed to enable the safe use of multicore processors in the automotive and avionics… 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 A(M)C 20-193 vs. CAST-32A: What the change means for your DO-178C Multicore project 2022-03-30 Find out what the new AMC 20-193 guidance for certification of multicore DO-178C/ED-12C projects… Verifying multicore hardware and software 2021-07-28 Multicore processors are being rapidly adopted by the avionics industry due to their improved Size… Supplementing DO-178C activities for CAST-32A 2021-11-16 Multicore certification expert Dr. Christos Evripidou, outlines new certification activities and… Efficient testing with RVS and ANSYS® SCADE® Test™ 2021-04-06 Learn how Rapita helps you perform back-to-back testing of your SCADE models by integrating with… Incremental Assurance of Multicore Integrated Modular Avionics (IMA) 2020-11-10 In this webinar, you'll learn about Incremental Assurance of Multicore Integrated Modular Avionics. Certifying multicore systems for DO-178C (CAST-32A) projects 2020-11-10 In this webinar, you'll learn an approach to certifying multicore systems for DO-178C (CAST-32A)… Solving DAL-A Safety Certification Challenges for Military Avionics Systems 2021-06-01 This webcast featuring industry experts will cover various approaches and solutions for certifying… Airborne Safety with FACE™ in the Digital Battlespace 2020-09-29 Avionics experts discuss how FACE conformance can help ensure system safety during the digital… Out of the box Solution for Multicore Analysis - Rapita & DDC-I 2020-04-22 How DDC-I and Rapita can provide an end-to-end solution for addressing CAST-32A objectives. How to… Verifying Multicore RTOS Partitioning for DO-178C (CAST-32A) Projects 2019-11-14 Combining RTOS partitioning, intelligent system design and expert independent verification is the… Multicore Timing for DO-178 Projects Webinar 2019-02-06 In this webinar, you'll learn from world-leading experts on multicore timing analysis and avionics… Multicore for ISO 26262 - Demonstrating freedom from interference webinar 2019-06-13 In this webinar, you'll learn from world-leading experts on multicore timing analysis and… 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. 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. 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). 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. 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'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. Supporting Collins Aerospace with DO-178C Enterprise Tool Qualification (RVS) How our Qualification Kits and Services are supporting Collins Aerospace's use of RVS in DO-178C projects. Delivering world-class tool support to Collins Aerospace How our Support Services are supporting Collins Aerospace's use of RVS in DO-178C projects. 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) Product previewBrochureFAQOrder Information sheetProduct briefResearch projectTechnical note Related products (field_related_products) RVSRapiTestRapiCoverRapiTimeRapiTaskRapiCoverZeroRapiTimeZeroRapiTaskZeroRTBxMACH178RapiDaemonsRapiComplyMx-Suite Related services (field_related_services) Compiler verificationCustomizationEngineering ServicesEarly access programIntegrationMulticore Timing SolutionProof of conceptQualificationSoftware Verification ServicesSupportTraining Order Information sheet RapiTest DO-178C Tool Qualification Order Information Our Qualification Kits, along with our expert Qualified Target Integration Service, provide the resources and expertise… RVS Acad Order Information RVS Acad: Product description, licensing and purchasing options RapiDaemon DO-178C Tool Qualification Order Information Our Qualification Kits, along with our RapiDaemon Qualification Service, provide the resources and expertise you need… RapiDaemons Order Information RapiDaemons: Product description, licensing and purchasing options RapiCover ISO 26262 Tool Qualification Order Information Our Qualification Kits, along with our expert Qualified Target Integration Service, provide the resources and expertise… RTBx Order Information RTBx data logger: product description, purchasing options and warranty RapiTest ISO 26262 Tool Qualification Order Information Our Qualification Kits, along with our expert Qualified Target Integration Service, provide the resources and expertise… RapiCover DO-178C Tool Qualification Order Information Our Qualification Kits, along with our expert Qualified Target Integration Service, provide the resources and expertise… RVS Aero Order Information RVS Aero: Product description, licensing and purchasing options Engineering Services Order Information Engineering services Order Information Sheet RapiTime DO-178C Tool Qualification Order Information Our Qualification Kits, along with our expert Qualified Target Integration Service, provide the resources and expertise… RVS Auto Order Information RVS Auto: Product description, licensing and purchasing options Research project 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… parMERASA Learn more about the parMERASA project, which aimed to demonstrate the use of multicore processors in real-time systems… Brochure Rapita Systems Brochure Find out more about Rapita Systems' solutions, which meet the needs of software verification for critical embedded… MACH178 Learn how MACH178 can help you produce DO-178C, AMC 20-193 and CAST-32A evidence for multicore systems… 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… 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… 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… RapiDaemon Tool Qualification for DO-178C Learn how we provide tool qualification support for using RapiDaemons in projects requiring DO-178C… MACH178 Learn how MACH178 supports the generation of AMC 20-193 and CAST-32A compliance artifacts for… 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. Training courses Learn how our training courses support efficient verification using RVS. Frozen Version Support Learn about the Rapita Systems software product life cycle and how we support projects with long lifetimes with our… RVS Proof of Concept study Learn how our RVS Proof of Concept studies help you identify the benefits of using RVS… Automotive Software Verification Services Learn how our Software Verification Services can help you reduce the cost of designing and implementing testing… Product preview RapiTest Tool Qualification: ISO 26262 Learn how we provide tool qualification support for using RapiTest in projects requiring ISO 26262 … RapiCover Tool Qualification: ISO 26262 Learn how we provide tool qualification support for using RapiCover in projects requiring ISO 26262 … 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) RVSRapiTestRapiCoverRapiTimeRapiTaskRapiCoverZeroRapiTimeZeroRapiTaskZeroRTBxMACH178RapiDaemonsRapiComplyMx-Suite Related services (field_video_related_services) Compiler verificationCustomizationEngineering ServicesEarly access programIntegrationMulticore Timing SolutionProof of conceptQualificationSoftware Verification ServicesSupportTraining Multicore Avionics Certification for High-integrity DO-178C projects MACH178 provides an end-to-end solution for providing certification evidence to satisfy DO-178C and A(M)C 20-193 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. Software verification of the Solar Orbiter's EPD The University of Alcala, who led the development of the EPD system, have used the Rapita Verification Suite to power their coverage and timing analysis testing. Tool automation in multicore timing analysis Tool automation supports the MACH178 solution, reducing the effort needed to run, collect results from and analyze tests of multicore timing behavior. Analyzing results from multicore timing analysis Learn how RapiTime supports the analysis of results from multicore timing analysis through a range of charts and visualization tools. Custom multicore exports with RVS RVS lets you generate custom exports for multicore timing analysis projects. 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. Easily configurable analysis with RVS Learn how RVS makes it easy to configure your analysis and instrumentation settings. 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 Editor Learn how the RapiTest Editor makes it easy to write RapiTest tests by providing an intuitive test authoring interface with context-sensitive assistance. Testing using spreadsheets in RapiTest Learn how the RapiTest Spreadsheet Format makes it easy to write tests, allowing testers to focus on testing not coding. 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. Using time bands to apply instrumentation with RapiTime Learn how RapiTime's Time Bands feature helps you automatically apply timing instrumentation based on the expected call frequencies of your code. Merging timing results with RapiTime RapiTime lets you merge timing results from multiple test runs, allowing you to collect data in parallel from multiple platforms or at different time points and collate your result Tool qualification with RVS Learn how RVS tool qualification solutions make it easy to qualify the use of RVS in DO-178C and ISO 26262 projects. 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. Multicore Timing Analysis Demo Darknet YOLOv3 Object Detection Enabling cost-effective modular avionics with FACE Major defense suppliers like Bell have embraced the Modular Open System Approach to enable quick, cost-effective new technology integration. Ask the expert: Multicore safety Lynx Software Technologies discusses the state of multicore safety with Rapita experts. Timing Analysis for Critical Aerospace Embedded Software - ATW Global 2021 With the increasing use of multicore processors in the critical embedded aerospace industry, understanding how to perform timing analysis of these systems in line with CAST-32A/AMC 20-193 is crucia Verifying Multicore Systems supporting the FACE standard - ATW Global 2021 The Future Airborne Capability Environment (FACE™) consortium have developed an open architecture technical standard as well as business models for implementing FACE standards. MASTECS Project The MASTECS project aims to innovate and commercialize exploitable technology for multicore timing analysis. Revolutionized testing with RVS 3.16 Learn how RVS 3.16 revolutionizes software testing, bringing an all new intuitive GUI-based test editor for RapiTest, improved visualization tools Multicore timing analysis support with RVS 3.15 Learn how RVS 3.15 makes software verification more efficient, bringing new features to support multicore timing analysis and a preview version of a new way to write tests for Rapi 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 Apply Clear filters Content type White paper Case study Webinar Brochure Product brief Technical note Research project FAQ Order Information sheetProduct preview Video Solution RVS RapiTest RapiCover RapiTime RapiTask RapiCoverZero RapiTimeZero RapiTaskZero MACH178 RTBx RapiDaemons Integration Multicore Timing Solution Qualification Support Training Software Verification Services Apply Clear filters