MISRA C und MISRA C++

Konform zu Misra C und Misra C++ entwickeln

nach MISRA C:2004 und MISRA C:2012 einschließlich der Amendment 1 Security Rules und nach MISRA C++:2008
 

Die MISRA-Regeln zielen darauf ab, sicherheitskritische Systeme sicherer zu machen, indem sie potentielle Probleme im Code markieren. Dadurch können Entwickler solche inherent unsicheren Verwendungen der Sprachmittel von C und C++ leicht auffinden und vermeiden.

Der MISRA-Check von Axivion deckt 100 Prozent der automatisiert prüfbaren Regeln von MISRA C:2004, MISRA C:2012 (einschließlich Amendment 1 Security Rules) und MISRA C++:2008 ab.

Die Ergebnisse des MISRA-Checks von Axivion integrieren sich in IDEs und CI-Umgebungen, so dass eine einfache Integration in Ihre Prozesse von lokalen Prüfungen bis hin zu voll ausgebauten automatisierten Prüfungen in der CI mit derselben Konfiguration und denselben Ergebnissen möglich ist.


Einsatz der MISRA-Regeln

Durch die Severity-Einstufung von Regeln und Regelgruppen können Sie Ihre Arbeit priorisieren. Justifications ermöglichen erlaubte und notwendige Abweichungen von den Regeln. Generieren Sie Reports über die MISRA-Konformität Ihres Codes.

Axivions einzigartiger Delta-Mechanismus hilft Ihnen, sich auf Ihre tägliche Arbeit zu fokussieren, nämlich sicheren Code zu erzeugen. In Reviews können durch die Delta-Analyse Abweichungen von den Regeln, die durch Sprints, Releases, Feature Branches usw. entstanden sind, einfach identifiziert werden. 

Kommen ISO 26262 oder ähnliche Sicherheits-Standards wie IEC 61508 usw. zum Einsatz? Dann gewährleistet das Tool Qualification Kit von Axivion, dass Sie den MISRA-Checks der Axivon Suite in Ihrer Umgebung und in Ihren Anwendungsfällen bis zum geforderten ASIL-Level vertrauen können.


Profitieren Sie von allen Fähigkeiten der Axivion Suite

Die MISRA-Regeln der Axivion Suite lassen sich einfach mit anderen Codierrichtlinien wie z.B. AUTOSAR C++14, CERT, Ihren eigenen spezifischen Regeln und sogar den Ergebnissen weiterer statischer Codeanalysen kombinieren.

Nutzen Sie die Synergien zwischen dem Code-Fokus der MISRA-Regeln und dem Fokus auf die Architektur mit der Architektur-Verifikation und dem Klon-Management der Axivion Suite.


Sie als Kunde von Axivion investieren in die Entwicklung neuer Features, so ergänzen wir beispielsweise unsere Regel-Checker beständig um neue Regeln und neue MISRA- und AUTOSAR-Regelsätze.
 

Download MISRA Fact Sheet

Success Stories

Eine Auswahl unserer Success Stories zu MISRA

Fresenius Medical Care

Success Story lesen

Jungheinrich

Success Story lesen

TR-Electronic

Success Story lesen

TRW Automotive

Success Story lesen