MISRA C und seine Anwendbarkeit auf Seriencodegeneratoren

MISRA C ist ein Codierungsstandard, welcher in der Automobil- Industrie immer häufiger angewendet wird. Mit dem Aufkommen von Seriencodegeneratoren stellt sich die Frage, ob MISRA C auch auf diese anwendbar ist. Der Standard wurde für Software-Entwickler geschrieben, um übliche Programmierfehler vermeiden zu helfen. Diese potentiellen Fehler sind nicht notwendigerweise die Gleichen, welche bei maschinengeneriertem Code auftauchen können.

Der Artikel beschreibt das Konfl iktfeld zwischen dem Wunsch nach vollständiger Konformität zu einer Norm, der Sinnhaltigkeit seiner Regeln und die Kosten für die Einhaltung seiner Regeln. Letzteres wird durch aktuelle Benchmarks untermalt, welche mit dem Seriencodegenerator TargetLink von dSPACE erzeugt wurden. Die Beispiele mit TargetLink zeigen im Besonderen, dass die meisten Regeln eingehalten werden können, - aber auch dass einige Regelausnahmen sehr ratsam sind, um den generierten Code effi zient zu erhalten und ohne dass dabei Kompromisse bei der Code-Sicherheit eingegangen werden müssen.