Per aiutare a valutare la qualità del codice software utizzato nelle unità di controllo elettronico, la MISRA(“汽车工业软件可靠性协会”)ha introdotto delle line guida Per l ' utizzo del codice C Per i software eseguiti su automobili e aeromobili。Nel 1998, MIRA有限公司pubblicò MISRA C (MISRA C:1998)关于语言结构标准化的分类和分类的标准(SIL)
根据MISRA C:2004, MISRA C:2004, MISRA C: 2008每c++， MISRA C:2012。
据我所知，我在此咨询www.misra.org.uk
万博1manbetx®, Stateflow®ed嵌入式编码器®sono largamente utilzzati per generare软件嵌入式每MISRA C®．多元空间的代码验证定理®vengono utilizzati per analizzare codice scripto a mano generato per la conformità con MISRA C. Polyspace Bug Finder™sup万博1manbetxporta il rilevamento delle regole di codifica MISRA-C: 2004, MISRA- c++:2008, MISRA C:2012 e MISRA AC AGC。
È可能的配置unmodello o un sottosistema在modo che sia più可能的che il generatore di codice produca un codice conme a MISRA C: 2012 utizzando il Code Generation Advisor。La conformità a MISRA del codice generato può必要的验证工具Polyspace e i risultati占有必要的ricondotti al模型。È可能的票价注释，一个生动的di模型，每fornire giustificazioni，每qualsiasi deviazione。
Scopri di più sulla generazione di codice符合MISRA:
Per assistant meglio gli utenti nei loro sforzi di ottenere la conformità a MISRA C, MathWorks fornisce laTabella di 万博1manbetxsupporto MISRA利用嵌入式Coder con modelli Simulink e状态流。万博1manbetx
分析包MISRA理解:
- Documentazione con unriepilogo delle regole ed esempi dettagliati
- Modelli仿万博1manbetx真软件
Scopri di più苏拉verifica della conformità MISRA con prodotti Polyspace:
Prodotti chiave per lo sviluppo di applicazioni MISRA C:
来吧possiamo aiutarti?
每一种大米都有价值，有个性，有质量，有基础，有价值。
您也可以从以下列表中选择一个网站: