模具电机工业软件可靠性协会(MISRA) hat im Jahr 1998 Richtlinien für Die Verwendung von C-Code in elektronischen Steuergeräten von Fahrzeugen und Luftfahrzeugen eingeführt, den sogenannten MISRA- c:1998标准。Im Jahr 1998 veröffentlichte MISRA有限公司。MISRA C (MISRA C:1998)， mit dem Ziel, eine eingeschränkte Teilmenge einer标准化，strukturierten Sprache bereitzustellen, die den Grad der Sicherheitsintegrität (SIL) 2 und höher erfüllt。

MISRA C:2004, den MISRA AC AGC-Standard im Rahmen der automatischen Code-Generierung, MISRA c++:2008 für c++ und den MISRA C:2012-Standard。

信息

Mit weitverbreiteten Simu金宝applink^®, Stateflow^®und嵌入式编码器^®lässt sich嵌入式软件nach MISRA-C^®entwickeln和代码generieren。产品代码验证在Polyspace^®在MISRA c -标准中分析手抄本的顺序。Polyspace Bug Finder™unterstützt die Erkennung von codeteln gemäß MISRA-C: 2004, MISRA-C++:2008, MISRA C:2012 und MISRA AC AGC。

Sie können in modeloder Untersystem so konfigurieren, dass der Codegenerator mit hoher Wahrscheinlichkeit MISRA C: C:2012-konformen Code mit dem代码生成顾问generiert。Jener Code kann anschließend im Detail mit Polyspace auf MISRA-Konformität überprüft werden, wobei sich potenzielle Funde bis ins model zurückverfolgen lassen。祝你死得痛快Möglichkeit，祝你死得痛快。