-
公开(公告)号：CN120029667A
公开(公告)日：2025-05-23
申请号：CN202510187569.1
申请日：2025-02-20
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于PEG的AADL代码到图形多层次转换方法，属于嵌入式系统架构建模与分析领域。本发明定义PEG语法规则。该语法规则能够精确描述AADL语言的基本元素、递归结构以及语法优先级；构建AADL代码解析器；基于定义的PEG语法规则构建解析器，该解析器能够逐层解析AADL代码，识别各个设计元素，并在解析过程中捕获并反馈语法语义问题；生成多层次抽象语法树AST。AST能够明确表达AADL的节点构造、层次嵌套、属性映射以及元素关系。第四步，将多层次抽象语法树AST转换为图形化表达。通过图形化的方式，系统架构的各个层级被直观呈现。本发明能够清晰地呈现出不同设计元素之间的层次关系，便于设计人员和开发人员进行分析、理解和修改。
-
公开(公告)号：CN120010859A
公开(公告)日：2025-05-16
申请号：CN202510183346.8
申请日：2025-02-19
Applicant: 北京计算机技术及应用研究所
IPC: G06F8/41
Abstract: 本发明涉及一种基于Antlr的同步数据流模型语言解析方法，属于基于模型的软件开发工具领域。本发明可针对扩展标准同步数据流语言Lustre V6进行解析，并生成所需的抽象语法树，为后续对模型进行静态分析和形式化验证等功能提供基础。首先，需要对模型语言的特性进行分析，在标准Lustre V6文法规则上进行扩展，形成新的模型语言OnModel；根据扩展的文法规则实现OnModel对应的巴克斯范式，并基于Antlr构造对应的词法、语法分析器；根据巴克斯范式及后续对模型的分析需求，设计抽象语法树结构并完成抽象语法树的构造，后续在此抽象语法树的基础上可进行模型静态分析、模型形式化验证、代码生成及其他功能的开发和实现。
-
公开(公告)号：CN118916011A
公开(公告)日：2024-11-08
申请号：CN202411111184.9
申请日：2024-08-14
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于Eclipse插件进行代码远程构建的方法，属于代码远程构建技术领域。本发明的Eclipse插件包括：五个模块：设置模块、工程管理模块、私有依赖库管理模块、构建信息配置模块和构建执行及过程回显模块。本发明的Eclipse插件与代码远程构建系统配合使用，通过在本发明的Eclipse插件进行配置，实现在集成开发环境直接连接代码远程构建系统进行代码远程构建，不需要再切换到网页，能够简化操作，使开发过程更连贯，提高开发效率。
-
公开(公告)号：CN116909894B
公开(公告)日：2024-04-05
申请号：CN202310849949.8
申请日：2023-07-12
Applicant: 北京计算机技术及应用研究所 , 中国人民解放军63919部队 , 中国人民解放军63921部队
Abstract: 本发明涉及一种虚实融合的混合动态测试平台设计方法，属于虚实融合领域。本发明的硬件测试平台实现了测试流程编排、激励数据模拟、数据结果解析等目标机外围功能，提供了丰富的测试用例；数字化测试平台实现了虚拟目标机、虚拟化调试、覆盖率统计分析等功能，替代了物理目标机，提供了目标码测试手段。数字化测试平台通过1553B总线板卡和1553B总线耦合器与硬件测试平台下位机通信，通过高速网络访问硬件测试平台上位机，打通了硬件测试平台与数字化测试平台的数据隔离，形成了闭环测试环境，大幅度提高了测试效率和充分性。
-
公开(公告)号：CN116450153B
公开(公告)日：2023-11-24
申请号：CN202310461867.6
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种容器化仿真平台快速部署方法，属于容器化仿真平台设计领域。本发明采用命令行模式，基于基础镜像配置DSP仿真环境、动态链接库、运行依赖环境、环境变量等，构建DSP仿真环境容器；其次，将容器层保存成镜像文件，创建DSP仿真环境镜像包，构建完整的运行环境镜像；再次，基于Dockerfile配置文件通过build命令构建多平台下的镜像tar包，建立运行环境与执行命令的调用关系；然后，将DSP仿真平台镜像包推送到远程云镜像仓库中，方便镜像管理与使用；最后，从远程镜像仓库中拉取仿真平台镜像，进行仿真平台部署运行，实现DSP仿真平台快速部署。本发明有效的简化仿真平台部署过程，进而提升嵌入式仿真环境多平台部署效率。
-
Patent Agency Ranking
公开(公告)号：CN116467211B
公开(公告)日：2023-09-26
申请号：CN202310461935.9
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于数字化仿真环境的系统级测试验证方法，属于嵌入式软件测试领域。本发明通过数字化仿真技术对实装运行环境进行模拟，实现在实验室环境中进行系统级测试验证。基于数字化仿真环境实现加载配置项软件、设计并运行测试用例、模拟接口数据、进行故障和异常模拟、统计接口覆盖信息等系统级测试验证工作。本发明降低了系统级测试对实装环境和半实物环境的依赖，可在实验室环境中开展有效的系统级测试验证，从而降低了测试成本并提高了测试的充分性。
-
公开(公告)号：CN116431518B
公开(公告)日：2023-09-26
申请号：CN202310461957.5
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
IPC: G06F11/36
Abstract: 本发明涉及一种基于仿真平台的多层级、多模式软件故障注入方法，属于嵌入式软件测试领域。本发明通过修改仿真平台来达到故障注入的效果，仿真平台具有可控性强的特点，故障注入灵活、精度高。该方法首先采用虚拟化技术实现仿真平台构建，包括处理器、外设、总线等模型；其次，构建故障注入案例库，包括处理器平台级、接口设备级、通信协议级等层级，统一进行故障案例设计和管理；然后，配置故障注入参数，执行故障注入，包括基于时间、基于PC、基于地址等注入方式；最后，采集故障案例注入后的执行信息，生成代码覆盖率报告。本发明提高嵌入式软件测试充分性，保障软件质量和可靠性。
-
公开(公告)号：CN116431103B
公开(公告)日：2023-09-26
申请号：CN202310462913.4
申请日：2023-04-26
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种面向嵌入式软件的数字化DevOps平台设计方法，属于嵌入式软件测试领域。本发明在DevOps技术的基础上引入数字化仿真技术，采用数字化仿真技术对嵌入式软件的硬件环境进行仿真，包括处理器、外设、总线等；其次，基于数字化仿真平台实现嵌入式软件开发和测试，包括代码迭代开发、单元测试、配置项测试、运行监测等；最后，构建嵌入式DevOps工作流，将数字化仿真环境作为基础设施集成到DevOps的工具链条中，实现嵌入式软件的自动化编译构建、自动化部署、自动化测试、测试结果采集等。本发明提升了嵌入式软件的开发效率，保证了软件质量，降低了研制成本和周期。
-
公开(公告)号：CN116149624B
公开(公告)日：2023-09-26
申请号：CN202310185399.4
申请日：2023-02-21
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于扩展Lustre语言的模型度量方法，属于软件度量领域。本发明根据扩展Lustre语言设计了模型结构树，通过可视化建模可生成工程对应的模型结构树；设计了预定义的度量元，包括模型对象度量、操作符对象度量、包对象度量以及状态机对象度量等四个方面，并根据度量元设计了度量元数据字典；根据不同的度量元设计不同的度量值计算方式；在OnModel建模平台中成功增加了基于扩展Lustre语言的模型度量模块，并通过表格进行度量结果展示。本发明基于扩展Lustre语言结构进行模型度量，该方法根据扩展Lustre语言设计了模型结构树以及预定义的度量元，针对不同的度量元设计了不同的度量值计算方式，最终实现了在OnModel建模平台中应用模型度量，并展示度量结果。
-
公开(公告)号：CN115964033B
公开(公告)日：2023-09-26
申请号：CN202310084136.4
申请日：2023-01-16
Applicant: 北京计算机技术及应用研究所
Abstract: 本发明涉及一种基于模型的可视化软件开发工具实现方法，属于软件系统领域。本发明提出一种基于模型的可视化软件开发工具OnModel，本发明的工具通过扩展Lustre语言、文法设计、元模型设计为模型元素提供理论支撑和约束；以Vue3作为基础开发框架，通过Antv/X6图形编辑器、qasar多功能框架、Electron多平台开发框架等纯前端工具实现建模元素和工具界面；之后生成模型所对应的Lustre代码作为中间语言文件；最后通过调用清华王生原老师团队工具L2C实现可运行C代码的生成。基于模型的软件开发方法对我国关键领域的软件开发具有重要意义，实现了从基于模型软件设计到可执行代码生成全过程。
-
-
-
-
-
-
-
-
-
Search Results
73
records
(took 0.077 seconds)
