MES — 高可靠、高安全的模型测试平台

hirain

        Model Engineering Solutions GmbH (MES) 是德国一家专注于高可靠、高安全嵌入式领域的高科技公司，通过模型复杂度分析、模型规范检查、模型自动化测试等手段提升嵌入式软件开发质量和效率。其产品符合ISO-26262、DO-178B/C、IEC-61508 等行业规范要求，支持MATLAB/Simulink、Targetlink、ASCET 等主流图形化建模平台，为基于模型的高可靠、高安全的嵌入式电子产品开发团队提供强有力支撑。在奥迪、大众、戴姆勒、大陆电子、博世、DLR 等全球领先企业得到成功应用。

产品介绍

模型复杂度分析工具—M-XRAY
        MES M-XRAY 为MES 标准工具之一，可以对Simulink、Targetlink 模型进行测量、分析与评估，为模型开发工程师提供参考意见。



显著特点
●  支持多类模型导入：Simulink 模型、Stateflow 模型、Targetlink 模型
●  支持整体模型架构分析
●  可检查复制的子系统布局及参数改变
●  结构化呈现模型结构、子系统复杂度、模型层次、模型库链接等信息

模型规范检查工具—Model Examiner
        Model Examiner 为MES 核心工具，是一种可为模型提供快速可靠的标准检查的工具，支持包括Simulink、Stateflow、TargetLink、ASCET、 Enterprise Architect 以及Excel 数据等，对模型进行ISO-26262、DO-178B/C 等行业标准和企业自定义标准及数据规则检查。



显著特点
●  检查和确保软件模型与ISO-26262和MISRA规范的一致性
●  可针对功能安全关注的核心环节进行检查，比如强类型数据、数据适应性评估和变化范围、变量正确初始化和接口兼容性
●  提供开放、齐全的应用程序界面，可开发和集成企业自定义的检查标准

支持的标准和检查项
●  MAAB3.0
●  基于MISRA1.0的MISRA AC SLSF
●  基于MISRA1.0的MISRA AC TL
●  dSPACE TargetLink
●  MES功能安全标准
●  复杂度评估（MES—XRAY）
●  用于自定义标准

支持的产品
●  Mathworks MATLAB/Simulink、Stateflow
●  dSPACE TargetLink
●  ETAS ASCET
●  MS EXCEL
●  用户自定义产品

模型测试管理工具—MES Model Test Manager
        MES Test Manager®（MTest）是一个模型测试管理框架，可以支持ISO-26262 标准，以及对Simulink®、EmbeddedCoder® 和TagetLink® 模型进行的基于需求的单元测试。MTest 支持MIL、SIL、PIL 及回归测试。



显著特点
●  完成符合 ISO- 26262 标准的测试，可进行Mil、Sil、Pil 仿真的评估
●  灵活的测试配置，可将测试相关的文档、参数、数据、结果和度量进行分组，通过对所有数据进行层次性组织达到高效测试管理
●  运用批量测试在一个工程中自动化执行所有测试用例
●  自动获取模型覆盖度和代码覆盖度数据的记录和收集

技术指标
●  自动化测试执行、评价及测试报告生成
●  支持回归/连续测试
●  支持手动定义测试预期
●  支持手动撰写测试规范说明
●  支持对仿真、回归测试和报告生成的批处理
●  支持对测试结果进行自动评价、对输入/输出信号和需求定义进行对比、并明确的指出失败或出现偏差的时间
●  支持模型覆盖度、代码覆盖度链接至覆盖度报告
●  支持比较不同仿真模型的信号，并显示在一个框图中（包括模型仿真和代码仿真）

应用&案例

        MES 给大众基于MES M-XRAY、Model Examiner、MES Test Manager®（MTest）提供完整MBD 解决方案，辅助客户开发SIL测试平台，执行背对背及回归测试，历时7 年内在4 个工程项目中得到成功实施。



部分客户列表:
●  汽车：BMW、Audi、 DaimlerChrysler、Ford 、Honda、Fiat、Toyota、Continental、ZF、Bosch、Denso、广汽、长城汽车…
●  DLR、中国航空工业集团院所