Download Center

Visit our Download Center if you are looking for brochures, manuals, publications, etc.

loading

Your download files are being prepared.
Please wait a few seconds.

Product Family / Category

ASCET

Product / Topic

ASCET V5.0, ASCET V5.1, ASCET V5.2, ASCET V6.0, ASCET V6.1, MISRA

Type

RealTimes Article

Title

MISRA From the Ground Up

MISRA From the Ground Up

MISRA From the Ground Up

Automated model reviews ensure MISRA compliance at the ETAS ASCET model level

 

Software service provider Match Technologies has developed an innovative, automated reviewing solution for ASCET, which performs the formal verification of MISRA guidelines at the model level: MISRA CHECK 4 ASCET furnishes ASCET developers with early guideline verification with an integrated MISRA inspection catalog.

 

CHALLENGE
Increasingly complex modeling environments turn the formal MISRA check of data and models into a time-consuming challenge.


SOLUTION
Automatic model reviews using MISRA CHECK 4 ASCET support both performance and quality of MISRA compliance at the model level at an early stage. As a result, fault occurrences during subsequent code checks and reviews have been reduced.


BENEFITS
In the case of complex models in particular, implementation-oriented model reviews result in easier maintainability – even by third parties – and time savings thanks to the accelerated roundtrip (model/code). Experiences gathered by experts can be passed on in the form of (best practice) guidelines, all of which has the final effect of causing an increase in the quality of the generated software.

Download