ASCET Products

Notes concerning the switch from ASCET V6.4 to ASCET-DEVELOPER

The V6.4 version of the ASCET product family consists of various combinable software tools. This modular design has been changed as follows in ASCET-DEVELOPER:

The functionalities of ASCET-MD (Modeling and Design), ASCET-SE (Software Engineering), ASCET-DIFF (Model Difference Browser), and ASCET-MDV (Model Viewer) have been merged in ASCET-DEVELOPER.

The functions previously provided by ASCET-RP (Rapid Prototyping) have been integrated into ETAS INTECRIO.

The interface to the configuration management system is now handled directly by the Eclipse development environment. Consequently, ASCET-SCM (Software Configuration Management) is no longer needed.

Major Tool Features

Multi-Paradigm Modelling

ASCET-DEVELOPER models can be developed using either text or graphics, allowing developers to choose the right notation for the job. ASCET-DEVELOPER's textual notation, Embedded Software Development Language (ESDL) allows you to model as easily as you would write programs. ASCET-DEVELOPER's graphical notations support both combined control and data-flow models for reactive system development and state-machines for discrete system development.

A Safe Language by Design

ASCET-DEVELOPER’s Embedded Software Development Language (ESDL) has key design choices that address the aspects of C that make it difficult to use in environments in which safety and security are critical:

  • Safer syntax: to close the “loopholes” in C that cause many programming errors
  • Safer typing: range-bound numerical types, optimal C storage type selection, native support for arbitrary precision fixed-point types, units of measurement and automatic conversion
  • Safer abstractions: associative arrays (array indices of any discrete scalar type), state machines for state-based control, curves and maps for continuous control
  • Safer structure: namespace mechanisms, safe static object creation, product-line variant handling

“On-the-fly” Static Analysis

The expressive power of ASCET-DEVELOPER models means they can be checked statically for certain error classes at editing time.

ASCET-DEVELOPER provides automatic checks for correct method argument usage, reachability of states in state machines and freedom from side-effects in expression evaluation. ASCET-DEVELOPER’s analysis helps avoid nasty surprises when a C tool chain is changed.

Automatic Defensive Code Generation

ASCET-DEVELOPER's code generator has been independently certified as fit-for-purpose for the development of safety-related systems that  must meet the requirements of IEC61508 or ISO26262. The code generator produces MISRA-C:2004 and MISRA-C:2012 compliant, high-performance, low-overhead code for embedded microcontrollers.

ASCET-DEVELOPER automatically adds defensive coding checks to prevent potential errors that cannot be detected by static analysis. ASCET-DEVELOPER systematically adds checks everywhere they are required, but only when necessary so that runtime and memory is not wasted. C code generated by ASCET-DEVELOPER is, by construction, free from division by zero, underflow, overflow and indexing outside of array bounds errors.

Eclipse Integration and Usage

ASCET-DEVELOPER is built on Eclipse and can be used stand-alone or integrated into an existing Eclipse-based tool environment. ASCET-DEVELOPER works easily with other Eclipse tools to provide a complete development eco-system, for example, version control systems, task tracking, the Eclipse CDT C development tooling etc. Furthermore, ASCET-DEVELOPER can be extended and customized using standard Eclipse mechanisms to fit specific customer workflows.

Easily Re-use Models through Development

ASCET models can integrated easily with different phases of development, for example:

  • open-loop simulation using the ETAS Experiment Environment
  • closed-loop simulation using FMI (Functional Mock-Up Interface) or MATLAB®/Simulink®
  • function prototyping using ETAS INTECRIO or ETAS EHOOKS