新版MXAM V.6 - 静态模型分析集成平台

2020年04月22日

模赛思软件技术有限公司（Model Engineering Solutions，MES）已成功将MES Model Examiner®(MXAM)和MES M-XRAY® (MXRAY)作为符合ISO 26262标准的静态模型分析工具推向市场。截至目前，这两样工具均基于两个独立的技术平台。随着新的MES Model Examiner® v.6.x - 功能安全解决方案的推出，它们将被合并为一个产品。

度量标准还是建模规范？

如果想要验证模型实施过程中是否符合既定的建模规范，MXAM是首选的规范检查工具。MXRAY则注重于模型结构分析，并通过衡量度量值来评估模型架构设计的不同方面。对于后者，合格与不合格结果之间的界限可能是模糊的，和/或可能需要参照其他度量值。然而，尽管它们的侧重点不同，但度量标准和建模规范都是静态模型分析的重要组成部分，应始终结合起来考虑。因此，我们将MXAM和MXRAY这两个工具合并成为新版MXAM v.6.x。

技术优势

这两个工具的结合，让迄今为止最全面的符合ISO 26262的静态模型分析得以在一个工具中实现，并提供了各种新的优势和功能。当然，首先，也是最重要的一点，这包括了扩展MXAM中的建模规范库，让ISO 26262架构设计原则与MXRAY的质量度量标准相结合。这些规范注重模型结构和复杂度之间的平衡，并与成熟的MXAM用户功能兼容，如交互式复核支持、注释和忽略列表等。特别是，审阅支持提供了一种方便的方法来记录符合ISO 26262的设计决策。同时，MXAM的报表透视图添加了新的视图，为复杂的度量关系提供了大量的过滤和显示选项。通过这种方式，有经验的MXRAY用户将不会对MXAM中的度量概述感到陌生，而那些没有MXRAY工具使用经验的用户将获悉模型度量的简单介绍。MXRAY以前的所有功能，从模型度量到质量度量和克隆检测，现在都可以在MXAM中进行。因此，使用新的MXAM v.6.x - 功能安全解决方案为符合ISO 26262标准的全面静态模型分析提供了完美的基础。