sira（运动行业软件可靠性协会）에서에서에서에서하기하기의코드코드에에에에서에서에서에서에서에서는와에서실행되는되는소프트웨어의의코드코드사용에에관한지침지침했습니다。Misra는1998年Misra c（Misra C：1998）를를하여하여（SIL）2이상이상하는구조된언어언어표준하였습니다하였습니다하였습니다
Misra C：2004，Misra ac agc표준，C ++에에에에에에에생성로로이이이이표준은은은은표준자동코드생성에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에에
万博1manbetx®，状态流®，嵌入式编码器®는Misra c®에적합소프트웨어제작하는데사용있습니다있습니다있습니다。Polyspace®코드검증수작업으로한코드또는자동생성된된코드코드의의의의의의의의의의준수준수준수여부를분석하는하는합니다합니다합니다。polyspace bug Finder™Misra-C：2004，Misra-C ++：2008，Misra C：2012，Misra ac agC에에탐지합니다합니다합니다합니다。
代码生成顾问를Misrac：2012를준수코드코드생성할가능성이가장높도록모델모델이나서브서브시스템시스템을을할있습니다있습니다있습니다있습니다。polyspace를이용생성된의의준수여부검사수수있고，결과결과있고모델모델모델까지추적할있습니다있습니다。모델수준을달아서，위반사항발생이유제공할있습니다있습니다있습니다。
Misra준수생성대해더알아보십시오알아보십시오。
Misra c준수목표달성도움을위해위해위해위해위해위해，嵌入式编码器와simulink simulink sateflo万博1manbetxw satesflow모델모델모델때때때때때때때때때때때코드코드코드를하기하기하기위한타당성타당성패키지패키지및및권장권장권장권장권장사항을
Misra c분석에는이있습니다있습니다있습니다있습니다。
- 규칙요약문과예가수록된문서
- 万博1manbetxSimulink모델
polyspace제품으로으로준수를하는에더알아보십시오알아보십시오。
Misra c응용개발위한제품：
您还可以从以下列表中选择一个网站：
美洲
- AméricaLatina（Español）
- 加拿大（英语）
- 美国（英语）