MISRA(汽车工业软件可靠性协会)最初是作为一种促进在汽车工业中开发安全相关电子系统的最佳实践的方法而创建的，自那时起已成为多个行业采用嵌入式系统的标准，包括航空航天、医疗和铁路。为了帮助制造商、部件供应商和工程咨询公司合作开发这些与安全相关的嵌入式系统，MISRA发布了为工程师和制造管理人员提供信息的文档。
MISRA Autocode (AC)是针对建模工具用户的一组指导方针。据说，这些指导方针鼓励良好的建模实践，并避免建模语言定义不好的特性。MISRA AC规则(为遵循MISRA- c:2004指南提供了一个框架)专门用于在安全相关系统的开发中使用自动代码生成器。
作为LDRA工具套件的一部分(由LDRA提供，LDRA是为安全、任务、安全和业务关键型市场自动化代码分析和软件测试的软件提供商)，开发人员可以决定哪些单独的MISRA AC规则应用于他们的项目代码生成器，以及是否需要在模型级别添加额外的规则来解决对任何给定MISRA C规则的偏差。这种能力允许创建由LDRA工具套件管理的标准的超集或子集。
LDRA运营总监Ian Hennell表示:“随着通用汽车、NASA和Lear等公司从模型驱动设计中生成大量代码，需要软件测试和验证套件将模型及其生成的代码集成到整个测试过程中。”“在LDRA工具套件中，模型的所有方面、自动生成的代码、测试用例和需求都经过了验证，并独立显示以满足遵从标准。MISRA AC协助整个核查过程。”
基于LDRA工具套件中支持的需求可追溯性，所有模型和自动编码工件都成为整个需求可追溯矩阵的一部分，使开发人员能够在整个软件开发过程中通过模型、代码和测试来跟踪需求的实现。这意味着开发人员可以查明未满足的需求和失败的测试，并深入到相关代码，从而加快整个测试过程。
Hennell补充道:“MISRA标准汇集了有助于减少代码中缺陷数量的编程指南。一旦模型被证明可以正确生成代码，错误的百分比甚至会下降更多。”
LDRA软件技术
www.ldra.com/misraac.asp
