| 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) |
|
| 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. |
|
| 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. |
|
| 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. |
|
| 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. |
|
| 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.) |
|
