MISRA AC TargetLink
In Nov. 2007 the Motor Industry Software Reliablility Association (MISRA) published the first version of the "Modelling style guidelines for the application of TargetLink in the contect of code generation". The guidelines address aspects of functional safety for embedded software generated with the TargetLink code generator from dSPACE.
The Model Examiner V1.4 is the first guidelines checker which covers all statically checkable MISRA AC TL rules.
Download list of MISRA AC TargetLink checks in MXAM V1.4
MISRA AC TargetLink Checks in MXAM V1.4
| No. | Rule | Guideline Title | Repair |
|---|---|---|---|
| 1 | 1.1 | Use of block priorities | yes |
| 2 | 1.2 | Comments in block properties | |
| 3 | 2.3 | Restricting identifiers to 31 characters | yes |
| 4 | 3.2 | Definition of calibration constants in Simulink and … | |
| 5 | 3.3 | Use of calibration constraints | |
| 6 | 4.2 | Permitted data types at the Stateflow chart interface | yes |
| 7 | 4.4 | Avoidance of saturation in integer arithmetic | yes |
| 8 | 4.5 | Avoidance of rounding operations | |
| 9 | 4.6 | use of user-defined min and max values | |
| 10 | 5.1 | Attributes of Look-up table outputs | |
| 11 | 5.2 | Use of the Switch-case block | partial |
| 12 | 5.3 | Use of Data Store Memory block across TargetLink … | |
| 13 | 5.4 | Use of From and Goto blocks across TargetLink subsystems | |
| 14 | 5.5 | Inports and Outports at the TargetLink subsystem interface | |
| 15 | 5.6 | Use of the Multiport Switch block | |
| 16 | 5.7 | Use of data types for the Multiport Switch block | |
| 17 | 5.8 | Use of the Switch block | |
| 18 | 5.9 | Use of the Fcn block for assigning Boolean variables | |
| 19 | 5.10 | Use of Custom Code block | yes |
| 20 | 6.1 | Power-of-two scaling | yes |
| 21 | 6.2 | Zero Offsets | yes |
| 22 | 6.3 | Use of the Math block sqrt function for fixed-point code … | |
| 23 | 6.4 | Use of the FIR Filter block for fixed-point code generation | |
| 24 | 6.5 | Use of the Trogonometric function for fixed-point code … | |
| 25 | 6.6 | Use of custom Lookuptable functions | |
| 26 | 6.7 | Avoiding rescaling of input signals to Lookup tables | |
| 27 | 7.1 | Generating generic code without pragmas | yes |
| 28 | 7.2 | Avoiding target-specific assembly code | yes |
| 29 | 7.5 | Avoiding local macros | |
| 30 | 7.6 | Correct declaration of external variables | |
| 31 | 7.7 | Use of include statements in Custom Code | |
| 32 | 7.9 | Avoiding shift operations on signed data types |
