Embedded Software Development and Verification tool

Embedded software development / verification tools ISO26262 certified tools

Providing comprehensive solutions through global collaboration between in-house developed tools and tools from other manufacturers

Starting with its in-house development of cross compilers, GAIO is one of the few tool vendors in Japan to provide original embedded development and verification tools based on its core technologies, microcomputer code generation, source code analysis, and microcomputer/system simulation technologies. Through GAIO's "in-house development tools" and "global collaboration with tools from other manufacturers" that complement our development verification services, we provide comprehensive solutions to the challenges facing embedded developers across the entire development process in model-based development.

Embedded Software verification/development tools: Packaged

Product Name Overview Details
PROMPT PROMPT is a subset of MATLAB/Simulink that automatically generates test vectors with high model-coverage, for large and complex models in a short time. In model-based development (MBD) using MATLAB/Simulink, PROMPT can solve the problem of "test data generation for large-scale and complex models" and contribute to "high safety and reliability" in ECU software development for in-vehicle systems, etc. ※ Jointly developed with JAIST (Japan Advanced Institute of Science and Technology)
MORE
SharedVariableChecker2 "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.
MORE
CasePlayer2 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.
MORE
Safilia "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.
MORE
MC-Verifier This is an integrated Back-to-Back testing tool for model-based development. Consistency between the model, the software source, and the target code can be verified in various development phases. The built-in microcontroller simulator enables PIL simulation running actual machine code as a standard features. It is certified for Functional Safety (ISO 26262/IEC 61508) to meet the demands for the strict verification requirement of the Automotive industry.
MORE
CoverageMaster winAMS 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). (*C++11/14 supported. See below for details.)
MORE

Regarding the Certification of ISO 26262 Automotive Functional Safety Tools

Product Name Overview Details
Regarding the ISO 26262 Automotive Functional Safety Certification of our Tools GAIO's test tools, CoverageMaster winAMS, CasePlayer2, and MC-Verifier, 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).
MORE

scroll back to page top