基于E语言的故障建模方法研究
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
ｔｍ ｅ ｔａ ａ ｅ ｓｕ ｅ ｔｓ ｓａ ｃ ｓ ｔｄｙ． ｉｈ ｖ ｒｆｅ ｈｅ ｅｆｃ ｉｅ ｅ ｓｏ ｈｅ ｆｕ ｍｏ ｌ ｎｄ ｄｅ ｉｔｏ ｗｈｃ ｅ ｉ ｄ ｔ ｆｅ ｔｖ ｎ ｓ ｆｔ ａ ｈ ｄｅｓａ ｐｃ ｉｎ ｍｅｔｏ ｓ ｉ ｍｐ ｏ ｉ ｇ ｔｅ ａ ｏ ｔｃ ｉ ｈ ｎ ｉ ｒ ｖ ｎ ｈ ｕｔｍａｉ ｄ
第２ ７卷第 １ Ｏ期
２１ ０ ０年 １ ０月
计 算 机 应 用 研 究
Ａｐ ｌ ａ ｉｎ Ｒｅ ｅ ｒ ｈ ｏ ｏ ｕ ｅ ｓ ｐ ｉ ｔ ｓ ａ ｃ ｆＣ ｍｐ ｔ ｒ ｃ ｏ
Ｖｏ ＿ ７ Ｎｏ １ ｌ２ ． ０ ０ｃ ． ２ ０ ｔ ０１
基 Ｅ语 言 的 障 建 模 方 法 研 究 于 故
０ 引 言
测试性试 验验证 主要 是通过 故障 注入 手段评 估产 品的测 试性水 平… 。虽然 目前 国内外对 故障 注入方 面开展 了大量研 究， 但多着眼于容错控制领域。近年来我 国对测试性试验验证 方法开展了一定研究 ， 如北航可靠性工程研究所进行 了理论和 方法研究 。 ， 初步研发 了测试性验证设备 ’ 。
ａ ｄ ｃ ｎ ｔ ｃ ｅ ａ ｌ ｍｏ ｅｓ Ｔ ｅ ｒ ｓ ｎ ｅ ａ ｌ ｍｏ ｅ ｄ ｐ ｃｉ ｎ ｍｅｈ ｄ Ｆ ｎ ｌ ， ｄ ｒ ｓｅ ｎ ｅｅ ｔｏ ｉ ｉｈ ｉ ｌｙ ｓ ｓ ｎ ｏ ｓｒ ｔ ｄ ｆｕ ｔ ｄ ｌ． ｈ ｎ ｐ ｅ ｅ ｔｄ ｆｕ ｔ ｄ ｅ ｉｔ ｔ ｏ ． ｉ ａｌ ａ ｄ ｅ ｓ ｄ ａ ｌｃ ｒｎ ｃ ｆ ｇ ｔ ｓ ａ ｙ — ｕ ｏ ｙ ｌ ｄ ｐ
ｌｖ ｌ ｎ ｅ ｌｔ ｕ ｌ ｙ ｅ ｅ ａ ｄ ｒａ — ｍｅ ｑ ａｉ ． ｉ ｔ
Ｋｅ ｏ ｄ ：ｆ ｈ ｉ ｅ ｔ ｎ ｆ ｌ ｃ ａａ ｔ ｓ ｃ ｆ ｌ ｍｏ ｅ ； ａ ｇ ａ ｅ ｙ ｗ ｒ ｓ ａ ｊｃ ｏ ； ａ ｔ ｈ ｒｃ ｒ ｔ ； ａ ｔ ｄ ｌ Ｅ ｌ ｕ ｇ ｕ ｎ ｉ ｕ ｅ ｉ ｉ ｕ ｎ
ＨＵＡＮＧ Ｆｕ— ｕ ｑ ｎ， ＬＩ Ｂｉ Ｕ ｎ， ＸＵ ｉ ｇ， ＬＩＨａ —ｅ ｇ Ｐｎ ｉｆｎ
（ ｃｏｌｆＲ ｌ ｂｌｙ＆ Ｓｓ ｍ Ｅ ｇ￣ｅ ｎ Ｂ ｉａｇ Ｕ ｉｅ ｉ ， ｅｉ ０ １ １ Ｃ ｉａ Ｓｈｏ ｏ ｅ ａｉｔ ｉ ｉ ｙｔ ｎ ｉ ｎ ｇ， ｅ ｎ ｎ ｒ ｔ Ｂ ｉｎ １０ ９ ， ｈｎ ） ｅ ｈ ｖ ｓｙ ｊｇ
ｃ ｒ ｃｅ ｉｔｃ ． ｈｉ ｓｓ ｄ ｐ ｃｅ ａ ｈ ｈａａｃｅ ｓｉｓ ｂ ＥＥＥ ｔ １ ４ － ０ ”Ｅ ” ｆ ｃｉ ｎ ｌｖ ｒｆｃ ｔｏ ａ ｕａ ｅ． ｈａ ａ ｔ ｒｓｉｓ Ｏｎ ｔ ｓｂａ ｉ ． ｅ ｉｔ ｄ ｆ ｕ ｃ ｒ ｔ ｒ ｔｃ ｙ Ｉ ｉ Ｓｄ． ６ ７ ２０ ６ ｕｎ ｔｏ ａ ｅ ｉ ａｉｎ ｌｎｇ ｇ ｉ
ｄ ｉ１ ． ９ ９ ｊｉ ｎ １０ ．６ ５ ２ １ ． ０ ０ ５ ｏ ：０ ３ ６ ／ ．ｓ ．０ １３ ９ ．０ ０ １ ．４ ｓ
Ｒｅ ｅ ｒ ｈ ｏ ａ ｌ ｍｏ ｅｉ ｇ ｍｅｈ ｄ ｂ ｓ ｄ ｏ ｌ ｎ ｕ ｇ ｓ ａ ｃ ｎ ｆｕ ｔ ｄ ｌｎ ｔｏ ａ ｅ ｎ Ｅ ａ ｇ ａ ｅ
Ａｂ ｔ ａ ｔ Ｔ ａｉｆ ｈ ｕｏ ｔ ｎ ａ ｄ ｒ ａ—ｉ ｅ ｕ ｒ ｍｅ ｔ ，ｆ ｕ ｆｒ ｔ ｎ ａ ｄ ｅ ｐ ｒ ｎ ａ ｃ ｅ ｅ ｄ ｔ ｅ ｅ ｉ ｄ ｓｒ ｃ ： ｏ ｓ ｔ ｙ ｔ ｅ ａ ｔｍａｉ ｎ ｅ ｌ ｍｅ ｒ ｑ ｉ ｓ ｏ ｔ ｅ ｎ ｓ ａ ｈ ｉ ｏ ｍａ ｉ ｎ ｘ ｅ ｉ ｔ ｌ ｈ ｍｅ ｎ ｅ ｏ ｂ ｄ ｔ ｎ ｏ ｍｅ ｓ ｅ ｂ ｆｒ ｅ ｅ ｐ ｒ ｎ ｔｒｓ Ｔ ａ ｅ ｒ ｐ ｓ ｄ ｔ ｅｃ ｎ ｅ ｔ ｏ ｒ ｄ ｃ ｆｕ ｔ ｔｍ ａ ｌ ａ ｄ ｆ ｕｔｍｏ ｅ ． ｎ ｘｒ ｃｅ ａ ｌ ｅｏ ｅ ｔ ｘ ｅ ｍｅ ｔｓａｔ ． ｓ ｐ ｐ ｒｐ ｏ ｏ ｅ ｈ ｏ ｃ ｐ ｓ ｆｐ ｏ ｕ ｔ ａ ｌ ．ａｏ ｆｕ ｔ ｎ ａ ｌ ｈ ｉ ｄ １ ａ ｄ ｅ ｔ ｔ ｄ ｆｕ ｔ ａ
黄抚群 ，刘 斌 ，徐 萍 ，李海 峰
（ 北京航空航天大学 可靠性与 系统工程学院， 北京 １０９ ） ０ １１
摘 要 ：为适 应故 障注入 的 自动化和 实时性要 求 ， 对试 验 人 员 需在 试验 开始 前 给 出故 障信 息 和编 写试 验 方 针
案 ， 出产 品故 障 、 故 障和 故 障模 型概 念 ， 取 产 品 故 障和 元故 障特 征 。在 此基 础 上 ， 用 ＩＥ ｔ １４ 一 提 元 提 采 Ｅ Ｅ Ｓｄ ６７ Ｍ ｒ ２０ ０ ６的“ 功 能验证语 言 ， Ｅ” 描述 故 障特征 、 建故 障模 型 ， 构 并给 出故 障模 式的描 述方 式。最 后 以某 电子 飞行 显 示 系统为应 用案 例 ， 案例表 明 ， 障模 型及 其描 述 方法可有 效地提 高故 障注入 的 自动化 和 实时性水 平。 故 关键 词 ：故 障注入 ；故障特 征 ；故障模 型 ；Ｅ语 言 中图分类 号 ：Ｔ ３ ６ Ｐ０ 文献标 志码 ：Ａ 文 章编号 ：１０ — ６ ５ ２ １ ）０ ３ ７ — ４ ０ １３ ９ （ ０ ０ １ —７ ５ ０
１ 故 障建模 基 础
１ １ 概 念 界 定 ．
故障定义为产 品或产 品的一部 分不能源自文库或将不能 完成预定 功能的事件或状 态 。测试 性试 验验 证 中存在 两 大类故 障 ，
第２ ７卷第 １ Ｏ期
２１ ０ ０年 １ ０月
计 算 机 应 用 研 究
Ａｐ ｌ ａ ｉｎ Ｒｅ ｅ ｒ ｈ ｏ ｏ ｕ ｅ ｓ ｐ ｉ ｔ ｓ ａ ｃ ｆＣ ｍｐ ｔ ｒ ｃ ｏ
Ｖｏ ＿ ７ Ｎｏ １ ｌ２ ． ０ ０ｃ ． ２ ０ ｔ ０１
基 Ｅ语 言 的 障 建 模 方 法 研 究 于 故
０ 引 言
测试性试 验验证 主要 是通过 故障 注入 手段评 估产 品的测 试性水 平… 。虽然 目前 国内外对 故障 注入方 面开展 了大量研 究， 但多着眼于容错控制领域。近年来我 国对测试性试验验证 方法开展了一定研究 ， 如北航可靠性工程研究所进行 了理论和 方法研究 。 ， 初步研发 了测试性验证设备 ’ 。
ａ ｄ ｃ ｎ ｔ ｃ ｅ ａ ｌ ｍｏ ｅｓ Ｔ ｅ ｒ ｓ ｎ ｅ ａ ｌ ｍｏ ｅ ｄ ｐ ｃｉ ｎ ｍｅｈ ｄ Ｆ ｎ ｌ ， ｄ ｒ ｓｅ ｎ ｅｅ ｔｏ ｉ ｉｈ ｉ ｌｙ ｓ ｓ ｎ ｏ ｓｒ ｔ ｄ ｆｕ ｔ ｄ ｌ． ｈ ｎ ｐ ｅ ｅ ｔｄ ｆｕ ｔ ｄ ｅ ｉｔ ｔ ｏ ． ｉ ａｌ ａ ｄ ｅ ｓ ｄ ａ ｌｃ ｒｎ ｃ ｆ ｇ ｔ ｓ ａ ｙ — ｕ ｏ ｙ ｌ ｄ ｐ
ｌｖ ｌ ｎ ｅ ｌｔ ｕ ｌ ｙ ｅ ｅ ａ ｄ ｒａ — ｍｅ ｑ ａｉ ． ｉ ｔ
Ｋｅ ｏ ｄ ：ｆ ｈ ｉ ｅ ｔ ｎ ｆ ｌ ｃ ａａ ｔ ｓ ｃ ｆ ｌ ｍｏ ｅ ； ａ ｇ ａ ｅ ｙ ｗ ｒ ｓ ａ ｊｃ ｏ ； ａ ｔ ｈ ｒｃ ｒ ｔ ； ａ ｔ ｄ ｌ Ｅ ｌ ｕ ｇ ｕ ｎ ｉ ｕ ｅ ｉ ｉ ｕ ｎ
ＨＵＡＮＧ Ｆｕ— ｕ ｑ ｎ， ＬＩ Ｂｉ Ｕ ｎ， ＸＵ ｉ ｇ， ＬＩＨａ —ｅ ｇ Ｐｎ ｉｆｎ
（ ｃｏｌｆＲ ｌ ｂｌｙ＆ Ｓｓ ｍ Ｅ ｇ￣ｅ ｎ Ｂ ｉａｇ Ｕ ｉｅ ｉ ， ｅｉ ０ １ １ Ｃ ｉａ Ｓｈｏ ｏ ｅ ａｉｔ ｉ ｉ ｙｔ ｎ ｉ ｎ ｇ， ｅ ｎ ｎ ｒ ｔ Ｂ ｉｎ １０ ９ ， ｈｎ ） ｅ ｈ ｖ ｓｙ ｊｇ
ｃ ｒ ｃｅ ｉｔｃ ． ｈｉ ｓｓ ｄ ｐ ｃｅ ａ ｈ ｈａａｃｅ ｓｉｓ ｂ ＥＥＥ ｔ １ ４ － ０ ”Ｅ ” ｆ ｃｉ ｎ ｌｖ ｒｆｃ ｔｏ ａ ｕａ ｅ． ｈａ ａ ｔ ｒｓｉｓ Ｏｎ ｔ ｓｂａ ｉ ． ｅ ｉｔ ｄ ｆ ｕ ｃ ｒ ｔ ｒ ｔｃ ｙ Ｉ ｉ Ｓｄ． ６ ７ ２０ ６ ｕｎ ｔｏ ａ ｅ ｉ ａｉｎ ｌｎｇ ｇ ｉ
ｄ ｉ１ ． ９ ９ ｊｉ ｎ １０ ．６ ５ ２ １ ． ０ ０ ５ ｏ ：０ ３ ６ ／ ．ｓ ．０ １３ ９ ．０ ０ １ ．４ ｓ
Ｒｅ ｅ ｒ ｈ ｏ ａ ｌ ｍｏ ｅｉ ｇ ｍｅｈ ｄ ｂ ｓ ｄ ｏ ｌ ｎ ｕ ｇ ｓ ａ ｃ ｎ ｆｕ ｔ ｄ ｌｎ ｔｏ ａ ｅ ｎ Ｅ ａ ｇ ａ ｅ
Ａｂ ｔ ａ ｔ Ｔ ａｉｆ ｈ ｕｏ ｔ ｎ ａ ｄ ｒ ａ—ｉ ｅ ｕ ｒ ｍｅ ｔ ，ｆ ｕ ｆｒ ｔ ｎ ａ ｄ ｅ ｐ ｒ ｎ ａ ｃ ｅ ｅ ｄ ｔ ｅ ｅ ｉ ｄ ｓｒ ｃ ： ｏ ｓ ｔ ｙ ｔ ｅ ａ ｔｍａｉ ｎ ｅ ｌ ｍｅ ｒ ｑ ｉ ｓ ｏ ｔ ｅ ｎ ｓ ａ ｈ ｉ ｏ ｍａ ｉ ｎ ｘ ｅ ｉ ｔ ｌ ｈ ｍｅ ｎ ｅ ｏ ｂ ｄ ｔ ｎ ｏ ｍｅ ｓ ｅ ｂ ｆｒ ｅ ｅ ｐ ｒ ｎ ｔｒｓ Ｔ ａ ｅ ｒ ｐ ｓ ｄ ｔ ｅｃ ｎ ｅ ｔ ｏ ｒ ｄ ｃ ｆｕ ｔ ｔｍ ａ ｌ ａ ｄ ｆ ｕｔｍｏ ｅ ． ｎ ｘｒ ｃｅ ａ ｌ ｅｏ ｅ ｔ ｘ ｅ ｍｅ ｔｓａｔ ． ｓ ｐ ｐ ｒｐ ｏ ｏ ｅ ｈ ｏ ｃ ｐ ｓ ｆｐ ｏ ｕ ｔ ａ ｌ ．ａｏ ｆｕ ｔ ｎ ａ ｌ ｈ ｉ ｄ １ ａ ｄ ｅ ｔ ｔ ｄ ｆｕ ｔ ａ
黄抚群 ，刘 斌 ，徐 萍 ，李海 峰
（ 北京航空航天大学 可靠性与 系统工程学院， 北京 １０９ ） ０ １１
摘 要 ：为适 应故 障注入 的 自动化和 实时性要 求 ， 对试 验 人 员 需在 试验 开始 前 给 出故 障信 息 和编 写试 验 方 针
案 ， 出产 品故 障 、 故 障和 故 障模 型概 念 ， 取 产 品 故 障和 元故 障特 征 。在 此基 础 上 ， 用 ＩＥ ｔ １４ 一 提 元 提 采 Ｅ Ｅ Ｓｄ ６７ Ｍ ｒ ２０ ０ ６的“ 功 能验证语 言 ， Ｅ” 描述 故 障特征 、 建故 障模 型 ， 构 并给 出故 障模 式的描 述方 式。最 后 以某 电子 飞行 显 示 系统为应 用案 例 ， 案例表 明 ， 障模 型及 其描 述 方法可有 效地提 高故 障注入 的 自动化 和 实时性水 平。 故 关键 词 ：故 障注入 ；故障特 征 ；故障模 型 ；Ｅ语 言 中图分类 号 ：Ｔ ３ ６ Ｐ０ 文献标 志码 ：Ａ 文 章编号 ：１０ — ６ ５ ２ １ ）０ ３ ７ — ４ ０ １３ ９ （ ０ ０ １ —７ ５ ０
１ 故 障建模 基 础
１ １ 概 念 界 定 ．
故障定义为产 品或产 品的一部 分不能源自文库或将不能 完成预定 功能的事件或状 态 。测试 性试 验验 证 中存在 两 大类故 障 ，