Per aiutare a valutare la qualità del code dice software utilizzato nelle unità di controllo electrononico, la MISRA(“汽车工业软件可靠性协会”)ha introdoto delle lineee guida Per l 'utilizzo del code - Per i software eseguiti su automobili e aeromobili。Nel 1998, MIRA有限公司pubblicò MISRA C (MISRA C:1998)每一个fornire unsubset ristretto di i unlinguaggio结构的标准，che soddisfaceva il livello integrazione della sicureza (SIL) 2 e superiori。
Da allora, sono stati eseguiti diversi aggiopenti allo标准，tra cui MISRA C:2004, lo标准MISRA AC ACG nel contesto della generazione automatica di codice, MISRA c++:2008 per c++， e lo标准MISRA C:2012。
每maggiori informazioni su MISRA C，顾问il sitowww.misra.org.uk
动态仿真模块®, Stateflow®ed嵌入式编码器®sono largamente utilzzati per generare软件嵌入在MISRA C®．我是Polyspace®vengono utilizzati per analizzare code dice script a mano generato per la conformità con MISRA C. Polyspace Bug Finder™supporta il rilevamento delle regole di codifica MISRA-C: 2004, MISRA-C++:2008, MISRA C:2012 e MISRA AC AGC。
È可能配置un modello o un sottosistema in modo che sia più probabile che il generatore di codice produca un codice conme a MISRA C: 2012 utizzando il代码生成顾问。La conformità MISRA del code generato può essere verificata uzzando Polyspace e i risulata所有essere ricondotti al modello。È可能的票价，一个活泼的，我的模型，每fornire, giustificazioni每qualsiasi, deviazione。
Scopri di più ula generazione di codice符合MISRA:
每一个助理，meglio, glio, utenti, nei loro, sforzi di, ottenere la conformità a MISRA C, MathWorks fornisce laTabella di支持MISRAutilzzando嵌入式Coder con modelli Simulink e状态流。
i pacchetto di analisi
- 文献azione con unriepilogo delle regole ed esempi dettagliati
- Modelli仿真软件
Scopri di più la verifica della conformità MISRA con prodotti Polyspace:
Prodotti chiave per lo sviluppo di applicazioni MISRA C:
来possiamo aiutarti吗?
那是一种有价值的，有价值的，有价值的，有价值的，有价值的。
您也可以从以下列表中选择网站: