Misra C-Unterstützung在Matlab und Sim金宝appulink

模具汽车工业软件可靠性协会(MISRA)帽子IM雅尔1998年Richtlinien毛皮elektronischenSteuergeräten冯Fahr-死Verwendung冯C代码UND Flugzeugeneingeführt,书房sogenannten MISRA-C:1998标准。Hierbei wurden EINEeingeschränkteTeilmenge德Programmierspra​​cheÇidentifiziert welche书房Sicherheitsanforderungen在书房Stufen SIL 2 UND HOHER格雷希特wird,sowie Metriken楚Bewertung德Qualität冯eingebetteter软件definiert。

Nachfolgend瞎扯ES mehrere Aktualisierungen DES标准,darunter MISRA C:2004年,书房MISRA AC AGC-标准IM拉赫曼DER automatischen代码Generierung,MISRA C ++:2008年献给C ++ UND书房MISRA C:2012年标准。

Weitere Informyen Zu Misra-C finden swww.misra.org.uk

金宝app®, Stateflow®和嵌入式编码®我们的软件是MISRA-C®代码为通用代码。死Verifikationsprodukte Polyspace®dienen nachfolgend祖尔分析冯(handgeschriebenen奥德generiertem)代码,温特anderem楚Überprüfung德Einhaltung DES MISRA-C标准。Polyspace Bug的搜索™unterstützt大北死Überprüfung冯ProgrammierrichtliniengemäßMISRA-C:2004,MISRA-C ++:2008,MISRA C:2012 MISRA UND AC AGC。

Modelle奥德SubsystemekönnenMIT援助组织DES代码生成顾问所以konfiguriert UNDüberarbeitetwerden,DASS DER代码生成möglichstMISRA-C:2012-konformen代码erzeugt。Jener Code KannAnschließendim细节MIT Polyspace Auf Misra-KonformitätüberprüftWerden,Wibei Sich Potentielle Funde Bis Ins ModellZurückverfolgenLassen,WODieMöghichkeitBesteht Gerechtfertigte Oder NotWengige Abweichungen Zu Dokumentieren。

Weitere Informyen Zur Code-GenerierungGemäßMisra-C标准Finden Sie:

嗯,我的Nutzeraufwand zur e吸入tung von MISRA-C weiter zu reduzieren, stellt MathWorks dieMisra支金宝app持表这是一种基于Simulink和Stateflow-Modell金宝appen verwendet的嵌入式编码器。

Das MISRA-C-Analysepaket enthält Folgendes:

  • 我们的文件,我们的程序,我们的细节
  • 金宝appSimulink的Modelle

SchlüsselProdukteFürIentenwicklungvon Misra C-Applikationen: