Your browser does not support JavaScript! Skip to main content
Free 30-day trial DO-178C Handbook RapiCoupling Preview DO-178C Multicore Training Multicore Resources
Rapita Systems
 

Industry leading verification tools & services

Rapita Verification Suite (RVS)

  RapiTest - Unit/system testing  RapiCover - Structural coverage analysis  RapiTime - Timing analysis (inc. WCET)  RapiTask - Scheduling visualization  RapiCoverZero - Zero footprint coverage analysis  RapiTimeZero - Zero footprint timing analysis  RapiTaskZero - Zero footprint scheduling analysis  RapiCouplingPreview - DCCC analysis

Multicore Verification

  MACH178  MACH178 Foundations  Multicore Timing Solution  RapiDaemons

Engineering Services

  V&V Services  Data Coupling & Control Coupling  Object code verification  Qualification  Training  Consultancy  Tool Integration  Support

Industries

  Civil Aviation (DO-178C)   Automotive (ISO 26262)   Military & Defense   Space

Other

RTBx Mx-Suite Software licensing Product life cycle policy RVS Assurance issue policy RVS development roadmap

Latest from Rapita HQ

Latest news

SAIF Autonomy to use RVS to verify their groundbreaking AI platform
RVS 3.22 Launched
Hybrid electric pioneers, Ascendance, join Rapita Systems Trailblazer Partnership Program
Magline joins Rapita Trailblazer Partnership Program to support DO-178 Certification
View News

Latest from the Rapita blog

How to certify multicore processors - what is everyone asking?
Data Coupling Basics in DO-178C
Control Coupling Basics in DO-178C
Components in Data Coupling and Control Coupling
View Blog

Latest discovery pages

control_tower DO-278A Guidance: Introduction to RTCA DO-278 approval
Picture of a car ISO 26262
DCCC Image Data Coupling & Control Coupling
Additional Coe verification thumb Verifying additional code for DO-178C
View Discovery pages

Upcoming events

Avionics and Testing Innovations 2025
2025-05-20
DASC 2025
2025-09-14
DO-178C Multicore In-person Training (Fort Worth, TX)
2025-10-01
DO-178C Multicore In-person Training (Toulouse)
2025-11-04
View Events

Technical resources for industry professionals

Latest White papers

Mitigation of interference in multicore processors for A(M)C 20-193
Sysgo WP
Developing DO-178C and ED-12C-certifiable multicore software
DO178C Handbook
Efficient Verification Through the DO-178C Life Cycle
View White papers

Latest Videos

Rapita Systems - Safety Through Quality
Simulation for the Motorola 68020 microprocessor with Sim68020
AI-driven Requirements Traceability for Faster Testing and Certification
Multicore software verification with RVS 3.22
View Videos

Latest Case studies

GMV case study front cover
GMV verify ISO26262 automotive software with RVS
Kappa: Verifying Airborne Video Systems for Air-to-Air Refueling using RVS
Supporting DanLaw with unit testing and code coverage analysis for automotive software
View Case studies

Other Resources

 Webinars

 Brochures

 Product briefs

 Technical notes

 Research projects

 Multicore resources

Discover Rapita

Who we are

The company menu

  • About us
  • Customers
  • Distributors
  • Locations
  • Partners
  • Research projects
  • Contact us

US office

+1 248-957-9801
info@rapitasystems.com
Rapita Systems, Inc.
41131 Vincenti Ct.
Novi
MI 48375
USA

UK office

+44 (0)1904 413945
info@rapitasystems.com
Rapita Systems Ltd.
Atlas House
Osbaldwick Link Road
York, YO10 3JB
UK

Spain office

+34 93 351 02 05
info@rapitasystems.com
Rapita Systems S.L.
Parc UPC, Edificio K2M
c/ Jordi Girona, 1-3
Barcelona 08034
Spain

Working at Rapita

Careers

Careers menu

  • Current opportunities & application process
  • Working at Rapita
Back to Top Contact Us

Supporting ISO 26262 ASIL D software verification for EasyMile

Breadcrumb

  1. Home

Supporting ISO 26262 ASIL D software verification for EasyMile

  Download
.

EasyMile brings driverless vehicle solutions for people and goods to life with leading technology, providing a real service. Find out more on their website at easymile.com.

Rapita is supporting EasilyMile’s ISO 26262 verification of autonomous driving solutions.

 
Easymile photo
 

Summary

The challenge

  • Support verification of ISO 26262 ASIL D hazard detection and braking software

The solution

  • Comprehensive verification solution delivered by Rapita to support functional testing, structural coverage analysis and timing analysis

The benefits

  • Comprehensive and qualifiable solution for ASIL D verification activities
  • Seamless integration of RVS with existing development environment including CI software improved project efficiency

The challenge

EasyMile is developing its next generation of fully autonomous vehicles for passenger transport. The hazard detection and braking systems on such vehicles are a safety-critical component, and the software in these systems must be certified at the most rigorous safety level for automotive software in ISO 26262, ASIL D.

For ISO 26262 ASIL D certification, the hazard detection and braking software needs to be verified for functional behavior through functional testing, for completeness of structural coverage through testing, and for the worst-case timing behavior of the software.

EasyMile’s hazard detection and braking software is written in C, and the EasyMile verification team were using a Linux-based platform for on-host testing. EasyMile’s target platform is multicore, and they were using a LauterbachTM TRACE32® debugger to capture data during on-target software execution as part of their existing verification environment.

EasyMile were looking for an efficient verification toolsuite to support their ASIL D software verification.

The solution

EasyMile chose to evaluate Rapita’s RVS (Rapita Verification Suite) software to explore how to meet their ISO 26262 software verification needs.

Rapita delivered an RVS Proof of Concept Study to help EasyMile evaluate the capabilities of RVS and how it could meet their verification needs efficiently. As part of the study, Rapita integrated RVS into EasyMile’s existing Linux-based development environment, so their software can be verified through on-host testing. For on-target testing, Rapita developed an integration with EasyMile’s multicore processor, where measurements could be collected from on-target execution using a TRACE32 debugger, as this was already used in EasyMile’s on-target testing environment. RVS was also integrated with EasyMile’s continuous integration software, Jenkins®, to supported automated testing and results reporting.

During the study, RVS plugins for various verification activities were deployed to support EasyMile’s evaluation based on their software verification needs.

One of EasyMile’s primary verification needs was for an efficient functional testing solution. To provide this, RapiTest was deployed for this project. EasyMile’s preferred testing approach was to use test scripts to write tests. Test scripts were used internally at Rapita when the project began, but were not a supported test authoring method. To support this project, Rapita further developed RapiTest’s test script format to yield a mature test authoring solution that EasyMile could use, including documentation and tutorials to make it easy to get started.

Structural coverage analysis was also needed for ASIL D ISO 26262 certification of EasyMile’s software, and this was supported by RapiCover, which produces coverage results during testing up to and including the Modified Condition/Decision Coverage (MC/DC) level.

EasyMile also has a requirement for worst-case execution time analysis, which is planned for future verification activities. This was supported by developing an initial integration of RapiTime into the target environment.

EasyMile were impressed with the capabilities of RVS and selected to adopt RVS as their verification toolsuite.

The benefits

There were clear benefits for EasyMile in using RVS, which led to their decision to adopt RVS for use in their software verification.

As RVS fit seamlessly into EasyMile’s existing development environment, EasyMile did not need to update their existing processes. Integration with Jenkins supported automation of test execution and display of results. This was also supported by RVS’s flexible licensing, where users can configure and control how their licenses can be used, and where licenses can be reserved for use by specific users such as continuous integration servers.

Having a single tool that can support functional testing, structural coverage analysis and worst-case execution time analysis reduced costs and improved project efficiency.

 
RVS report
 

RapiTest reduced the effort needed for EasyMile to write and run functional tests, and analyze and export results. Rapita’s development of the existing test script format into a fully supported and documented test format allowed EasyMile to use their preferred testing practices.

RapiCover supported EasyMile’s structural coverage analysis, including support for the most rigorous coverage metric commonly used in software verification, MC/DC, which is required for ISO 26262 certification of ASIL D software.

While EasyMile have not begun to use RapiTime yet, they are looking forward to seeing the benefits it can offer.

 

“We have been really impressed with Rapita throughout our relationship. RVS provides an extremely efficient and robust verification solution, and Rapita has worked together with us to support our preferred testing approach using test scripts. Based on the success we’ve had with RapiTest and RapiCover already, we’re looking forward to start using RapiTime to complete our rigorous testing for safety assurance cases. We’re impressed with Rapita’s technical support; Rapita’s engineers find a technical solution to any issues we encounter, and they find it quickly. We look forward to building on our relationship further as our project develops.”

Dr. Xavier Jean

R&D Software Engineer  
EasyMile

Next Steps

EasyMile and Rapita share a passion for safe approaches to the development and verification of safety-critical software and plan to work together in more ways in the future as EasyMile’s project progresses.

EasyMile are always wanting to go the extra mile in terms of safety, and want to provide compelling evidence for the certification of their software with an RVS tool qualification kit that demonstrates the robustness of RVS for use in ISO 26262 projects. Rapita will support these efforts.

As EasyMile’s software is using a multicore processor, they want to analyze the timing behavior of their software taking into account interference effects that can arise, for example, due to shared hardware resources. As the leading provider of commercial multicore timing analysis solutions, Rapita will support EasyMile in their multicore testing.

The companies are also looking forward to exploring potential future joint R&D projects.

Other case studies

Case study

Collins Aerospace: DO-178C code coverage analysis

Case study

Alenia Aermacchi (Leonardo) M-346

Case study

DO-178B Level A Embraer FCS

Case study

Cobham Aerospace Connectivity: RapiCover continues to deliver on the most challenging targets

  • Solutions
    • Rapita Verification Suite
    • RapiTest
    • RapiCover
    • RapiTime
    • RapiTask
    • MACH178

    • Verification and Validation Services
    • Qualification
    • Training
    • Integration
  • Latest
  • Latest menu

    • News
    • Blog
    • Events
    • Videos
  • Downloads
  • Downloads menu

    • Brochures
    • Webinars
    • White Papers
    • Case Studies
    • Product briefs
    • Technical notes
    • Software licensing
  • Company
  • Company menu

    • About Rapita
    • Careers
    • Customers
    • Distributors
    • Industries
    • Locations
    • Partners
    • Research projects
    • Contact
  • Discover
    • Multicore Timing Analysis
    • Embedded Software Testing Tools
    • Worst Case Execution Time
    • WCET Tools
    • Code coverage for Ada, C & C++
    • MC/DC Coverage
    • Verifying additional code for DO-178C
    • Timing analysis (WCET) & Code coverage for MATLAB® Simulink®
    • Data Coupling & Control Coupling
    • Aerospace Software Testing
    • Automotive Software Testing
    • Certifying eVTOL
    • DO-178C
    • AC 20-193 and AMC 20-193
    • ISO 26262
    • What is CAST-32A?

All materials © Rapita Systems Ltd. 2025 - All rights reserved | Privacy information | Trademark notice Subscribe to our newsletter