Top > Event > Embedded World 2015

Embedded World 2015 Exhibition and Conference

The show has finished. Thank you for coming to GAIO's booth.


GAIO will attend the exhibition show 'Embedded World 2015 !

GAIO will attend the exhibition show 'Embedded World 2015 held at Fachmesse in Nuremberg, Germany. We will display the embedded software unit testing tool CoverageMaster winAMS, the MBD Back-to-Back test tool MC-Checker and the solutions for the automotive functional safety, ISO 26262.

Date: 24 - 26 /Feb/2015
At: Exhibition Centre Nuremberg, Germany
GAIO TECHNOLOGY's Booth : 4-603, Hall 4

GAIO's Booth Location

GAIO's Exhibitions

CoverageMaster winAMS : Automated embedded software unit testing tool

* Automated embedded C/C++ software unit test tool
* Unit testing on actual MPU target code using instruction set simulator
* Automatically create input test data for C1 & MC/DC coverage
* Certified by TÜV SÜD as a tool that meets the ISO26262 and IEC61508 standards

CoverageMaster winAMS is an automated embedded software unit testing tool that executes the target MPU device's code for achieving reliable testing results. The standard coverage modes C0, C1, and MC/DC are fully supported.

C1 and MC/DC test data for code-based unit test can be automatically created through the use of the source code static analysis feature.

CoverageMaster winAMS complies with ISO 26262 automotive functional safety standard and IEC 61508 functional safety meta-standard. Tool certification was granted by third-party certification organization TÜV SÜD Germany.

CoverageMaster winAMS Product Information


MC-Verifier : Integrated Model/Code Back-to-Back Test Tool

* Back-to-Back (B2B) Test Tool for meeting ISO 26262 requirements
* Model-to-Model, Model-to-Software, Model-to-Target-Code B2B Testing
* Identify test error location (subsystem) on Simulink model
* Trace test errors over time on Simulink model
* Code Coverage (Statement, Branch, MC/DC)

Click to enlarge“MC-Verifier” is an integrated test tool for performing model-based development Back-to-Back testing. Debug and verify consistency between model, software, and target code implementation at a variety of development phases.

MC-Verifier Product Information


MC-Checker : MBD Model/Code Back-to-Back Test Tool

* Performs MATLAB/Simulink model and target code verification
* Executes target code in a microprocessor simulator environment
* Compatible with both hand-coded and auto-generated code
* Complies with ISO26262 Automotive Functional Safety Standard

MC-Checker is an embedded code verification tool for automotive model-base development. It’s primary function is to compare the MATLAB/Simulink specification model with the target code. MC-Checker performs a Back-to-Back test between the model and code compliant with the ISO26262 Automotive Functional Safety Standard.

MC-Checker Product Information

Pictures at GAIO booth last year