-
题名嵌入式实时操作系统在航天器软件中的应用研究
被引量：4
- 1
-
-
作者
李化云
-
机构
北京控制工程研究所软件检测站
-
出处
《微计算机信息》
2012年第8期73-74,共2页
-
文摘
随着航天任务的日益复杂化,航天器软件中嵌入式实时操作系统的应用已经成为大势所趋。本文分析嵌入式实时操作系统应用的必要性,总结我国航天器软件中嵌入式实时操作系统的应用特点,并对以后发展趋势进行展望。
-
关键词
航天器软件
实时操作系统
嵌入式系统
RTOS
-
Keywords
Spacecraft Software
Real-Time Operation System（RTOS）
Embedded System
-
分类号
TP316
[自动化与计算机技术—计算机软件与理论]
-
-
题名航天器软件代码走查方法研究与应用
被引量：1
- 2
-
-
作者
高猛
-
机构
北京控制工程研究所软件检测站
-
出处
《质量与可靠性》
2008年第5期53-56,共4页
-
文摘
软件可靠性是现代航天器可靠性工程中的关键因素之一,而代码走查是提高航天软件质量和可靠性的重要手段。本文在空间飞行器软件检测站代码走查实践的基础上,总结并提出了一种针对航天软件特点的代码走查方法,该方法有助于提高走查的效率和保证走查的质量。方法由优化排序的代码检查单、结构化分析方法、专题分析技术和软件缺陷知识库构成。最后通过某星载软件的代码走查案例对方法的有效性和实用性进行了说明。
-
关键词
代码走查
检查单
结构化分析
专题分析
缺陷知识库
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
V448.22
[航空宇航科学与技术—飞行器设计]
-
-
题名航天嵌入式软件隐含需求分析与实践
- 3
-
-
作者
左万娟
王小丽
黄晨
董燕
-
机构
北京轩宇信息技术有限公司软件测试部
北京控制工程研究所软件检测站
-
出处
《测控技术》
2023年第10期24-29,共6页
-
基金
国家自然科学基金(61802017)
装备预研领域基金项目(61400020407)。
-
文摘
基于软件测试的角度,聚焦航天嵌入式软件隐含需求分析,提出需求颗粒度分析、代码设计无依据分析、引申推导分析3种隐含需求分析方法,研究构建了包含隐含需求库在内的可良性循环利用的隐含需求分析框图。结合实践应用,从接口、可靠性安全性、恢复性、性能、功能等方面给出了航天嵌入式软件典型隐含需求。研究成果不仅可以指导研发过程的需求分析与编码、提升软件研发质量,而且可以指导测试过程的测试需求分析与测试设计,避免因测试疏漏而导致的软件缺陷遗漏,从而有效提升软件质量。
-
关键词
需求分析
隐含需求
显式需求
-
Keywords
requirement analysis
implicit requirement
explicit requirement
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名手术用图像采集及图文记录生成系统的设计与试用
- 4
-
-
作者
李俊杰
张琳娟
王春宇
王浩华
史爱华
宋伟伦
-
机构
西安交通大学第一附属医院麻醉手术部
北京轩宇信息技术有限公司西安研发中心
北京控制工程研究所软件检测站
陕西省再生医学与外科工程研究中心
-
出处
《中国医疗设备》
2022年第11期23-27,共5页
-
基金
国家自然科学基金科学仪器项目(81727802)
西安交通大学第一附属医院科研发展基金(2019ZYTS-06)。
-
文摘
目的为提高外科手术记录质量,研制一种手术用图像采集及图文记录生成系统。方法在手术过程中应用手术用图像采集及图文记录生成系统,通过术者可操作的无线图像采集装置与图文记录生成软件结合,将手术关键步骤图像与文字病历匹配,形成图文手术记录并试用于临床,对文字记录(对照组)与图文记录(实验组)的书写时间、术后再次核对例数、手术记录修改例数,医、护、患三方对2种记录所含信息量的得分,以及医、护对2种记录在教学中的参考意义的得分进行比较。结果实验组病例书写时间、书写时与主刀医生手术细节核对例数及手术记录修改例数均少于对照组,差异有统计学意义(P<0.05);实验组和对照组2种记录方式所含信息量得分(除手术医生)及临床教学参考意义得分差异有统计学意义(P<0.05)。结论手术用图像采集及图文记录生成系统能提高医生工作效率,增加患者诊疗记录的信息量,提供更全面的临床教学资料,加快手术记录规范化进程。
-
关键词
图文记录生成系统
无线图像采集装置
手术记录质量
手术用图像采集
-
Keywords
graphic record generation system
wireless image acquisition device
quality of surgical records
image acquisition for surgery
-
分类号
R612
[医药卫生—外科学]
TP391
[自动化与计算机技术—计算机应用技术]
-
