符合ISO26262标准的建模规范检查模型静态分析静态测试工具
Model Examiner - 功能安全解决方案（以下简称MXAM）测试套件是您进行全面静态模型分析的首选工具。MXAM提供了一种简单的方法来检查建模规范、分析模型结构和评估模型指标，所有这些功能都可以通过模型静态测试工具软件MXAM来完成。
MXAM通过自动运行模型规范检查以及自动修复或引导用户手动修复结果偏差为用户提供全面的模型检查与优化方案，有效地确保您的软件模型符合ISO 26262标准。 MXAM工具的独特功能 - 持续偏差注释，允许您对个别规范的违规进行偏差注解，以此说明允许偏差接受的情形。MXAM 的注释功能支持对可自动检查和不可自动检查的规范进行持续跟踪，并记录检查的过程。
通过ISO 26262、IEC 61508和ISO 25119认证
MXAM专为功能开发人员、测试人员和质量经理在MATLAB®/Simulink®、Embedded Coder®和TargetLink®平台上进行基于模型的开发而设计，并通过了TÜV SÜD（南德意志技术监督协会）认证，可用于安全相关的嵌入式软件开发过程，符合ISO 26262、IEC 61508和ISO 25119标准。
MXAM 主要优点概述:
高效
- 是模型审核及模型优化的高效助手
- 自动化的模型分析，极易按用户要求进行配置
可扩展
- 轻松检验大型模型系统
- 可在单独工作站使用亦可被集成到公司范围的软件工具链中
控制
- 有效管理建模规范及其测试方案
- 支持各种软件工具链整合技术
一致性
- 确保模型达到建模规范及国际安全标准 (ISO26262, ISO 25119, IEC61508, DO178C etc.) 的要求
- 符合 ISO26262 要求的质量工具包
MXAM如何支持您
1.建立完美的模型
最佳的建模实践经验帮助您及早发现或避免建模错误从而为下一步模型的功能验证做好准备。MXAM验证模型是否符合 MISRA SL/SF, MISRA TL, Embedded Coder建模标准并对TargetLink模型的已知问题进行有针对性的检验。MES功能安全文档额外提供确保安全攸关软件功能模块开发的建模标准。从而使建立的模型满足国际安全标准 ISO 26262, ISO 25119, IEC 61508 以及DO 178B/C的要求。
2. 极大减少模型维护成本
统一的模型布局提高了模型的可读性及维护性从而可以快速识别错误。确保达到此目的MXAM集成了MAAB建模标准以及MES建模布局建议及最佳经验。
3. 为无误自动编码优化模型
基于模型的软件开发中软件模型是软件代码的基础。优化的软件模型确保软件代码生成的自动化。从而节省开发资源。以期将有限资源投用到如功能开发及检验等更迫切需要的地方。MXAM 对于常见的软件代码生成工具诸如 Embedded Coder, TargetLink 以及 ASCET 提供特定的建模规范文档以保障软件模型质量使其达到自动高效代码生成的要求。
4. 综合报告并为模型修复建议
MXAM 给出一目了然的建模规范审核结果。如发现错误 MXAM 直接指出出现错误的模型部分并给出错误分析以及修改建议。在多数情况下校正功能还可自动修复错误模型部分。MXAM 是一个保证建模质量的非常省时，便捷的工具。
5. 互动式的模型的同行评审
MXAM 中可通过注释添加个人的模型违规意见。从而使得模型审核及评价结果被持续记录下来。MXAM 全面，完整的总结和记录了手动及自动建模规范验证的结果。
6. 多样的报告形式
MXAM 自动进行模型审核并记录结果生成报告。MXAM 报告可以以HTML-, PDF-, EXCEL- 和 XML- 的格式按照用户自定义模板来生成。
7. 舒适管理建模规范
MXAM 的特殊框架确保了大型建模规范及验证方案库的便捷管理。可随意添加用户自定义建模规范及测试方案。通透的管理模式保证了模型质量的可追朔性。模型验证结果可随时再现。
MES模赛思公司简介：
模赛思软件技术有限公司(Model Engineering Solutions，简称MES)是一家高科技软件公司，专为软件项目的质量保障提供解决方案。MES为客户基于模型的软件开发提供技术支持，使其符合IEC 61508、ISO 26262或ASPICE等行业标准。MES的主要客户包括整车厂如戴姆勒、大众、丰田和吉利等以及博世、西门子和三星等行业供应商。在汽车行业中，除少数几家公司外，全球数十家顶尖制造商及供应商均在他们的开发环境中使用MES的解决方案。为支持其全球客户，MES已在美国和中国建立了子公司，并与全球分销商网络紧密合作。
MES的产品包括质量工具软件：MES Model Examiner、MES Model & Refactor和MES Quality Commander，它们共同构成了一个工具链，全面保障基于模型的软件开发过程中所有阶段的质量。通过MES Jenkins Plugin，该工具链也可以在持续集成环境中使用。工具链主要应用平台为MATLAB Simulink。除了MES质量工具外，MES测试中心和MES学院的专家们还为全球客户提供关于质量保证和开发流程优化的定制咨询服务及培训课程。
