您的位置： 专家智库 > >

王楠

作品数：10 被引量：4H指数：1
供职机构：北京神舟航天软件技术有限公司更多>>
发文基金：陕西省科技攻关计划航天科技创新基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 9篇专利
  • 1篇期刊文章

领域

  • 5篇自动化与计算...

主题

  • 6篇软件工程
  • 5篇过程数据
  • 2篇应用软件
  • 2篇软件配置管理
  • 2篇时间序列
  • 2篇时间序列分析
  • 2篇实时检测
  • 2篇实时系统
  • 2篇实时性
  • 2篇数据解析
  • 2篇配置管理
  • 2篇配置项
  • 2篇嵌入式
  • 2篇嵌入式实时系...
  • 2篇嵌入式应用
  • 2篇嵌入式应用软...
  • 2篇灰度
  • 2篇仿真
  • 2篇仿真方法
  • 2篇AAD

机构

  • 10篇北京神舟航天...
  • 1篇西北工业大学

作者

  • 10篇王楠
  • 9篇程胜
  • 2篇朱海涛
  • 1篇张涛
  • 1篇王海鹏

传媒

  • 1篇航天控制

年份

  • 1篇2024
  • 2篇2023
  • 4篇2020
  • 1篇2019
  • 2篇2017
共 10 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种软件工程质量预测方法
本发明公开的软件工程质量预测方法，涉及软件工程技术领域，通过判断当前软件配置项的过程数据/质量数据的样本数量是否大于设定的阈值，若是，则将当前软件配置项的过程数据/质量数据输入训练过的时间序列分析ARIMA模型，预测软件...
程胜王楠万金晶谢金龙樊瑞婷
面向航天领域的模型驱动软件设计开发方法被引量：4
2017年
针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自动机模型,分析验证软件安全性与可调度性;通过构建航天领域模型库,支持大规模软件复用。最后,基于所开发的航天型号软件模型驱动开发平台,对航天飞行器GNC系统的软件开发进行了初步验证,结果表明模型驱动的软件开发方法能有效提高航天型号软件开发效率和质量。
张涛秦凯王楠王海鹏梁运畅王智飞
关键词：软件安全性分析
一种基于模板匹配技术的数据解析方法
本发明公开的本基于模板匹配技术的数据解析方法，涉及软件工程领域，通过实时检测软件配置管理库是否发生数据的出库操作或入库操作，若是，则利用模板匹配技术，获取数据的类型，根据数据的类型，解析该数据，其中，该数据包括软件研发阶...
程胜王楠万金晶谢金龙杜阳韩冰
一种基于基本块的软件可靠性评估方法
本发明属于软件可靠性领域，具体涉及一种基于基本块的软件可靠性评估方法。一种基于基本块的软件可靠性评估方法，包括以下步骤：(1)构建控制流图；(2)利用被测软件的基本块指令数建立基本块的缺陷系数矩阵；(3)评估基本块潜在的...
程胜邱化强朱海涛王楠穆海荣
文献传递
一种结构分析与设计语言AADL模型的仿真方法
本发明实施例提供的体系分析与设计语言AADL模型的仿真方法，涉及模型仿真技术领域，根据AADL模型建立对应的Simulink模型，能够有效的对AADL模型的实时性进行仿真分析，进而保证嵌入式实时系统系统的可靠性与实时性，...
程胜王楠樊瑞婷
一种结构分析与设计语言AADL模型的仿真方法
本发明实施例提供的体系分析与设计语言AADL模型的仿真方法，涉及模型仿真技术领域，根据AADL模型建立对应的Simulink模型，能够有效的对AADL模型的实时性进行仿真分析，进而保证嵌入式实时系统系统的可靠性与实时性，...
程胜王楠樊瑞婷
文献传递
一种软件工程质量预测方法
本发明公开的软件工程质量预测方法，涉及软件工程技术领域，通过判断当前软件配置项的过程数据/质量数据的样本数量是否大于设定的阈值，若是，则将当前软件配置项的过程数据/质量数据输入训练过的时间序列分析ARIMA模型，预测软件...
程胜王楠万金晶谢金龙樊瑞婷
文献传递
一种软件工程研制过程合规性检测方法及系统
本发明公开的软件工程研制过程合规性检测方法，涉及计算机技术领域，通过实时检测软件配置项的过程数据及质量数据是否产生变化，若是，则根据规则库中的规则项，判断过程数据及质量数据是否符合预设的推理标准，若是，则利用知识库中的判...
程胜王楠万金晶谢金龙陈博深
文献传递
一种基于研发工作产品标识的需求跟踪方法
本发明属于软件工程领域，具体涉及一种基于研发工作产品标识的需求跟踪方法。一种基于研发工作产品标识的需求跟踪方法，包括以下步骤：(1)、将研发各阶段工作产品条目化，得到条目化信息并作为需求跟踪的依据，每个工作产品中可跟踪的...
程胜朱海涛王楠
文献传递
一种基于模板匹配技术的数据解析方法
本发明公开的本基于模板匹配技术的数据解析方法，涉及软件工程领域，通过实时检测软件配置管理库是否发生数据的出库操作或入库操作，若是，则利用模板匹配技术，获取数据的类型，根据数据的类型，解析该数据，其中，该数据包括软件研发阶...
程胜王楠万金晶谢金龙杜阳韩冰
文献传递
全选 清除 导出
共1页<1>
聚类工具0