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
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: