软件学报:jos:7716 · 记录 #1
航天控制系统(aerospace control system, ACS)构成复杂、软硬件交互紧密, 其需求多采用自然语言描述, 固有歧义性及硬件细节引用易出错, 导致需求传递易生偏差, 软件资产跨型号复用困难等问题. 为解决这些问题, 设计面向航天控制系统的系统级需求描述语言SpaceRDL. 其核心贡献在于引入“系统资源”作为其交互环境实体与物理设备的统一抽象, 使工程师能够以结构化方式精确定义对系统资源的操作, 从而在需求描述语言层消除歧义性, 避免引入过多细节. 该语言通过引入系统资源库, 设计具有良定语义的原子操作指令, 实现任务意图向软件实现的自动化映射, 采用SpaceRDL描述的任务需求也成为跨项目迁移的可复用资产. 案例研究表明, 该语言能有效刻画航天控制系统需求, 为构建新一代航天软件工程方法提供切实可行的支撑.
这些页面提供论文线索，不代表同行评审或质量认证。
此版本尚未生成 AI 解读。解读由后台任务生成并按论文版本保存，登录后共享已有结果。
2026 · 正式发表 · DOI: 10.13328/j.cnki.jos.007716
目前只观测到一个版本，无法比较变化。之后收录新版本时，会在这里对照标题、作者、分类和摘要。
平台记录号代表本站观测到的元数据变化，不是作者修订号。来源日期仅到月份或年份时，按该月或该年首日存档。
航天控制系统(aerospace control system, ACS)构成复杂、软硬件交互紧密, 其需求多采用自然语言描述, 固有歧义性及硬件细节引用易出错, 导致需求传递易生偏差, 软件资产跨型号复用困难等问题. 为解决这些问题, 设计面向航天控制系统的系统级需求描述语言SpaceRDL. 其核心贡献在于引入“系统资源”作为其交互环境实体与物理设备的统一抽象, 使工程师能够以结构化方式精确定义对系统资源的操作, 从而在需求描述语言层消除歧义性, 避免引入过多细节. 该语言通过引入系统资源库, 设计具有良定语义的原子操作指令, 实现任务意图向软件实现的自动化映射, 采用SpaceRDL描述的任务需求也成为跨项目迁移的可复用资产. 案例研究表明, 该语言能有效刻画航天控制系统需求, 为构建新一代航天软件工程方法提供切实可行的支撑.
查看此版本解读 →查看此版本原文 ↗