Die MISRA (Motor Industry Software Reliability Association) hat die neuste Edition des MISRA-Standard für die Programmiersprache C  unter dem Namen MISRA C:2012 veröffentlicht.

Was ist neu?

MISRA C:2012 vergröβert den Support für die C99 Version der C-Sprache, behält aber die C90 Richtlinien weiter aufrecht. Zusätzlich werden auch eine Reihe von Erneuerungen vorgestellt.
Die Verbesserungen, die weitestgehend auf Rückmeldungen der Anwender zurückzuführen sind, beinhalten:

• bessere Begründungen für jede einzelne Regel,
• klarere Entscheidbarkeit, damit Benutzer das Resultat der statischer Prüfwerkzeuge besser interpretieren können,
• bessere Definition der Regeln, um präzisere Kontrollen durchführen zu können,
• einige erweiterte Beispiele
• und die Integration von MISRA AC AGC.

Ein Querverweis zum ISO 26262 wurde ebenfalls hergestellt.

Wie geht man mit Abweichungen von diesen Richtlinien um?

Eine oft gestellte Frage und Anlass für viele Debatten über das Anwenden von MISRA-C lautet: Wie geht man mit Abweichungen von Vorschriften um? Unter bestimmten Umständen, zum Beispiel bei Treibersoftware, kann eine kontrollierte Regelabweichung erforderlich sein, wenn die Sicherheits- und Qualitätsansprüche nicht anders erfüllt werden können. MISRA C verlangt dann einen formellen Abweichungsprozess. Organisationen können den Spielraum von Abweichungen einschränken, damit der Prozess nicht für Missbrauch offen ist.

Durch die Zusammenarbeit mit JAMA (Japan Automobile Manufacturers Association) erstellt MISRA technischen Dokumente, die die Stützinformationen geben, die gewöhnlicherweise gebraucht werden, um eine Abweichung zu rechtfertigen.

Wo ist das zu finden?

Das Dokument - MISRA C ADC Approved deviation compliance for MISRA C:2004 – ist unter MISRA Bulletin Board www.misra.org.uk/MC2012 erhältlich.