QA-MISRA Logo - coding rules for the C and C++ languages - compliance modules


MISRA Richtlinien
automatisiert einhalten

Was ist MISRA?

MISRA ist eine Zusammenstellung von Richtlinien für die Software-Entwicklung in C und C++. Das Set beinhaltet vorbildliche Verfahren („best practices“) und ein umfassendes Regelwerk für das Programmieren.

 

Eigentlich wurde MISRA für den Automotive-Sektor entwickelt – für die Motor Industry Software Reliabitly Association (MISRA). Heute genießt der Standard weit über den Automobilsektor hinaus auf der ganzen Welt Vertrauen. Er dient als Maßstab für die Entwicklung von C- und C++-Software im sicherheitskritischen Bereich und in allen sicherheitsrelevanten Märkten.

Was ist QA-MISRA?

QA-MISRA ist eine Zusammenstellung von C- und C++ MISRA Compliance Modulen auf Basis von QA-C bzw. QA-C++.


Verantwortlich für die Entwicklung von QA-MISRA zeichnen dieselben Experten, die die MISRA-C- und MISRA-C++-Richtlinien aufgestellt haben. Jedes Compliance Modul verwendet das umfangreiche QA-C- bzw. QA-C++-Message-Set, das durch verschiedene zusätzliche MISRA-spezifische Prüfungen ergänzt wird. Die Ergänzungen dienen dazu, das Regelwerk zur Codierung besser umzusetzen.

Wie werden Nachrichten interpretiert und Regeln durchgesetzt? Das wird in einer Dokumentation klar festgehalten. Umfangreicher Beispielcode ist Teil des Sets und hilft zum besseren Verständnis.

A Safer Subset of the C Language - Detect and fix non-compliances to MISRA Standards

Ein sichereres Subset der C/C++ Sprache

Alle Programmiersprachen (auch die ISO-C- und ISO-C++-Sprachstandards) enthalten Bereiche, die nicht vollständig definiert bzw. deren Umsetzung teilweise implementierungs- und compilerabhängig ist. Um die Sicherheit und Portabilität von Programmen zu verbessern, bietet MISRA ein zusätzliches Regelwerk für Systeme im sicherheitskritischen und sicherheitsrelevanten Bereich. Dieses Regelwerk definiert lediglich den erlaubten Teilbereich des Sprachumfangs, sodass übliche, kommerzielle Toolchains damit benutzt werden können. Das Resultat sind sicherere Programme, welche sich in verschiedenen Umgebungen so verhalten, wie es der Programmierer erwartet.

QA-MISRA Compliance Module

Verfügbare QA-MISRA Compliance Module:

  • MISRA C:1998
  • MISRA C:2004
  • MISRA C:2012 (MISRA C3)
  • MISRA C++
QA-MISRA Compliance modules covers - guidelines - MISRA C:1998 - MISRA C:2004 - MISRA C:2012 - MISRA C++ - codinf rules for the C and C++ languages
Start
Trial
QA-Systems