符合ISO26262标准的建模规范检查模型静态分析静态测试工具
Model Examiner - 功能安全解决方案(以下简称MXAM) 测试套件是您进行全面静态模型分析的首选工具 。MXAM提供了一种简单的方法来检查建模规范、分析模型结构和评估模型指标,所有这些功能都可以通过模型静态测试工具软件MXAM来完成。
MXAM通过自动运行模型规范检查以及自动修复或引导用户手动修复结果偏差为用户提供全面的模型检查与优化方案,有效地确保您的软件模型符合ISO 26262标准。 MXAM工具的一个独特功能 - 持续偏差注释,允许您对个别规范的违规进行偏差注解,以此说明允许偏差接受的情形。MXAM 的注释功能支持对可自动检查和不可自动检查的规范进行持续跟踪,并记录检查的过程。
MXAM专为功能开发人员、测试人员和质量经理在MATLAB®/Simulink®、Embedded Coder®和TargetLink®平台上进行基于模型的开发而设计,并通过了TÜV SÜD (南德意志技术监督协会) 的认证,可用于安全相关的嵌入式软件开发过程,符合ISO 26262、IEC 61508和ISO 25119标准。
借助MXAM功能安全解决方案,您将完全具备符合功能安全开发标准的模型开发能力。 MXAM提供定制版本,可根据您想要实现的需求进行量身定制,如MXAM MISRA®合规解决方案(MCS)严格注重遵守MISRA®标准,ASCET合规解决方案专门用于ASCET高效建模。当然,MXAM也提供公司定制版本以确保快速可靠地验证您企业特有的建模规范。MXAM所特有的全面的管理框架为您提供全面高效的集成检查方案。
从单个工作站到持续集成,MXAM与您现有开发环境结果简单配置便可实现工具链间的高效扩展和无缝集成。
MXAM经 TÜV SÜD (南德意志技术监督协会) 认证,符合IEC 61508、ISO 25119