22-07-2006, 04:58 AM
Hi Bernhard,
Currently the MISRA-rues for C code are checked for their applicablity to generated code and a meaningful subset will be produced.
Furthermore modeling guidelines will be provided that can be \"model-checked\".
regards,
Oscar
Currently the MISRA-rues for C code are checked for their applicablity to generated code and a meaningful subset will be produced.
Furthermore modeling guidelines will be provided that can be \"model-checked\".
regards,
Oscar
<t>Dr. Oscar Slotosch<br/>
Validas AG<br/>
Lichtenbergstr. 8<br/>
D-85748 Garching<br/>
fon:+49 (0) 89 5484 14 14</t>
Validas AG<br/>
Lichtenbergstr. 8<br/>
D-85748 Garching<br/>
fon:+49 (0) 89 5484 14 14</t>