首页 > 其他分享 >Model Inspector—软件模型静态规范检查工具

Model Inspector—软件模型静态规范检查工具

时间:2023-11-13 14:12:32浏览次数:35  
标签:规范 检查 静态 复杂度 Number 建模 模型 Model Inspector

产品概述

       Model Inspector(MI)原厂商是韩国Suresoft,是KOLAS国际公认测评机构,旨在提升安全关键领域软件可信度。MI用于开发过程中模型的静态检查,包括规范检查、复杂度度量,提供MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE标准规范及检查,检查Simulink、Targetlink等模型是否符合建模标准、评估模型设计的合理性。MI具备ISO 26262/IEC61508等认证资质,支撑基于模型的高可靠、高安全的嵌入式电子产品验证及确认平台,在现代、起亚等企业得到应用。

 

产品介绍

       MI是标准化的静态检查工具,可以对模型进行自动化、批量化建模规范检查、复杂度度量,提升用户的模型质量,其工作流程如图:

 

  • 产品认证资质

          工具具备ISO-26262(汽车)/IEC61508(通用)等认证资质。

 

  • 支持的标准和检查项

          支持大多数国际通用规则,480+条行业标准建模规则:

        MathWorks Automotive Advisory Board(MAAB)

        Modeling design and style guidelines for the application of Simulink and Stateflow(MISRA_AC_SLSF)

        Modeling style guidelines for the application of TargetLink in the context of automatic code generation(MISRA_AC_ TL)

        dSPACE Modeling Guidelines

        Modeling Guidelines for High-Integrity System(HIS)

        Modeling Guidelines for Code Generation(CG)

        Suresoft Guidelines

        用户自定义标准(定制规范检查)

 

  • 支持复杂度度量

          全方位模型度量,20多种模型度量指标,从MATLAB代码行数、复杂度,到Simulink模块、子系统、库,再到Stateflow各类转移,还有数据结构层级分析、复杂度分析等,针对整个模型/单个子系统分别统计,支持用户定义检查阈值:

        Number of subsystems

        Number of blocks

        Number of linked library

        Number of charts

        Number of all objects in the chart

        Number of states

        Number of transitions

        Number of MATLAB function

        Number of Stateflow code lines

        Effective lines of MATLAB function code metric

        Subsystem depth

        Number of incoming transition

        Number of outgoing transition

        Number of atomic condition transition

        Nondescriptive block name

        Data and structure layer separation

        Complexity (Local/Global)

        Cohesion

        Coupling (Fan-In)

        Coupling (Fan-Out)

 

  • 支持检查的产品

        MATLAB/Simulink/Stateflow(MathWorks)R2011b及以上

        TargetLink(dSPACE)v3.3及以上

 

显著特点

  • 功能完备度高

        规则更全(标准规则484条),覆盖各历史版本规则

        复杂度指标加倍(度量指标21种)

        检查程度更完备(检查规则包含的每条描述)

 

  • 工程易用性好

        独立性好,面向用户友好界面

        全程追溯,双向自动定位模型违规位置

        工程化管理

        提供违规原因、纠正建议

        支持模型批量检查、局部子系统检查/不检查运行

        自动修改违规细则

        速度提升50%~85%左右

        自动生成多种格式的报告(pdf、html、xls)

 

  • 扩展性好、开放性好

        支持自定义复杂度度量指标比较阈值

        支持自定义分组管理、复用、编辑已有规则

        支持写代码调用API执行检查

        支持自定义规则

 

应用案例

       使用MI进行建模规范自动化检查的用户广泛,如现代、起亚等,并为用户打造从建立规范到自动化检查的综合解决方案。

       经纬恒润推广MBD十多年,咨询经验丰富,开展多个典型用户的建模规范咨询服务:

  • 定制产品级规范检查流程
  • 深度培训、指导/定制开发
  • 定制产品级建模指南(规范)
  • 定制产品级模型库、建模模板、配置模板

标签:规范,检查,静态,复杂度,Number,建模,模型,Model,Inspector
From: https://www.cnblogs.com/hirain123/p/17828973.html

相关文章

  • A Latent Hidden Markov Model for Process Data读文献笔记
    【个人笔记】:笔记(ALatentHiddenMarkovModelforProcessData)\SummaryResponseprocessdatafromcomputer-basedproblem-solvingitemsdescriberespondents'problem-solvingprocessesassequencesofactions.Suchdataprovideavaluablesourcefor......
  • Truenas 静态IP设置(web端)
    Truenas静态IP设置(web端)在shell上设置半天都没有好,主要原因是对网络术语不太明白,界面端也如此,alias,翻译别名也无可厚非,要创建才知道实际上是用来设置IP地址的,我该如何怀疑truenas设置当然还有一个测试生效、保存更改等步骤.后话这玩意会波及docker、k3s服......
  • .Net进阶(5)使用Fody实现 .NET的静态编织
    序言 广义的面向切面编程,有静态编织和动态代理两种形式,它们都可以在某个方法执行前后插入某种处理逻辑。不同的地方在于,前者发生在编译时期间,后者发生在运行时期间。对于.NET而言,最常见的静态编织方案是 PostSharp 和 Mono.Cecil,两者的区别是:一个付费、一个免费。本文介......
  • [论文阅读] Latent Consistency Models@ Synthesizing High-Resolution Images with F
    1.Pretitle:LatentConsistencyModels:SynthesizingHigh-ResolutionImageswithFew-StepInferenceaccepted:arXiv2023(ICLR2024Submission)paper:https://arxiv.org/abs/2303.01469code:https://github.com/openai/consistency_modelsref:https://mp.wei......
  • 3.0 熟悉IDAPro静态反汇编器
    IDAPro是一种功能强大且灵活的反汇编工具,可以在许多领域中发挥作用,例如漏洞研究、逆向工程、安全审计和软件开发等,被许多安全专家和软件开发者用于逆向工程和分析二进制代码。它支持大量的二进制文件格式和CPU架构,并提供了强大的反汇编和反编译功能。使用IDAPro,用户可以查看和编......
  • 3.0 熟悉IDAPro静态反汇编器
    IDAPro是一种功能强大且灵活的反汇编工具,可以在许多领域中发挥作用,例如漏洞研究、逆向工程、安全审计和软件开发等,被许多安全专家和软件开发者用于逆向工程和分析二进制代码。它支持大量的二进制文件格式和CPU架构,并提供了强大的反汇编和反编译功能。使用IDAPro,用户可以查看和......
  • 静态方法只能由类进行调用,实例方法只能由实例对象进行调用
    由于类内部的静态方法的调用者只能为类,实例方法的调用者只能为实例对象,不会在调用时造成歧义,因此允许重名。对于static我们需要明白两点:1.为什么有static?在定义类的时候,类中都会有相应的属性和方法。而属性和方法都是通过创建本类对象调用的。当在调用对象的某个方法时,这个方......
  • 多模块打包包含不同module的静态资源
     <profiles><profile><id>package</id><build><plugins><plugin><groupId>org.apache.maven.plugins</groupId&......
  • TALLRec: An Effective and Efficient Tuning Framework to Align Large Language Mod
    目录概TallRec代码BaoK.,ZhangJ.,ZhangY.,WangW.,FengF.andHeX.TALLRec:Aneffectiveandefficienttuningframeworktoalignlargelanguagemodelwithrecommendation,2023.概LoRA微调在推荐上的初步尝试.TallRecTallRec实际上就是一种特殊的指令......
  • Adding Conditional Control to Text-to-Image Diffusion Models
    https://mp.weixin.qq.com/s/iL6YitT7EGP6DnrBehb9MQ1.AddingConditionalControltoText-to-ImageDiffusionModels论文地址:https://arxiv.org/pdf/2302.05543.pdf开源地址:https://github.com/lllyasviel/ControlNet(该项目已有2.4万stars)作者单位:斯坦福大学这......