• Developers
    • Developers Price. Buy. Download. Try.
    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 的更多信息

     

    阅读更多

    下载手册

     

    阅读更多