Subnavigation

Misra_transparent_BG (1)


MISRA 检查器

根据MISRA C:2004、MISRA C:2012、MISRA C:2019、MISRA C:2023、MISRA C++:2008 和 MISRA C++:2023实现关键系统的合规性

您需要转换到 MISRA C:2023/MISRA C++:2023?或者想知道从何处开始?

联系我们

开发安全关键型软件时遵守 MISRA 编码指南

在关键系统中使用 C 和 C++ 语言的 MISRA 指南各个版本均由 MISRA 联盟开发。MISRA 是指汽车工业软件可靠性协会(Motor Industry Software Reliability Association)的缩写。

因此,MISRA 标准最初的重点是在汽车环境中开发与安全相关和可靠的软件,因此属于ISO 26262范畴。在整个嵌入式领域的所有行业中,软件开发通常都需要遵守 MISRA 指南,尤其是在功能安全方面。通过应用普遍接受的 MISRA 规则,可以控制整个供应链的代码质量。

Axivion Suite 的 MISRA 检查器涵盖了 MISRA C:2004、MISRAC:2012、MISRA C:2019、MISRA C:2023 和 MISRA C++:2008 的 100% 自动可测试规则,以及 MISRA C++:2023 的大多数规则。

通过认证以确保合规性

Axivion Suite 的 MISRA 检查器已获得 SGS TUEV Saar 认证,可用于符合 ISO 26262 至 ASIL D、IEC 61508 至 SIL 4、IEC 62304 至 C 级安全要求的软件项目。

Axivion_TUVcertificate7.5_291x210px

只需简单的步骤,即可集成到安全质量管理中,实现 MISRA 合规性

Axivion Suite 为您提供安全质量管理的核心构建基块,特别是如果您希望(或必须)遵守 MISRA 概述的程序。

Misra_check_BG (1)
  • 规则和规则组的可定制严重程度分类允许您以符合 MISRA 的方式确定工作的优先级并对规则进行分类。MISRA 将其包含的规则分为强制性、必要性或建议性。若要符合 MISRA 标准,则不得违反标记为强制性的规则。如果存在正当理由,则可以偏离按要求分类的规则。MISRA 为此提供了文档化的流程。
  • 通过代码或外部文件的论证,可以在工作流程中以结构化和系统化的方式处理与 MISRA 规则的偏差,以便按照标准进行开发。可以直接指定 MISRA 理由和权限。
  • 通过应用不同的增量间隔,可以观察和评估开发进程。此外,增量分析可以使“不引入新发现”等目标的实现变得透明。
  • 自动生成有关代码 MISRA 合规性的报告,简化文档编制。

请求演示

 

联系我们

了解有关 Axivion 的更多信息

 

阅读更多

下载手册

 

阅读更多