Embedded Software Development and Verification tools

Embedded Software Unit Testing, De-facto Standard for Coverage Measurement Tools

This is a unit test tool for embedded C/C++ software, compliant with the functional safety standard ISO 26262/IEC 61508. It can measure code coverage for statements, branches, MC/DC, function calls, etc. A built-in microcontroller simulator runs the unit tests by executing compiled object code. In comparison to the (more common) unit testing at the logic level of the C source, this provides unit testing that is the most reliable and faithful to the final embedded microcontroller code (Assembly code).

Back to back testing is essential for model based development, and can be streamlined with CoverageMaster winAMS

This is an option to efficiently perform Back to Back testing (hereinafter referred to as B to B testing), which is essential for model based development, using CoverageMaster winAMS. By using the microcontroller simulator available in CoverageMaster winAMS, the consistency between the model (MILS) and the target code (PIL simulation) can be verified.

Next-Generation Testing Tool for Modern Development

Next-Generation Testing Tool for Modern Development
Don't slow down the pace of AI-driven development!
MC/DC-Compliant "Coverage Measurement & Data Satisfaction Analysis Support Tool"

Program specification preparation and analysis tool for Embedded C/C++

CasePlayer2 is a tool for creating program specifications such as flowcharts by analyzing ANSI compliant C language, C++ (*C++ 11/14 compliant), and C language (non ANSI) for embedded projects. It strongly supports logic analysis of past source codes and specification preparation work. A rule-checking function for the C-language coding convention "MISRA-C" is provided.

Shared variable automatic analysis tool

"SharedVariableChecker2" is a tool used in conjunction with the Program Analysis/Specification Creation Tool CasePlayer2 to statically analyze C source files and visualize accesses to the same global variables from different tasks and functions. Graphically representing the state of conflict and interaction of variables contributes to the identification of risk points for failures.

Performable Rationalized Model Perfective Tool

As a subset of MATLAB/Simulink, "PROMPT" is a tool that automatically generates test vectors with high model coverage for large and complex models in a short time. It solves the problem of "generating test data for large and complex models", which is an issue in model-based development (MBD) using MATLAB/Simulink, and as a result, it can contribute to "high safety and high reliability" for the development of ECU software installed in in-vehicle systems, etc. This is the result of joint research and development with JAIST (Japan Advanced Institute of Science and Technology)

Front-Loading Performance Verification
*Note: PLAS-Qlite is for use in Japan only (cannot be used overseas).

This Performance Verification Tool allows you to check software execution performance through simulation on a PC. By detecting microcontroller control time limit overruns—caused by increased software scale in derivative development or feature additions—prior to target hardware testing (during the function unit testing phase), it reduces rework effort in performance verification.

Streamlining the Handling of Massive Violation Warnings from Static Analysis Tools
*Note: Code Analysis Refiner is for use in Japan only (cannot be used overseas).

Code Analysis Refiner complements missing features in CodeChecker, significantly reducing the time required for static analysis tool operations.

ISO 26262-compliant safety concept design tool using SCDL

"Safilia" is a modeling tool for design safety concepts and facilitate information sharing between designers and developers. The Safety Concept Description Language (SCDL) is based on specifications and standards developed by the Safety Concept Notation Study Group SCN-SG. Safety concepts are described in block diagrams to improve mutual understanding and easy information sharing.

ISO 26262-compliant Security threat analysis tool

Seculia is a Security Analysis tool that uses a widely used Attack-tree based threat analysis method. It can be applied to secure development processes like ISO 26262's Part 3 safety concepts, Part 4 (System Level Development), Part 5 (Hardware Development), and Part 6 (Software Development) or equivalent.

Third-party certification organization TUV SUD granted our tools certification for the ISO 26262 automotive functional safety standards

GAIO's test tools, CoverageMaster winAMS, CasePlayer2, and QTE(Quality Town for Embedded grade), are tool-certified by TUV SUD, a German third-party certification organization, for development of in-vehicle Software that complies with the Automotive Functional Safety Standards (ISO 26262).