-
公开(公告)号：CN116150005B
公开(公告)日：2023-11-28
申请号：CN202310066963.0
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于扩展Lustre语言的模型形式化验证方法，属于代码溯源领域。本发明通过构建抽象语法树，遍历语法树提取数据模型同时完成语言转换，根据数据模型规则检查通过后，将转换后的模型和属性输入Kind2工具进行属性的形式化验证；通过构建抽象语法树，可将扩展Lustre模型和属性转换为易访问的树型结构，同时完成扩展Lustre模型和属性的语法语义检查；遍历抽象语法树抽取中间模型的同时可完成语言转换；通过语言转换模块可将扩展Lustre语言模型转换为Kind2工具识别的语言格式，从而复用现有成熟的Kind2模型检测器实现形式化验证。该方法主要是利用模型转换方法完成扩展Lustre模型的规则检查和语言转换，从而将扩展Lustre语言的模型形式化验证方法应用于自研OnModel工具。(56)对比文件美剧之神.JKind入门（一）简单介绍和使用.https://blog.csdn.net/M1170780140/article/details/129831841.2023,全文.
-
公开(公告)号：CN115421862B
公开(公告)日：2023-09-26
申请号：CN202211114546.0
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种51单片机处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明通过对256条指令的仿真，提供51单片机嵌入式处理器软件的运行环境，为51单片机嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现51单片机处理器的指令集仿真，仿真精度高，仿真执行效率高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真51单片机处理器。
-
公开(公告)号：CN116149624A
公开(公告)日：2023-05-23
申请号：CN202310185399.4
申请日：2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于扩展Lustre语言的模型度量方法，属于软件度量领域。本发明根据扩展Lustre语言设计了模型结构树，通过可视化建模可生成工程对应的模型结构树；设计了预定义的度量元，包括模型对象度量、操作符对象度量、包对象度量以及状态机对象度量等四个方面，并根据度量元设计了度量元数据字典；根据不同的度量元设计不同的度量值计算方式；在OnModel建模平台中成功增加了基于扩展Lustre语言的模型度量模块，并通过表格进行度量结果展示。本发明基于扩展Lustre语言结构进行模型度量，该方法根据扩展Lustre语言设计了模型结构树以及预定义的度量元，针对不同的度量元设计了不同的度量值计算方式，最终实现了在OnModel建模平台中应用模型度量，并展示度量结果。
-
公开(公告)号：CN116126304A
公开(公告)日：2023-05-16
申请号：CN202310142370.8
申请日：2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于XML的扩展Lustre代码生成方法，属于软件开发工具领域。本发明首先对扩展Lustre语言文法规则进行模块拆解，实现文法中关键词的解耦；定义模型持久化文件中的标签与扩展Lustre语言之间的映射关系；通过调用jdom2工具对模型持久化文件中的标签结构进行读取遍历，并按照文法关键词解耦结果设计对应的标签解析规则；按照解析规则将解析得到的标签生成对应扩展Lustre关键词，最终完成对整个模型持久化文件到扩展Lustre语言的代码生成过程。本发明为航天领域基于模型的软件开发工具开发过程中模型代码生成这一关键环节提供解决办法。
-
Patent Agency Ranking
公开(公告)号：CN115421865B
公开(公告)日：2023-04-28
申请号：CN202211114627.0
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种DSP C6713处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明解析DSP C6713可执行文件，获取Program Header对应的代码段，构建内存仿真结构，加载代码段，构建寄存器仿真结构，根据指令数量，进行循环取指、译码、指令翻译，并根据函数指针，执行指令操作；连续仿真，直到完成所有指令执行，实现针对DSP C6713的处理器指令集仿真。本发明能够实现DSP C6713处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真DSP C6713处理器。本发明为DSP 6713嵌入式处理器软件的开发提供支撑，提高了仿真效率。
-
公开(公告)号：CN115964033A
公开(公告)日：2023-04-14
申请号：CN202310084136.4
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于模型的可视化软件开发工具实现方法，属于软件系统领域。本发明提出一种基于模型的可视化软件开发工具OnModel，本发明的工具通过扩展Lustre语言、文法设计、元模型设计为模型元素提供理论支撑和约束；以Vue3作为基础开发框架，通过Antv/X6图形编辑器、qasar多功能框架、Electron多平台开发框架等纯前端工具实现建模元素和工具界面；之后生成模型所对应的Lustre代码作为中间语言文件；最后通过调用清华王生原老师团队工具L2C实现可运行C代码的生成。基于模型的软件开发方法对我国关键领域的软件开发具有重要意义，实现了从基于模型软件设计到可执行代码生成全过程。
-
公开(公告)号：CN115421865A
公开(公告)日：2022-12-02
申请号：CN202211114627.0
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种DSP C6713处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明解析DSP C6713可执行文件，获取Program Header对应的代码段，构建内存仿真结构，加载代码段，构建寄存器仿真结构，根据指令数量，进行循环取指、译码、指令翻译，并根据函数指针，执行指令操作；连续仿真，直到完成所有指令执行，实现针对DSP C6713的处理器指令集仿真。本发明能够实现DSP C6713处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真DSP C6713处理器。本发明为DSP 6713嵌入式处理器软件的开发提供支撑，提高了仿真效率。
-
公开(公告)号：CN112926109A
公开(公告)日：2021-06-08
申请号：CN202110338756.7
申请日：2021-03-30
Applicant: 北京计算机技术及应用研究所
IPC: G06F30/12 , G06F3/0484 , G06F111/20
Abstract: 本发明涉及一种复杂嵌入式系统虚拟运行环境可视化建模方法，其中，包括：第一步、构建实体对象的图形化模型；第二步、配置图形化模型接口与属性；第三步、生成设备仿真模型，包括：将图形化模型描述的接口和属性转化为对应的接口函数和属性变量，进行设备仿真模型框架代码的自动生成，基于此框架开展设备仿真模型的逻辑功能开发；第四步、封装设备仿真模型并持久化存储，包括：封装图形界面操作，并建立设备仿真模型与图形模型的双向映射；并形成图形化模型与设备仿真模型库；第五步、生成虚拟运行环境构建与系统配置文件。本发明可有效的简化复杂嵌入式系统虚拟运行环境构建过程，进而提升嵌入式软件研发效率和测试充分性。
-
公开(公告)号：CN112463614A
公开(公告)日：2021-03-09
申请号：CN202011392719.6
申请日：2020-12-01
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军63921部队
Abstract: 本发明涉及一种基于硬件板卡接入的软件虚拟化测试环境构建方法，其中，包括：搭建嵌入式目标处理器指令集虚拟仿真环境；搭建嵌入式系统片上设备虚拟仿真环境；完成硬件板卡在宿主机上的适配安装，实现宿主机虚拟环境下对板卡的操作与控制；建立外部设备模拟环境与宿主机硬件板卡的物理连接，建立外部设备模拟环境与硬件板卡的通信链路；获取虚拟环境下对外部设备模拟环境消息，建立虚拟环境下的消息处理响应机制，将外部设备模拟环境发送的消息通过硬件板卡完整的反馈给虚拟运行环境；处理虚拟环境下对外部设备模拟环境消息，建立虚拟环境下状态更新机制，将虚拟运行环境处理后的消息结果和消息状态通过硬件板卡准确的反馈给外部设备模拟环境。
-
-
-
-
-
-
-
-
Search Results
49
records
(took 0.045 seconds)
