ASCET tools combine object based abstractions with the support of OSEK operating systems. They explicitly support the software elements of automotive ECUs in terms of variables, parameters, constants, memory structures, and data representations. ASCET aids in defining the interaction of processes in real-time tasks through the use of messages, ensuring data consistency during run time. ASCET models clearly separate functional logic, real-time scheduling, parameter values, and the specific implementation on a microcontroller-target. The latter defines bit resolutions, limits, conversion formulas, memory locations, and naming conventions of the data elements. This clear separation is an important step to keep the number of model variants low during the overall life cycle of a software function.
The automatic generation of target code from the ASCET model is used to create the production C code of new functions for the ECU based on the results obtained in preceding steps. To this end, the maximum benefit of model-based software development is attained in terms of efficiency, quality, and reusability. ASCET autocode for production ECUs is reusable and optimized for the microcontroller target.
ASCET is able to integrate C-code of other sources to build the complete software of an ECU as well as supply code to existing C-code environments. To effect a seamless integration with automotive measurement and calibration tools, ASCET supports specific automotive calibration methods and ECU description files compliant with the ASAM MCD 2MC standard. Based on the model specification, ASCET provides complete documentation of ECU software, which is always consistent with the generated code and other description files.
MISRA-C defines a set of rules for the use of the C language in manual coding for critical systems. While not all rules are applicable to deterministic automated code generation, ASCET nonetheless complies with practically all of the MISRA-C rules. For each released version of ASCET, compliance with MISRA-C is validated by ETAS. With its documented MISRA-compliance, ASCET production code complies with the formal verification criteria of a manual code review.
Upon customer request, the ASCET-SE code generator can be certified in accordance with the IEC 61508 safety standard for any supported target.