Many embedded software developers producing C code for automotive applications will be familiar with the MISRA C guidelines. These provide practical guidance in avoiding some of the common pitfalls associated with the C language. They were originally meant for automotive developers, but are now increasingly used in other critical sectors such as aerospace and medical devices. The commonly-held view, expressed in the MISRA C guidelines, is that all C code, whether hand-written or automatically generated, should be subjected to exactly the same verification and validation activities. However, as modeling language and automatic code generation techniques have evolved over the 10 years since the first edition of MISRA C, this advice may no longer be so relevant. This paper looks at some of the issues related to verification and validation of automatically-generated C code and identifies the situations in which the authors believe that a different approach is warranted.
Why Should Auto-Generated C be Treated any Differently from Hand-Coded C?
Sae International Journal of Passenger Cars- Electronic and Electrical Systems
Sae Int. J. Passeng. Cars – Electron. Electr. Syst
SAE World Congress & Exhibition ; 2008
2008-04-14
6 pages
Aufsatz (Konferenz)
Englisch
Why Should Auto-Generated C be Treated any Differently from Hand-Coded C?
British Library Conference Proceedings | 2008
|Why should auto-generated C be treated any differently from hand-coded C?
Kraftfahrwesen | 2008
|2008-01-0661 Why Should Auto-Generated C be Treated any Differently from Hand-Coded C?
British Library Conference Proceedings | 2008
|Another year older - Floors are treated differently
Online Contents | 1996
Another year older: Floors are treated differently
British Library Online Contents | 1996