자동차

MATLAB및Si万博1manbetxmulink의MISRA C지원

전자제어장치에사용되는소프트웨어의품질을평가하기위해MISRA(汽车工业软件可靠性协会)에서는자동차와항공기에서실행되는소프트웨어의C코드사용에관한가이드라인을소개했습니다。米拉사는1998년에MISRA - C (MISRA - C: 1998)를발표하여,안전무결성등급(SIL) 2이상을충족하는표준화되고구조화된제한적인언어세트를제공하였습니다。

그이후로해당표준은MISRA - C: 2004年,자동코드생성에관련된MISRA AC AGC, c++에관한MISRA c++: 2008年,MISRA - C: 2012표준등으로몇차례업데이트되었습니다。

Misra에관한더자세한내용은www.misra.org.uk를참조하시기바랍니다。

万博1manbetx®, Stateflow®，嵌入式编码器®는misra c®에적합한임베디드소프트웨어를제작하는데널리사용되고있습니다。Polyspace®코드검증제품은수작업으로작성한코드또는자동으로생성된코드의MISRA - C준수여부를분석하는데사용합니다。Polyspace Bug Finder™는MISRA-C 2004, MISRA- c++:2008, MISRA C:2012, MISRA AC AGC의코딩규칙들에대한위반사항을탐지합니다。

大陆，대형트럭용전자제어에어서스펜션(电子控制空气悬架)개발。大陆开发重型卡车电子控制空气悬架
大陆，대형트럭용전자제어에어서스펜션(电子控制空气悬架)개발

代码生成顾问를사용자는이용하여코드생성기가MISRA - C: 2012를준수하는코드를생성할가능성이가장높도록모델이나서브시스템을설정할수있습니다。Polyspace를이용하면생성된코드의MISRA준수여부를체크할수있고,결과를모델까지추적할수있습니다。모델수준에서주석을달아서，위반사항이발생한이유를제공할수있습니다。

다음에서misra를준수하는코드생성에대해더자세히알아보십시오。

사용자가MISRA - C를준수하여목표를달성하는데도움이되기위해,MathWorks는嵌入式编码器와仿真软件,Stateflow모델을이万博1manbetx용한MISRA支万博1manbetx持表을제공하고있습니다。

Misra분석패키지에는다음이포함되어있습니다。

  • 규칙약문과상세한예가수록된문서
  • 万博1manbetxSimulink모델

Polyspace제품으로MISRA준수여부를검하는방법에대해더알아보십시오。

Misra c애플리케이션개발을위한주제품:

도와드릴방법을알려주십시오。

고객맞춤형평가를원하시거나필에따른가격을알아보려면연락해주십시오。

시작하기