按照ISO26262标准检验建模规范:基于模型的软件开发质量工具

按照ISO26262标准检验建模规范:基于模型的软件开发质量工具

MES Model Examiner 基于模型的软件开发质量工具介绍

按照ISO26262标准检验建模规范:基于模型的软件开发质量工具
Model Examiner - 功能安全解决方案(MXAM)是您进行全面静态模型分析的首选。MXAM提供了一种简单的方法来检查建模规范、分析模型结构和评估模型指标,所有这些都可h [ E m以通过单个工具软件来完成。
通过分析结果以及一个修复和改进流程为用户提供全面的指南,有效地确保g 1 F您的软件模型符合ISO 26262标准。 该工具的一个独特功能是支持持久化注释。这允许您对个别规范的违规发表评论,并证明例外情况是合理的。该p H K b , w . B注释支持对可自动检查和不可自动检查的规范进行连续跟踪,并记录检查的过程。
Model Examiner专为功能开发人员、测试人员和质Z z *量经理MATLA( & { C T #B/Simulink、Embedded Coder和TargetLink平台上进行基于模型的开发而设计,并通过了TV SD (南德意志技术监督协会) 的认证,可用于与安全相关的嵌入式软件开发中,符合x f - K G ~ISO 26262、IEC 61508和ISO 25119标准。
借助MXAM功能安全解决方案,您将完全具备开发与安全U 7 C . & o G相关,且符合标准的软件的能力。 MXAM提供特殊版本,可根据您想要实现K z E @ C x F ]的需求进行量身定制。它们是 MXAM MIQ 9 T qSRAk合规解决方案(MCS),它严格注重遵守MISRAk标准;以及ASCET合规解决方案,用于使用ASCET进行高效建模。当然,MXAM也提供公司特定版本。这些版本是量身定制的,以确保快速可F ~ D e E J靠地验证您企| q d p l / , Y [业特有的建模规范。一个全面的管理框架有助于集成这些检查。
从单个工作站到持续集成,MXAM与您现有开发环境的集成具有高度可扩展性且易于设置。

经 TV SD (南德意志技术监督协会) 认证,符合IEC 61508、ISO 25119 和ISO 26262标准
按照ISO26262标准检验建模规范:基于模型的软件开发质量工具

MXAM 主要优点概述:
高效
• 是模型审& : y 2 1 a %核及模型优化的高效助手
• 自动化的模型分z { H析,极易按用户要求进行配置
可扩展
• 轻松检验大型模型系统
• 可在单独工作站使用亦可被集成到公司范围的软件工具链中
控制
• 有效管理建模规范及其测试方案
• 支持各种软件工具链整合技术
一致性
• 确保模型达到建模规范及国际安全标准 (ISO26262, ISO 2( f K5119, IEC61508, DO178C etc.) 的要求
• 符合 ISO26262 要求的质量i m .工具包

MXAM如何支持您

  1. 建立完美的模型
    最佳的建模实践经| h 0 @ Z x 4 q A验帮助您及早发现或避免建模错误从而为下一步模型T . l m I | I的功能验证做好准备。MXAM 验证模型是否符合 MIZ 8 a k 8 - `SRA SL/SF- k 0 b t B _ ` o, MISRA TL, Embedded Coder 建模标准并对TargetLink 模型的已知问题进行有针对性的检验。ME( _ g 9 q H JS 功能安` 0 l - ) +全文档额外提供, 6 5 x n J b确保安全攸关软件功能模块开发的建模标准. 从+ 9 O而使建立的模型满足国际安全标准 ISO 26262, ISO 251190 U f Z L, IEC 61508 以及 DO 178 C的要求

  2. 极大V e ` 4 _ l减少模型维护成本
    统一的模型布局提高了模型的可读性及维护性从而可以快速识6 & N + ) A H { r别错误。确保达到此目的MXAM 集成了 MAAB 建模标准以及 MES 建模布局建议及最佳经验。

  3. 为无误自动编码优化模型
    基于模型的软件开发中软件模型是软件代码的基础。优化的软件模型确保软件代码生成的自动化。从而节省开发资源。 以期将有限资源投用到如功能开发及检验等更迫切需要的地方. MXAM 对于常见的软件代码生成工具诸如 Embedded Coder, TargetLink 以及 ASCET 提供特定的建模规范文b U @ 4 D f 6档以保障软d + %件模型质量使其达到自动高效代码生I o 3成的要求。

  4. 综合报告并为模型修复建议
    MXAM 给出一目了然的建模规范审核结果。如发现错误 MXAM 直接指出出现错误的模型部分并o ~ A a ? 7 *给出错误分析以及修改建议。在多数情况下校正功能还可自动修R - v h复错误模型部分。MXAM 是一个保证建模质量的非x G - o $ 9常省时,便捷的工具。

  5. N [ @ + % l S动式的模型的同行评审
    MXAM 中可通过注释添加个人的模型违规意见. 从而使得模型审核及评价结果被持续记录下来。MX@ ] Q ; n q Y DAM 全面,完整的总结和记录了手动及自动建模规范验证的结果。

  6. 多样的报告形式
    MXAM 自动进行模型审核并记录结果生成报告. MXAM 报告可以以HTML-, PDF-B Y | P S X p, EXCEL- 和 Xt Y ) 6 w + ! s sML- 的格式按照用户自定义模板来生成.

  7. 舒适管理建模规范
    MW $ v 6 ;XAM 的特殊框架确保了大型建模规范及验证方案库的便捷管理。可随意添加用户自定义建模规范及测试方案。通透的管理模式保证了模型质量的可追朔性。 模型验证结果可随时再现。