执行机构驱动单元软件的设计与分析

摘要/Abstract

参考文献

Metrics

doi:10.3969/j.issn.1674-1579.2015.05.011

摘要： 介绍执行机构驱动单元软件(ADU)的功能设计和时序设计.从总线消息时序冲突、临界资源访问冲突等方面分析软件外部接口时序设计约束、内部接口时序设计约束的满足性，对时序设计有效性进行验证.软件可靠性设计方面，采用软件失效模式及影响分析(SFMEA)方法识别软件中的关键变量/器件，对其采取单粒子效应防护措施，并验证了措施的有效性.

关键词: 执行机构驱动单元, 时序, 1553B, 中断, 单粒子

Abstract: The design procedure of ADU（actuator drive unit）software is introduced. The outer and inner time sequence restriction, such as 1553B message order and critical resource accessing order, are analyzed. The valid confirmation is presented. On software reliability, the key variables or system parts are recognized by SFMEA(software failure modes and effects analysis). Protection of singleevent upset of them is given. The validation of protection measure is validated.

Key words: actuator drive unit, time sequence, 1553B, interrupt, SEU

中图分类号:

TP311

赵性颂, 董晓刚, 杨晓龙, 牛和明, 高猛. 执行机构驱动单元软件的设计与分析[J]. 空间控制技术与应用, 2015, 41(5): 53-.

ZHAO Xing-Song, DONG Xiao-Gang, YANG Xiao-Long, NIU He-Ming, GAO Meng. Design and Analysis of ADU Software[J]. , 2015, 41(5): 53-.

0
/ 收藏文章 0 / 推荐

导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks

链接本文: https://journal01.magtech.org.cn/Jwk3_kjkzjs/CN/10.3969/j.issn.1674-1579.2015.05.011

https://journal01.magtech.org.cn/Jwk3_kjkzjs/CN/Y2015/V41/I5/53

Just accepted

Online first

Just accepted

Online first

Viewed

Full text

From	Others	local

Times	1	80
Rate	1%	99%

Abstract

Just accepted	Online first	Issue

0	0	64

	From	Others

	Times	64
	Rate	100%

Cited

Web of Science	Crossref	ScienceDirect	Search for Citations in Google Scholar >>


This page requires you have already subscribed to WoS.

Shared

[1]	乔怡群, 王田, 刘克新, 王丽, 吕坤, 郭云翔. 基于自监督学习的动力设备异常检测方法[J]. 空间控制技术与应用, 2023, 49(6): 86-93.
[2]	梁秋金, 王铎, 王圣杰, 张涛. 基于无监督学习的时序序列故障诊断方法研究[J]. 空间控制技术与应用, 2023, 49(4): 9-19.
[3]	吕达, 王啟宁, 韩延东, 李国军, 李志刚. 一种可纠错程控数据设计方法[J]. 空间控制技术与应用, 2022, 48(6): 81-87.
[4]	陈睿, 于婷婷, 贾春鹏, 李超, 高栋栋, 江云松, 杨孟飞. 航天嵌入式软件数组越界缺陷特征研究[J]. 空间控制技术与应用, 2021, 47(2): 1-9.
[5]	孙川川, 高瑛珂, 李圣龙, 赵云富, 梁贤赓. 面向宇航应用的高可靠SoC异常处理系统设计[J]. 空间控制技术与应用, 2020, 46(3): 78-.
[6]	吕岩. 一种低成本高可靠的星载计算机存储器容错方法[J]. 空间控制技术与应用, 2020, 46(3): 66-.
[7]	蒋志雄, 王玉爽, 顾斌, 傅秀涛, 朱琦, 谢鸣宇. 基于ECSS标准的航天器姿轨控系统内1553B总线数据协议设计[J]. 空间控制技术与应用, 2020, 46(2): 41-48.
[8]	周育逵, 杨桦, 乔磊. 基于EventB的中断管理需求和设计形式化建模与验证方法[J]. 空间控制技术与应用, 2017, 43(3): 71-78.
[9]	侯成杰. 航天器C51语言软件中断资源冲突分析方法[J]. 空间控制技术与应用, 2015, 41(4): 58-62.
[10]	王磊, 袁利, 戴居峰. 卫星控制系统时序建模分析方法研究[J]. 空间控制技术与应用, 2014, 40(3): 31-35.
[11]	张国峰；王振华；陈朝晖 . 基于黑盒测试环境的交会对接软件时序分析技术及应用[J]. 空间控制技术与应用, 2011, 37(6): 60-65.
[12]	刘群, 冯丹, 周新发 . 基于反熔丝FPGA的有限状态机加固设计[J]. 空间控制技术与应用, 2010, 36(5): 54-57.
[13]	赵云富，华更新. 一种存储器容错设计方法[J]. 空间控制技术与应用, 2009, 35(3): 61-64.