-
公开(公告)号：CN118916012A
公开(公告)日：2024-11-08
申请号：CN202411231578.8
申请日：2024-09-04
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/30
Abstract: 本发明涉及一种基于XML的Lustre代码在线生成工具设计方法，属于代码在线生成领域。本发明首先解析Lustre文法规则并与XML文件中的标签进行关系映射，通过调用jdom2库构建基于XML的语法解析器；参照Lustre文法规则对工具的功能模块进行划分，基于SpringBoot框架进行架构设计，根据功能的不同划分接口；定义与前端工具的数据交互格式方式，包括端口、请求方式、输入输出和文件格式等内容，保证对提交到后端的请求及时并正确响应，生成对应的Lustre代码。本发明可以完成基于XML的Lustre代码在线生成工具Xml2Lustre的开发工作，为OnModel工具功能的实现提供支撑并优化性能。
-
公开(公告)号：CN116662157B
公开(公告)日：2024-02-02
申请号：CN202310461827.1
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种针对TMS320 C28X指令集模拟器的虚拟化调试系统设计方法，属于嵌入式软件测试领域。本发明首先实现调试器服务端设计，将调试器服务端与指令集模拟器进行集成适配，完成指令集模拟器的访存和执行控制；其次，实现客户端设计，在BFD中添加对TMS320 C28X的支持，实现寄存器列表，堆栈结构等内容，完成目标文件的加载解析和源代码分析；最后，通过远程访问的方式，实现客户端与服务端的通信，实现软件虚拟化调试。该方法实现的针对TMS320 C28X指令集模拟器的虚拟化调试系统，实现了源码、目标码的调试功能，提供了软件调试手段，提升了嵌入式软件研发效率，保障了软件质量。
-
公开(公告)号：CN116414442B
公开(公告)日：2023-12-22
申请号：CN202310403946.1
申请日：2023-04-17
Applicant: 北京计算机技术及应用研究所
Inventor： 耿宏伟 , 刘文波 , 冯大成 , 贾张涛 , 张倩 , 安恒 , 张建伟 , 曾祥勇 , 刘岩 , 杜鑫龙 , 邵飒 , 王磊 , 勉斌 , 夏冰 , 朱朝宁 , 郭含章 , 庞皓明 , 李雅斯
Abstract: 本发明涉及一种基于Drools规则引擎的配置管理变更控制方法，属于软件工程领域。本发明首先，基于Drools规则定义出多套组织级配置管理变更控制的规则；然后，在项目内配置管理计划中，根据项目研制特征，灵活选择合适的组织级配置管理变更控制规则；最后，受控库中配置项依据配置管理计划中所选择的规则，来控制配置项的变更流程。本发明通过Drools可快速解决配置项变更规则的定义，实现线上不停服务器的个性化配置使用，减少停服再启动的人工操作成本，整个过程中降低了配置项变更控制的管理成本，提高了变更效率。
-
公开(公告)号：CN116126304B
公开(公告)日：2023-12-22
申请号：CN202310142370.8
申请日：2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于XML的扩展Lustre代码生成方法，属于软件开发工具领域。本发明首先对扩展Lustre语言文法规则进行模块拆解，实现文法中关键词的解耦；定义模型持久化文件中的标签与扩展Lustre语言之间的映射关系；通过调用jdom2工具对模型持久化文件中的标签结构进行读取遍历，并按照文法关键词解耦结果设计对应的标签解析规则；按照解析规则将解析得到的标签生成对应扩展Lustre关键词，最终完成对整个模型持久化文件到扩展Lustre语言的代码生成过程。本发明为航天领域基于模型的软件开发工具开发过程中模型代码生成这一关键环节提供解决办法。
-
公开(公告)号：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,全文.
-
Patent Agency Ranking
公开(公告)号：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语言的代码生成过程。本发明为航天领域基于模型的软件开发工具开发过程中模型代码生成这一关键环节提供解决办法。
-
公开(公告)号：CN115480871B
公开(公告)日：2023-04-28
申请号：CN202211114544.1
申请日：2022-09-14
Applicant: 北京计算机技术及应用研究所
IPC: G06F9/455
Abstract: 本发明涉及一种通用的TMS320C3X处理器指令集虚拟化仿真方法，属于虚拟仿真领域。本发明针对TMS320C31、TMS320VC33等处理器，解决TMS320C31、TMS320VC33等处理器的虚拟化仿真问题。TMS320C3X指令架构共计包含128条指令集，通过对128条指令集的仿真，提供TMS320C3X处理器嵌入式处理器软件的运行环境，为TMS320C3X处理器嵌入式处理器软件的开发提供支撑。本发明提出的方案，能够实现TMS320C3X指令架构处理器的指令集仿真，仿真精度高；本发明采用数组、链表等实现寄存器、内存的仿真，能够完成仿真TMS320C3X指令架构处理器。
-
公开(公告)号：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嵌入式处理器软件的开发提供支撑，提高了仿真效率。
-
-
-
-
-
-
-
-
-
Search Results
76
records
(took 0.035 seconds)
