Quality - no gambling
Engineers usually spend a significant amount of time reviewing models and code.
MISRA CHECK 4 ASCET is an automated review solution for ETAS ASCET. Therefore you can reclaim time for the more important things in life. Engineers check data within the development process with only one click.
Automated Reviews
MISRA CHECK 4 ASCET is able to quickly detect, rate and correct inconsistencies of any kind. It is integrated to ASCET in just a minute. It creates review protocols and also allows access to error positions, e.g.:
- Ensuring maximum conformance of MISRA-C generated code
- Checking code generator options
- Conventions
for model-layout and design-rules
- Naming conventions (semantics check towards a glossary)
-
Code-rules
(data type, value range, initialization)
- Structuring rules for architectures and performance models
- Best Practice analysis for detecting anomalies
- Continuous traceability of located errors to the model
Click here to download the free trial version