基于底层模型语义的验证系统的方法、装置、设备及存储介质制造方法及图纸

本发明专利技术提供了一种基于底层模型语义的验证系统的方法、装置、设备及存储介质，包括有如下步骤：S101：基于EMF技术，构建SCADE模型的元模型；S102：按照命名空间分析、类型分析、因果分析、时钟检查、初始化分析的顺序检查SCADE模型语义；S103：基于语义分析的结果，进而确认SCADE模型是否满足规范，符合，给出正确的检测结果；不符合，给出相应的报错；根据本实施例提供的基于底层模型语义的验证系统的方法，可以实现自动化地验证SCADE模型语义的验证系统的正确性，提高软件产品的可靠性与安全性。

【技术实现步骤摘要】

本专利技术属于软件工程，更具体地说，特别涉及基于底层模型语义的验证系统的方法、装置、设备及存储介质。

技术介绍

1、scade同步语言是法国爱斯特尔技术(esterel technologies)有限公司于1995年开发的一种用于工业开发安全关键系统的同步语言。它为开发人员和高可靠性、高安全性系统提供了基于模型的嵌入式开发解决方案，它可以缩短软件开发周期，降低软件开发风险，从而降低开发成本。该公司还开发scade suite用于工业实时嵌入式系统开发。scadesuite的功能比较完善，其中包括：能对scade程序的设计检查、仿真来保证scade程序模型的安全性与可靠性；同时还能分析scad程序的模型覆盖率分析、运行时的时间堆栈；能对scade程序进行建模、建模完成后可生成scade程序代码和对应的c++代码。因此该工具的功能较成熟，但开发使用它需要支付昂贵的费用。自2020年6月开始，ansys公司决定不再给提供免费的license供学术研究。

2、scade同步语言是一种常用的嵌入式系统程序设计语言。scade在航空、航天、交通等安全关键领本文档来自技高网...

【技术保护点】

1.一种基于底层模型语义的验证系统的方法，其特征在于：包括有以下步骤:

2.根据权利要求1所述的基于底层模型语义的验证系统的方法，其特征在于：在S101中，基于EMF技术，构建SCADE模型的元模型，包括：

3.根据权利要求1所述的基于底层模型语义的验证系统的方法，其特征在于：在S102中，按照命名空间分析、类型分析、因果分析、时钟检查、初始化分析的顺序检查SCADE模型语义，包括：

4.根据权利要求1所述的基于底层模型语义的验证系统的方法，其特征在于：在S103中，基于语义分析的结果，进而确认SCADE模型是否满足规范；符合，给出正确的检测结果；不符...

【技术特征摘要】

1.一种基于底层模型语义的验证系统的方法，其特征在于：包括有以下步骤:

2.根据权利要求1所述的基于底层模型语义的验证系统的方法，其特征在于：在s101中，基于emf技术，构建scade模型的元模型，包括：

3.根据权利要求1所述的基于底层模型语义的验证系统的方法，其特征在于：在s102中，按照命名空间分析、类型分析、因果分析、时钟检查、初始化分析的顺序检查scade模型语义，包括：

4.根据权利要求1所述的基于底层模型语义的验证系统的方法，其特征在于：在s103中，基于语义分析的结果，进而确认scade模型是否满足规范；符合，给出正确的检测结果；不符合，给出相应的报错，包括：...

【专利技术属性】
技术研发人员：史建琦，黄滟鸿，林燕秋，
申请(专利权)人：上海丰蕾信息科技有限公司，
类型：发明
国别省市：