标签：支持 校正 测试 target alt 一个 部分 model 错误分析
按照ISO26262标准检验建模规范：基于模型的软件开发质量工具MES Model Examiner 基于模型的软件开发质量工具介绍
Model Examiner - 功能安全解决方案（MXAM）是您进行全面静态模型分析的首选。MXAM提供了一种简单的方法来检查建模规范、分析模型结构和评估模型指标，所有这些都可以通过单个工具软件来完成。
通过分析结果以及一个修复和改进流程为用户提供全面的指南，有效地确保您的软件模型符合ISO 26262标准。 该工具的一个独特功能是支持持久化注释。这允许您对个别规范的违规发表评论，并证明例外情况是合理的。该注释支持对可自动检查和不可自动检查的规范进行连续跟踪，并记录检查的过程。
Model Examiner专为功能开发人员、测试人员和质量经理MATLAB?/Simulink?、Embedded Coder?和TargetLink?平台上进行基于模型的开发而设计，并通过了TüV SüD (南德意志技术监督协会) 的认证，可用于与安全相关的嵌入式软件开发中，符合ISO 26262、IEC 61508和ISO 25119标准。
借助MXAM功能安全解决方案，您将完全具备开发与安全相关，且符合标准的软件的能力。 MXAM提供特殊版本，可根据您想要实现的需求进行量身定制。它们是 MXAM MISRAk?合规解决方案（MCS），它严格注重遵守MISRAk?标准；以及ASCET合规解决方案，用于使用ASCET进行高效建模。当然，MXAM也提供公司特定版本。这些版本是量身定制的，以确保快速可靠地验证您企业特有的建模规范。一个全面的管理框架有助于集成这些检查。
从单个工作站到持续集成，MXAM与您现有开发环境的集成具有高度可扩展性且易于设置。
经 TüV SüD (南德意志技术监督协会) 认证，符合IEC 61508、ISO 25119 和ISO 26262标准
MXAM 主要优点概述:
高效
? 是模型审核及模型优化的高效助手
? 自动化的模型分析，极易按用户要求进行配置
可扩展
? 轻松检验大型模型系统
? 可在单独工作站使用亦可被集成到公司范围的软件工具链中
控制
? 有效管理建模规范及其测试方案
? 支持各种软件工具链整合技术
一致性
? 确保模型达到建模规范及国际安全标准 (ISO26262, ISO 25119, IEC61508, DO178C etc.) 的要求
? 符合 ISO26262 要求的质量工具包
MXAM如何支持您
建立完美的模型
最佳的建模实践经验帮助您及早发现或避免建模错误从而为下一步模型的功能验证做好准备。MXAM 验证模型是否符合 MISRA SL/SF, MISRA TL, Embedded Coder 建模标准并对TargetLink 模型的已知问题进行有针对性的检验。MES 功能安全文档额外提供确保安全攸关软件功能模块开发的建模标准. 从而使建立的模型满足国际安全标准 ISO 26262, ISO 25119, IEC 61508 以及 DO 178 C的要求
极大减少模型维护成本
统一的模型布局提高了模型的可读性及维护性从而可以快速识别错误。确保达到此目的MXAM 集成了 MAAB 建模标准以及 MES 建模布局建议及最佳经验。
为无误自动编码优化模型
基于模型的软件开发中软件模型是软件代码的基础。优化的软件模型确保软件代码生成的自动化。从而节省开发资源。 以期将有限资源投用到如功能开发及检验等更迫切需要的地方. MXAM 对于常见的软件代码生成工具诸如 Embedded Coder, TargetLink 以及 ASCET 提供特定的建模规范文档以保障软件模型质量使其达到自动高效代码生成的要求。
综合报告并为模型修复建议
MXAM 给出一目了然的建模规范审核结果。如发现错误 MXAM 直接指出出现错误的模型部分并给出错误分析以及修改建议。在多数情况下校正功能还可自动修复错误模型部分。MXAM 是一个保证建模质量的非常省时，便捷的工具。
互动式的模型的同行评审
MXAM 中可通过注释添加个人的模型违规意见. 从而使得模型审核及评价结果被持续记录下来。MXAM 全面，完整的总结和记录了手动及自动建模规范验证的结果。
多样的报告形式
MXAM 自动进行模型审核并记录结果生成报告. MXAM 报告可以以HTML-, PDF-, EXCEL- 和 XML- 的格式按照用户自定义模板来生成.
按照ISO26262标准检验建模规范：基于模型的软件开发质量工具
标签：支持 校正 测试 target alt 一个 部分 model 错误分析
原文地址：https://blog.51cto.com/14922788/2528476
