Embedded Software Development and Verification 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
-
-
- CoverageMaster winAMS
- 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).
-
-
- CoverageMaster winAMS MBT Option
- 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.
-
-
- QTE(Quality Town for Embedded grade)
- The next generation of Unit Test tools for C++ and Open Platforms
- QTE(Quality Town for Embedded grade) is a Unit Test tool designed for the AUTOSAR Adaptive Platform. It supports environments such as C++, Host-Linux, Target-Linux, and Open Source Software (OSS).
-
-
-
- CasePlayer2
- 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.
-
-
-
- SharedVariableChecker2
- 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.
-
-
-
- PROMPT
- 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)
-