-
题名SFMEA方法在飞行控制软件中的应用
被引量：9
- 1
-
-
作者
张仝伟
石柱
-
机构
北京航天自动控制研究所
-
出处
《航天控制》
CSCD
北大核心
2007年第2期58-63,共6页
-
文摘
为提高飞行控制软件的安全性,分析了飞行控制软件的安全性薄弱环节,探讨了影响飞行控制软件安全性的隐患。简要阐述了软件失效模式、影响(SFMEA)方法,给出软件失效模式分类的方法以及飞行控制软件常见的失效模式,给出适用于航天飞行控制软件的软件危害性等级,结合某型号飞行控制软件进行了SFMEA方法的尝试性应用,分析了软件失效的局部影响和最终影响,形成了52个SFMEA的分析表格,总结了302个飞行控制软件的失效模式,发现了部分安全性薄弱环节,并提出了相应的改进措施,结果表明,SFMEA方法对提高飞行控制软件的安全性有一定的工程价值。
-
关键词
软件
软件失效模式
影响分析
危害性等级
飞行控制软件
-
Keywords
software
software failure modes
Effect analysis
Severity level
Flight control software
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名故障树分析方法在FADEC控制软件中的应用研究
被引量：6
- 2
-
-
作者
张杰
徐一初
-
机构
中国航发控制系统研究所
-
出处
《测控技术》
CSCD
2018年第12期22-25,共4页
-
文摘
故障树分析方法已被广泛应用在工业系统中,但在软件行业中的应用比较少,在航空发动机全权限数字电子控制系统的控制软件中的应用更是不多见。首先介绍了软件故障树分析方法的原理,并结合某型航空发动机数控系统控制软件出现的故障依据故障树分析方法进行实例化建模、分析。分析结果表明:故障树分析法在定位方面具有简明、直观等特点,在航空发动机控制软件故障定位过程中使用该方法,有助于提高问题定位的效率,提升软件可维护性。
-
关键词
故障树分析
FADEC
控制软件
定位问题
可维护性
-
Keywords
fault tree analysis
FADEC
control software
location problem
maintainability
-
分类号
V233
[航空宇航科学与技术—航空宇航推进理论与工程]
-
-
题名面向静态分析的软件测试工具评估方法研究
- 3
-
-
作者
曾福萍
王泽宇
李宇佳
王杰凯
-
机构
北京航空航天大学可靠性与系统工程学院
中国电力科学研究院有限公司
百度在线网络技术有限公司
-
出处
《计算机测量与控制》
2024年第12期280-287,共8页
-
基金
国家电网公司科技计划项目(SGLNDLOODKJS250326)。
-
文摘
软件是否可靠运行将直接影响系统的可靠运行,急需有手段保障软件质量;静态分析因具有全自动运行、能更早实施、不需要执行程序等特点,在软件测试领域得到了广泛的使用,已成为保障软件质量的重要手段;测试工具可以极大地提高软件测试的效率;目前面向静态分析的软件测试工具数量众多,不同的工具具有不同的特点和缺陷检测能力,且都存在不低的误报率和漏报率,如何评估和选择测试工具成为软件静态分析时亟待解决的问题;基于CWE缺陷类型的基准测试集和精确度、召回率、F_(1)值、CWE覆盖率以及Overall-Score的评估指标,详细阐述了面向静态分析的软件测试工具评估流程,结合CppCheck、TscanCode和Flawfinder三个开源软件静态分析工具开展了案例应用,为软件静态分析工具的评估与选择提供指导和参考。
-
关键词
软件测试
静态分析工具
自动控制软件
评估
召回率
-
Keywords
software testing
static analysis tool
automation control software
evaluation
recall
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
-
题名面向特征的领域分析及其应用
被引量：2
- 4
-
-
作者
杜建伟
顾斌
-
机构
北京控制工程研究所
-
出处
《微计算机信息》
北大核心
2008年第7期262-263,共2页
-
文摘
领域分析是领域工程开展的第一步,是提取和开发可复用软件资产的重要环节。将介绍面向特征的领域分析方法(FODA),通过分析航天器控制软件开发的特点,将其引入到该领域可复用资产的标识和提取活动中。同时定义了一种二维图模型及其分析过程,用以改进原有领域分析中确定领域边界的方法。
-
关键词
软件复用
领域分析
特征
航天器控制软件
-
Keywords
software reuse
domain analysis
feature
spacecraft control software
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于两行轨道参数的卫星跟踪应用
被引量：2
- 5
-
-
作者
丁建林
-
机构
华东电子工程研究所
-
出处
《中国科技信息》
2012年第8期54-55,共2页
-
文摘
本文简要介绍了开普勒三定律以及确定人造地球卫星在空间瞬时位置的6个轨道参数;详细描述了由美国Celestrak发明并创立的卫星星历即两行轨道数据(two2line orbitalelement)的格式和含义;并根据卫星移动式地面站的特点,开发了一种卫星地面伺服跟踪软件。本软件使用最新的卫星星历,依据两行卫星轨道参数,对伺服系统进行控制,实现对卫星的实时准确跟踪。
-
关键词
开普勒三定律
卫星星历
格式
分析
卫星地面站
伺服跟踪软件
-
Keywords
the three laws of Kepler
satellite ep hemeris
format
analysis
ground station of satellite
servo control software
-
分类号
V412.41
[航空宇航科学与技术—航空宇航推进理论与工程]
-
-
题名一种新型轨道供电重载RGV的研制
被引量：1
- 6
-
-
作者
冯敏
刘望保
马梦珍
王自超
胡均平
-
机构
株洲优瑞科有色装备有限公司
中国十五冶金建设集团有限公司工程总承包事业部
中南大学机电工程学院
-
出处
《机械设计与制造工程》
2022年第6期55-59,共5页
-
文摘
针对自动化立体仓库项目中重载货物长距离、换向定点转运的难题,提出了一种低压轨道供电、自带旋转功能的重载链条输送技术解决方案,取代输送机输送,并基于该方案设计了一种重载输送的有轨制导车辆(RGV)。为了保证RGV的性能,进行了充分的相关理论计算,并运用Solidworks Simulaiton进行静力学有限元分析验证结构的合理性;为了避免RGV高速运动状态下出现共振,保证整车的运行平顺性,对RGV的关键部件进行了模态分析,并对该RGV进行了试制与实验,验证了它的可靠性。
-
关键词
RGV
力学分析
控制软件
试制
-
Keywords
RGV
mechanical analysis
control software
trial production
-
分类号
TH122
[机械工程—机械设计及理论]
-
-
题名嵌入式软件生产线的构建技术研究
- 7
-
-
作者
李允
罗蕾
王丽杰
-
机构
电子科技大学计算机学院
北京科银京成技术有限公司成都研发中心
-
出处
《计算机科学与探索》
CSCD
2011年第7期652-661,共10页
-
基金
国家高技术研究发展计划(863)No.2007AA010304
2009AA010312~~
-
文摘
嵌入式软件复杂度的提高加剧了软件风险。研究了嵌入式软件的特点和发展趋势,提出了基于Trustie环境的嵌入式软件生产线的构建方法,阐述了调度分析、代码自动生成和多余度调试的基本原理和实现技术,介绍了嵌入式软件生产线在飞行控制领域的应用情况。
-
关键词
嵌入式软件生产线
调度分析
代码自动生成
多余度调试
飞行控制软件
-
Keywords
embedded software production line
schedulability analysis
automatic code generation
multi-modular redundancy debugging
flight control software
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名高速缓存影响的航天器控制软件调度设计方法
- 8
-
-
作者
于广良
杨孟飞
姜宏
徐建
-
机构
北京控制工程研究所
中国空间技术研究院
-
出处
《空间控制技术与应用》
CSCD
北大核心
2017年第1期55-60,共6页
-
基金
国家自然科学基金资助项目(91118007)
-
文摘
针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难,提出一种基于循环调度的调度设计方法,该方法利用任务程序执行时间的概率分布设计具有不同可靠性的系统模式,通过模式切换,使处理器得到充分利用,同时能够提供一定的可靠性保障,为航天器控制软件的任务调度提供参考.
-
关键词
高速缓存
时间分析
调度设计
航天器控制软件
-
Keywords
cache
timing analysis
scheduling design
spacecraft control software
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名水环境重金属便携式检测仪器的分析控制软件设计研究
- 9
-
-
作者
莫秋月
-
机构
广东粤丘检测科技有限公司
-
出处
《皮革制作与环保科技》
2021年第20期138-139,共2页
-
文摘
本文提出了一种水环境重金属便携式检测仪器的设计方案,在简单说明该仪器总体及硬件系统设计思路的基础上,以串口通信单元、参数设置单元、实时数据显示单元这些功能单元为切入点,着重阐述了该水环境重金属便携式检测仪器的控制软件方案设计。
-
关键词
水质重金属检测
便携式检测仪器
分析控制软件
-
Keywords
water quality heavy metal detection
portable detection instrument
analysis and control software
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
-
题名基于系统理论过程分析的安全关键软件安全性验证方法
被引量：5
- 10
-
-
作者
王鹏
吴康
阎芳
汪克念
张啸晨
-
机构
航空器适航审定技术重点实验室
中国民航大学适航学院
中国民航大学电子信息与自动化学院
-
出处
《计算机应用》
CSCD
北大核心
2019年第11期3298-3303,共6页
-
基金
民用飞机专项科研项目(MJ-2015-J-091)~~
-
文摘
现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析(STPA)的软件安全性验证方法。在安全控制结构基础上,通过构建带有软件过程模型变量的过程模型,细化分析危险行为发生的系统上下文信息,并以此生成软件安全性需求。然后通过设计起落架控制系统软件,采用模型检验技术对软件进行安全性验证。结果表明,所提方法能够在系统级层面有效识别出软件中潜在的危险控制路径,并可以减少对人工分析的依赖。
-
关键词
系统理论过程分析方法
软件安全
形式化
模型检验
起落架控制软件
-
Keywords
System Theoretic Process analysis(STPA)method
software safety
formalization
model checking
landing gear control software
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
V247
[自动化与计算机技术—计算机科学与技术]
-
-
题名光谱分析数据采集与传输网络
被引量：1
- 11
-
-
作者
杨志军
贾云海
王海舟
张征宇
李智明
-
机构
钢铁研究总院
湘潭钢铁集团有限公司
-
出处
《钢铁》
CAS
CSCD
北大核心
1999年第6期65-67,78,共4页
-
文摘
介绍了基于ＷｉｎｄｏｗｓＮＴ网络和专用数据传输接口设备的光谱分析数据采集与传输网络，以及相应的软件和硬件设计方案；建立了一套临线和在线分析的数据采集、存储与传输的通用的新方法。解决了光谱仪串口数据格式的自动识别和工业环境下数据传输设备的抗干扰问题。专门设计的数据传输接口设备的传输距离可达３０００ｍ，端口数目可达３０个。采用星型网络拓扑结构，１０／１００ＢａｓｅＴＵＴＰ线缆连接，提供远程拨入和Ｉｎｔｅｒｎｅｔ连接，因此能够提供远程数据管理、远程系统维护以及基于局域网和Ｉｎｔｅｒｎｅｔ的二次开发和应用。结合工艺参数管理软件，不仅能够实现分析数据的现场显示，还能实现炼钢过程中合金化调整的加料计算和投料控制。
-
关键词
数据采集
临线分析
光谱分析
局域网
冶金分析
-
Keywords
data acquisition, critical control, spectroscopic analysis, networkAssociated with other management and control software programmed for this system, the critical control of steelmaking can be performed.
-
分类号
TF07
[冶金工程—冶金物理化学]
TP274
[自动化与计算机技术—检测技术与自动化装置]
-
