Develop safe and efficient high-quality C code

• Master your software complexity by using the classes as structuring concept.
• Bring proven benefits, object-based encapsulation, and systematic reuse to your embedded project.

• Maximize productivity by tapping into ASCET’s capability to seamlessly reuse software properties.
• ASCET transforms complexity into clarity, allowing you to visually represent software properties for easy comprehension.
• Automatically generate high-quality code and save time on manual coding efforts.

• ASCET allows you to effortlessly define units and relationships within your models.
• Enhance your models with units naturally, as ASCET intuitively understands and integrates them without the need for manual conversion.
• ASCET takes care of heavy lifting by automatically detecting units and seamlessly converting them into the generated code, streamlining your modeling process.

• Find hidden problems earlier​.
• Built-in live static analysis checks for type compatibility, incompatible units, side effects, missing read or write, unreachable code, and much more.

Writing code manually requires additional effort to prevent runtime errors and make it compliant to standards and coding guidelines. With ASCET you only need to focus on solving the problem, the rest is done by the code generator. It is characterized by the following features:

• High-quality production of MISRA-compliant C code
• Great code readability for users
• Traceability to your ASCET model
• Automatic insertion of defensive code; examples include protected division by zero, saturated limits based on type properties, and index overflow protection for array types
• Fixed-point code generation
• AUTOSAR code generation by mapping ASCET model to AUTOSAR structure
• Quick reuse of existing ASCET models and generation of code for different targets via customization options:
  • Custom callbacks to device-specific arithmetic, interpolation, or service libraries
  • Memory directive for compiler
  • Conditional code and data structures which can be resolved at compile or generation time
  • Numerous optimization strategies for resources and runtime performance

• Systematic testing of software units using ESDL unit testing framework.
• ESDL test classes to test independent software units and visualize results after execution.

• Early design validation using PC simulation with live data measurement and calibration.
• Sophisticated experiment environment with signal generator, data loggers, and widgets.

• Interactive test coverage from running PC simulation or unit test execution.
• Coverage view summarizes the test coverage for all software units under execution.
• Visualization of coverage in text or graphic editors to see which parts of the model have been tested.

• Ideal for modeling and visualizing data and control flows​.
• Fully deterministic execution order via explicit sequencing of calculations.

• Programming and visualization decision logic based on finite state machine notations.
• Actions and conditions can be written directly as ESDL or encapsulated in a separate method programmed in block diagram editor​.

• Embedded software description language to capture the semantics of ASCET model; can be programmed using the graphical editors mentioned before or directly in text.​
• Ideal for code which is more suitable for text-based implementation (like loops)​.

• Model definition with the familiar ESDL interface.
• Specification of the models’ behavior using the full capacity of the C language.
• Convenient reuse of C code model across different models, promoting consistency and saving valuable development time.