新闻 直奔主题

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

模赛思软件技术有限公司(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标准的全面静态模型分析提供了完美的基础。

MXRAY v.4.3 - MXRAY 的长期支持版本 (LTS)

对于目前在本地使用MXRAY或独立用作自动化工具的用户,MES将发布一个长期支持的版本:MES M-XRAY v.4.3(LTS)。LTS将保证未来五年内,至2025年4月30日为止的BUG修复支持。

与第三方软件(如MATLAB Simulink/Stateflow、dSPACE TargetLink、ETAS ASCET)配合使用的MES软件支持一般仅限于相应的第三方软件版本在MES软件版本发布之前发布的版本。所有支持的版本均在发行说明中列出。

关于MES模赛思: 软件质量在控制之中

Model Engineering Solutions GmbH(MES)是一家于2006年在柏林成立的软件公司,为软件项目的集成提供质量保证解决方案。 MES为全球客户基于模型的软件开发按照行业标准,如IEC 61508、ISO 26262、ISO 25119或ASPICE提供技术支持。 MES工具链包含四个适用于嵌入式软件开发阶段的工具 - MES质量工具MES Model Examiner® (MXAM)支持软件模型的静态模型分析。MXAM支持MATLAB Simulink®/Stateflow®, Embedded Coder®, TargetLink® 和 ASCET®模型的架构设计验证和自动合规性检查。MES Test Manager® 在基于模型的开发中有效地实现了基于需求的测试。MES Quality Commander®(MQC)评估软件的质量和产品准备情况,并在整个产品开发生命周期中提供关键的决策数据。使用MATLAB Simulink®进行建模时,MES Model&Refactor® (MoRe)通过简化和加速模型编辑并减少单调的工作步骤,帮助用户使用MATLAB Simulink进行建模。MES测试中心团队为客户提供测试服务,服务内容包含需求管理、建立测试规范、自动化测试及质量监控。MES学院提供培训和定制基于公司需求的咨询和服务项目。MES在汽车行业的客户包括全球8大设备制造商和8大供应商,自动化技术领域的客户数量也持续增长。为了支持其全球客户,MES已在美国和中国建立了子公司,并与全球分销商网络紧密合作。 MES是dSPACE 公司的战略合作伙伴和MathWorks及ETAS的产品合作伙伴MES学院与SAE International有合作关系。

Go back