Top > Embedded Software Tools > Simulator Based Family - Virtual Verification Tools

Simulator Based Family - Virtual Verification Tools

Thorough embedded system verifier for improved software reliability.
Supports co-verification using GAIO's ISS and MATLAB/Simulink

Overview

Easily reproduce fault conditions

GAIO’s Simulator Based Family consists of microprocessor simulator based virtual verification environment solutions. System level verification can be performed by connecting HW simulation models with a microprocessor simulator. In this way software reliability testing can be performed by reproducing exceptional conditions and fault conditions in the virtual system.

Execute actual target code

Actual target code generated by a cross compiler is executed in GAIO’s microprocessor simulator for the system simulation. Embedded software that includes address mapped i/o port definitions and MPU dependent interrupts can be executed as is.

Connectivity library to link with external HW simulation models

The microprocessor simulator can be connected with external HW simulation models such as MATLAB/Simulink, mechanical models, C/C++ and SystemC ASIC models through the connectivity libraries provided by GAIO. Various types of system simulations can be built by creating a test management model for performing input/output functions.

Fault injection testing

A virtual ECU simulator can be created by connecting a microprocessor simulator with a MATLAB/Simulink plant model for automotive software testing. In this way fault injection testing as required by ISO 26262 can be easily performed.