用于验证模型等价性的系统和方法技术方案

本发明专利技术涉及用于验证模型等价性的系统和方法。提供了一种用于验证模型等价性的系统和方法。在一个实现中，一种系统包括：存储装置，存储参考模型(RM)以及比较模型(CM)，其中该CM和RM由一个规则集约束；以及处理单元，从RM生成参考模型表示(RMR)并将RMR存储在该存储装置上；该处理单元进一步从该比较模型(CM)生成比较模型表示(CMR)并将CMR存储在该存储装置上，其中，该处理单元进一步用于：验证CMR兼容地实现RMR；验证从CMR派生的CM数据流程图兼容地实现从RMR派生的RM数据流程图；以及验证每个CM语义单元实现对应于RM语义单元的行为以及每个RM语义单元在CM中被说明。

【技术实现步骤摘要】
用于验证模型等价性的系统和方法
技术介绍
现代的安全苛求的系统的复杂度正快速增长，在过去10年间加倍。基于模型的设计被越来越多地应用以通过将抽象化的级别从低级别的代码提升到算法设计的分析来管理这种复杂度。为了促进转换到基于模型的设计技术，代码生成器提供从算法设计到代码生产的链接，所述代码在目标平台上通过模型变换来执行。所应用的模型变换将参考模型表示转换为用于分析、代码生成或其他目的的经转换的模型表示。在某些行业中，标准需要该经转换的模型遵从该参考模型以及需要提供完整结构化覆盖的基于需求的测试。例如，代码必须有效地执行该参考模型(一个或多个)。进一步地，某些标准需要完全独立于设计过程的验证过程。由于这些需求，在这些行业中的设计和验证工具不再依赖于对模型变换的基于测试的评估或简单的语法检验器。
技术实现思路
本专利技术的实施例提供了用于验证模型等价性(equivalence)的系统和方法且其将通过阅读和学习下述说明来理解。在一个实施例中，提供了一种用于验证模型等价性的系统。该系统包括：至少一个存储装置，被配置为存储参考模型(RM)以及比较模型(CM)，其中该CM和该RM由相同规则集约束；以及处理单本文档来自技高网...

【技术保护点】
一种用于验证模型等价性的系统，该系统包括：至少一个存储装置(209)，被配置为存储参考模型(104)和比较模型(102)，其中该比较模型(102)和该参考模型(104)由相同规则集约束；以及处理单元(201)，被配置为从该参考模型(104)生成参考模型表示(142)并将该参考模型表示在该至少一个存储装置上；该处理单元(201)被进一步配置为从该比较模型(CM)(102)生成比较模型表示(140)并将该比较模型表示(140)存储在该至少一个存储装置上，其中，该处理单元(201)被进一步配置为：根据该相同规则集验证该比较模型表示(140)和该参考模型表示(142)是兼容的；验证派生自该比较模型表示...

【技术特征摘要】
2011.07.11 US 13/180,0011.一种用于验证模型等价性的系统，该系统包括：至少一个存储装置（209），被配置为存储参考模型（104）和比较模型（102），其中该比较模型（102）和该参考模型（104）由相同规则集约束；以及处理单元（201），被配置为从该参考模型（104）生成参考模型表示（142）并将该参考模型表示存储在该至少一个存储装置上；该处理单元（201）被进一步配置为从该比较模型（CM）（102）生成比较模型表示（140）并将该比较模型表示（140）存储在该至少一个存储装置上，其中，该处理单元（201）被进一步配置为：根据该相同规则集验证该比较模型表示（140）和该参考模型表示（142）是兼容的；验证派生自该比较模型表示（140）的比较模型（102）数据流程图和派生自该参考模型表示（142）的参考模型数据流程图彼此是兼容的；验证全部比较模型（102）语义单元实现对应于参考模型语义单元的预期行为；以及验证全部参考模型（104）语义单元都在该比较模型（102）中被说明。2.权利要求1的系统，其中该处理单元（201）被进一步配置为：从该比较模型（102）识别属性；从该参考模型表示（142）创建参考模型（104）块列表以及从该比...

【专利技术属性】
技术研发人员：G·马德尔，D·V·奥格勒斯比，K·查克拉博蒂，D·巴特，S·O·希克曼，
申请(专利权)人：霍尼韦尔国际公司，
类型：发明
国别省市：