AUTOSAR Software Verification via Virtual ECU Emulation

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

The traditional automotive embedded software development process is time-consuming and costly, requiring significant effort for development and verification, especially when hardware is not available.

Innovation Solution

A method for generating and verifying automotive embedded software based on AUTOSAR that emulates RTE and BSW layers in a virtual environment, using QEMU for virtualizing binary files and supporting FMI in BSW, allowing software self-verification before loading into the actual ECU.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Reliability

If traditional automotive embedded software development process is used, then software can be verified on actual ECU hardware, but development time and cost increase significantly

Engineering Contradiction:
Improvesoftware verification reliabilityVSAvoiddevelopment time
Core Design Contradiction:
ReliabilityVSLoss of time

Solution Approach 1:

The patent creates a virtual ECU environment that replicates the hardware characteristics and software runtime environment before actual hardware is available. This preliminary virtual environment allows software to be compiled, linked, and verified in advance, performing required actions beforehand to avoid time-consuming hardware-dependent testing phases later in the development cycle.

Inventive Principle:
Principle #10Preliminary action

Solution Approach 2:

The patent generates a virtual ECU that is a digital copy of the target hardware ECU, replicating its architectural characteristics, memory layout, and runtime environment. This copying approach enables software verification to proceed on the virtual replica without requiring the actual physical hardware, significantly reducing development time while maintaining verification reliability.

Inventive Principle:
Principle #26Copying

2Reliability

If traditional automotive embedded software development process is used, then software can be verified on actual ECU hardware, but development cost increases significantly

Engineering Contradiction:
Improvesoftware verification reliabilityVSAvoiddevelopment resources
Core Design Contradiction:
ReliabilityVSQuantity of substance

Solution Approach 1:

The patent creates a virtual ECU that serves as a digital substitute for physical hardware, enabling software verification without consuming actual ECU units. This copying approach reduces the quantity of physical resources required while maintaining verification reliability through accurate hardware emulation.

Inventive Principle:
Principle #26Copying

Solution Approach 2:

The virtual ECU environment serves multiple functions simultaneously: it acts as a development platform, a testing environment, and a verification system. This multi-functionality consolidates multiple development resources into a single virtual platform, reducing overall resource consumption and development costs.

Inventive Principle:
Principle #6Universality (Multi-functionality)

3Productivity

If software verification is performed before ECU image file is available, then development can proceed without hardware, but requires virtualization technology

Engineering Contradiction:
Improvedevelopment efficiencyVSAvoidvirtualization system complexity
Core Design Contradiction:
ProductivityVSDevice complexity

Solution Approach 1:

The patent introduces a virtual ECU as an intermediary layer between the software under test and the physical hardware. This intermediary virtualization system enables software verification to proceed without direct hardware access, improving productivity by allowing parallel development activities while managing complexity through abstraction.

Inventive Principle:
Principle #24Intermediary (Mediator)

Data Source

PatentUS20240176632A1Method for generating and verifying automotive embedded software based on autosar
Publication Date: 2024.05.30 DRIMAES INC
  • US20240176632A1 patent drawing
  • US20240176632A1 patent drawing
  • US20240176632A1 patent drawing

AI summary

Provided is a method for generating automotive embedded software based on AUTOSAR. The method includes: emulating RTE and BSW among layers constituting the AUTOSAR for the automotive embedded software to be verified to fit a predetermined test environment; verifying an operation of the automotive embedded software based on AUTOSAR implemented to correspond to a predetermined test target function; and loading the automotive embedded software into a target ECU when there is no abnormality as a result of the verification.