雷达数据处理软件可靠性技术
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
1 )避错设计
避错 设计 是 使软 件 产 品在 开发 过程 中 , 不发 生 或少 发生错 误 的一 种设计 方法 。由于 软件设计 错误
最 易发 生在 设计 的各个 变换 过 程 中 , 因此避 错设 计
0 引 言
软 件 可 靠 性 指 软件 系统 在 规 定 的条 件 和 时 间 内, 完成 规定功 能 的能 力 。 软件 可靠 性不 仅与软 件存
在 的差 错有关 , 而且 与系统输 入 和使用有关 。 随着计 算 机技 术 的快 速发 展 以及 在军 事 领域 的广 泛应 用 , 软件 在武 器装 备 中发 挥 的作用 越 来越 重 要 , 武器 系 统 对软 件的依 赖性也越 来越 强 。 与 此 同时 , 软件 出现 故 障 引起 系统 崩 溃 的可能 性 也逐 渐增 加 , 如 不采 取 相应 的保 护措 施 , 产生 的后 果 及 造成 的 损失 无法 估
第 4卷
第2 期
指挥信息 系统与技术
Co mma n d I n f o r ma t i o n S y s t e m a n d Te c h n o l o g y
Vo l _ 4 No . 2
A pr . 2 01 3
2 0 1 3年 4月
・ห้องสมุดไป่ตู้
实 践与应 用 ・
Re l i a b i l i t y Te c hno l o g y f o r Ra da r Da t a Pr o c e s s i n g S o f t wa r e
Wa n g Ya n g C h e n B i n g q i a n g Ha o J i n s h u a n g
1 常 用 软 件可 靠性 技 术
为 了提 高软 件可 靠 性并 满 足用 户需 求 , 对软 件 进行 可靠性设 计是 必要 的 。 目前 , 针对软 件实 现过程
中的可靠性 设计方 法可分 为避错 设计 、 查错设 计 、 改
错设计 和容 错设计 4类 , 具体如下 [ 1 ] :
雷达 数 据 处 理 软 件可 靠性 技 术
汪 洋 陈兵 强 郝金 双
( 中国电子科 技集 团公 司第二 十八研 究所 南京 2 1 0 0 0 7 )
摘
要 :为提 高雷达数 据处理 系统的软件 可 靠性 , 从介 绍常 用软件 可 靠性技 术 着手 , 选择 软件 避错
和容 错设 计方 法进 行分析 。针 对 雷达嵌入 式数据 处理 系统 , 给 出了可以 实现避 错 、 容 错 的软 件设计
方 法 。工程 应 用表 明 , 该设 计具 有可 靠性效 果 。
关键 词 :雷达数 据 处理 ; 软 件避错 设计 ; 软 件容错设 计 ;软件 可 靠性
中图分类 号 : T N3 1 1 . 5
文 献标识 码 : A
文章编号 : 1 6 7 4 — 9 0 9 X( 2 0 1 3 ) 0 2 — 0 0 4 0 — 0 5
( Th e 2 8 t h Re s e a r c h I n s t i t u t e o f Ch i n a El e c t r o n i c s Te c h n o l o g y Gr o u p C o r p o r a t i o n, Na n j i n g 2 1 0 0 0 7 ,Ch i n a ) Ab s t r a c t :To i mpr o v e s o f t wa r e r e l i a bi l i t y o f t h e r a d a r d a t a p r o c e s s i n g s y s t e m ,s o me c o mmon me t ho d s f o r t h e d e s i g n of s o f t wa r e r e l i a b i l i t y a r e i nt r od u c e d.The f a u l t — a v oi di ng a n d f a u l t ~ t o l e r a t —
i n g me t h o d s a r e a n a l y z e d . Fi n a l l y,a f e a s i b l e s c h e me f o r r e a l i z i n g s o f t wa r e f a u l t — a v o i d i n g a n d s o f t wa r e f a u l t — t o l e r a t i n g i n t h e r a d a r d a t a p r o c e s s i n g s y s t e m i s p r e s e n t e d .Th e e n g i n e e r i n g a p p l i — c a t i o n v e r i f i e s t h e r e l i a b i l i t y o f t h e s c h e me . Ke y wo r d s :r a d a r d a t a p r o c e s s i n g;s o f t wa r e f a u l t — a v o i d i n g d e s i g n;s o f t wa r e f a u l t — t o l e r a t i n g d e — s i g n;s o f t wa r e r e l i a b i l i t y
避错 设计 是 使软 件 产 品在 开发 过程 中 , 不发 生 或少 发生错 误 的一 种设计 方法 。由于 软件设计 错误
最 易发 生在 设计 的各个 变换 过 程 中 , 因此避 错设 计
0 引 言
软 件 可 靠 性 指 软件 系统 在 规 定 的条 件 和 时 间 内, 完成 规定功 能 的能 力 。 软件 可靠 性不 仅与软 件存
在 的差 错有关 , 而且 与系统输 入 和使用有关 。 随着计 算 机技 术 的快 速发 展 以及 在军 事 领域 的广 泛应 用 , 软件 在武 器装 备 中发 挥 的作用 越 来越 重 要 , 武器 系 统 对软 件的依 赖性也越 来越 强 。 与 此 同时 , 软件 出现 故 障 引起 系统 崩 溃 的可能 性 也逐 渐增 加 , 如 不采 取 相应 的保 护措 施 , 产生 的后 果 及 造成 的 损失 无法 估
第 4卷
第2 期
指挥信息 系统与技术
Co mma n d I n f o r ma t i o n S y s t e m a n d Te c h n o l o g y
Vo l _ 4 No . 2
A pr . 2 01 3
2 0 1 3年 4月
・ห้องสมุดไป่ตู้
实 践与应 用 ・
Re l i a b i l i t y Te c hno l o g y f o r Ra da r Da t a Pr o c e s s i n g S o f t wa r e
Wa n g Ya n g C h e n B i n g q i a n g Ha o J i n s h u a n g
1 常 用 软 件可 靠性 技 术
为 了提 高软 件可 靠 性并 满 足用 户需 求 , 对软 件 进行 可靠性设 计是 必要 的 。 目前 , 针对软 件实 现过程
中的可靠性 设计方 法可分 为避错 设计 、 查错设 计 、 改
错设计 和容 错设计 4类 , 具体如下 [ 1 ] :
雷达 数 据 处 理 软 件可 靠性 技 术
汪 洋 陈兵 强 郝金 双
( 中国电子科 技集 团公 司第二 十八研 究所 南京 2 1 0 0 0 7 )
摘
要 :为提 高雷达数 据处理 系统的软件 可 靠性 , 从介 绍常 用软件 可 靠性技 术 着手 , 选择 软件 避错
和容 错设 计方 法进 行分析 。针 对 雷达嵌入 式数据 处理 系统 , 给 出了可以 实现避 错 、 容 错 的软 件设计
方 法 。工程 应 用表 明 , 该设 计具 有可 靠性效 果 。
关键 词 :雷达数 据 处理 ; 软 件避错 设计 ; 软 件容错设 计 ;软件 可 靠性
中图分类 号 : T N3 1 1 . 5
文 献标识 码 : A
文章编号 : 1 6 7 4 — 9 0 9 X( 2 0 1 3 ) 0 2 — 0 0 4 0 — 0 5
( Th e 2 8 t h Re s e a r c h I n s t i t u t e o f Ch i n a El e c t r o n i c s Te c h n o l o g y Gr o u p C o r p o r a t i o n, Na n j i n g 2 1 0 0 0 7 ,Ch i n a ) Ab s t r a c t :To i mpr o v e s o f t wa r e r e l i a bi l i t y o f t h e r a d a r d a t a p r o c e s s i n g s y s t e m ,s o me c o mmon me t ho d s f o r t h e d e s i g n of s o f t wa r e r e l i a b i l i t y a r e i nt r od u c e d.The f a u l t — a v oi di ng a n d f a u l t ~ t o l e r a t —
i n g me t h o d s a r e a n a l y z e d . Fi n a l l y,a f e a s i b l e s c h e me f o r r e a l i z i n g s o f t wa r e f a u l t — a v o i d i n g a n d s o f t wa r e f a u l t — t o l e r a t i n g i n t h e r a d a r d a t a p r o c e s s i n g s y s t e m i s p r e s e n t e d .Th e e n g i n e e r i n g a p p l i — c a t i o n v e r i f i e s t h e r e l i a b i l i t y o f t h e s c h e me . Ke y wo r d s :r a d a r d a t a p r o c e s s i n g;s o f t wa r e f a u l t — a v o i d i n g d e s i g n;s o f t wa r e f a u l t — t o l e r a t i n g d e — s i g n;s o f t wa r e r e l i a b i l i t y