-
公开(公告)号:CN117420769A
公开(公告)日:2024-01-19
申请号:CN202311467490.1
申请日:2023-11-07
Applicant: 上海航天计算机技术研究所 , 上海大学
Abstract: 本发明公开一种宇航类单机星载计算机数字化模型,模型包括:面向样机的需求模型:通过需求导入和动态更新的方式建立单机从样机至正样不断演变的需求模型。面向对象的结构模型:自上而下建立单机层、模块层、单元层、元器件层四个层次模型,分别与单机物理层级一一对应;实现不同条件下CPU硬件与CPU应用软件交互的结构建模。半物理混合行为模型:可模拟单机物理层处理二进制码流的能力。功能性能的需求确认:提出单机近百条复杂需求的分类确认方案。单机模型的测试环境:构建基于UI的星载计算机测试系统。本发明基于SysML语言的单机数字化模型,可应用于卫星整体的数字化设计和仿真。本发明基于UI的单机测试系统,可用于单机模型的多场景全闭环验证。
-
公开(公告)号:CN116796548A
公开(公告)日:2023-09-22
申请号:CN202310782674.0
申请日:2023-06-29
Applicant: 上海航天计算机技术研究所
IPC: G06F30/20 , G06F30/15 , G06F13/42 , G06F111/04 , G06F111/10
Abstract: 本发明公开了一种基于SysML语言的卫星平台单机综合管理单元电接口数字化建模方法卫星平台单机综合管理单元电接口的数字化建模方法,包括:定义卫星综合电子分系统任务上下文,捕获综合电子分系统所有外部电接口,将综合电子分系统的外部电接口中属于综合管理单元的部分,映射形成综合管理单元的外部接口;对描述综合管理单元外部电接口的port或proxy port进行全面的数字化定义与建模;综合管理单元电接口典型信号属性的参数计算及接口关键信号特性的可视化表达;基于参数的Hyperlinks链接生成基于模型的电接口数据单。可全面系统地捕获综合管理单元的接口,对接口进行基于模型的规范化定义,实现接口特性的动态更新,方便接口规格的确认和校验,可进一步推广至其他领域,达到降本增效,提高产品质量的目的。
-