星载软件

作品数：66被引量：172H指数：7
导出分析报告
相关领域：自动化与计算机技术航空宇航科学技术更多>>
相关作者：郭坚董晓刚郭艳丽党纪红张红军更多>>
相关机构：上海微小卫星工程中心北京空间飞行器总体设计部北京控制工程研究所中国空间技术研究院更多>>
相关期刊：《航空计算技术》《计算机工程与设计》《计算机与数字工程》《哈尔滨工业大学学报》更多>>
相关基金：国家高技术研究发展计划国防科技工业局民用航天科研预先研究项目中央高校基本科研业务费专项资金国家重大航天工程更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=电脑知识与技术x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
刍议面向航天器星载软件的形式化验证方法
《电脑知识与技术》2020年第25期205-206,共2页王明亮 王永 尤志坚 施敏华 
随着星载软件在航天器上实现的功能比重越来越高,星载软件可靠性和可信性的指标要求越来越严格。传统软件测试方法的局限性难以确保万无一失,形式化方法以其高度数学化和严谨性的特点,常被应用于安全关键软件的验证。本文针对星载软件...
关键词：星载软件 形式化验证 需求规约化 形式化语法 
基于ADA语言的星载软件在轨编程技术研究被引量：3
《电脑知识与技术》2008年第12期1641-1644,共4页郭勇 朱宏明 贺彦博 
随着ADA编程语言被引入到星栽软件的开发中，相比较汇编编程语言，用ADA编程语言可以大大提高软件的可复用性，缩短开发周期并进而降低开发成本。但同时，如何利用ADA编程语言更好地实现对卫星的计算机软件的在轨编程功能这一课题也被...
关键词：在轨编程 星栽软件 ADA编程语言 软件可靠性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部