嵌入式软件故障树分析及其基于openfta的实现 - 计算机应用与软件.pdfVIP

第２９卷第９期　　　 计算机应用与软件 Ｖｏｌ２９Ｎｏ．９ ２０１２年９月　　 ＣｏｍｐｕｔｅｒＡｐｐｌｉｃａｔｉｏｎｓａｎｄＳｏｆｔｗａｒｅ Ｓｅｐ．２０１２ 嵌入式软件故障树分析及其基于ＯｐｅｎＦＴＡ的实现 朱　敏 （中航工业无线电电子研究所　上海２００２３３） 摘　要　　在安全关键系统中，例如航空航天、高速铁路、核电站等，越来越多的功能由嵌入式软件实现，嵌入式软件的安全性备受 重视，也是近期的热点话题。故障树分析是安全性分析的常用技术，在系统和硬件领域已十分普及，而在软件领域还有待研究和应 用。介绍嵌入式软件故障树分析技术，并通过案例演示了如何开展嵌入式软件故障树分析，最后介绍如何应用开源故障树分析软件 ＯｐｅｎＦＴＡ实施具体的故障树分析。 关键词　　嵌入式软件　故障树分析　软件安全性 中图分类号　ＴＰ３１９　　　　文献标识码　Ａ ＤＯＩ：１０．３９６９／ｊ．ｉｓｓｎ．１０００３８６ｘ．２０１２．０９．０７０ ＦＡＵＬＴＴＲＥＥＡＮＡＬＹＳＩＳＦＯＲＥＭＢＥＤＤＥＤＳＯＦＴＷＡＲＥＡＮＤＩＴＳ ＩＭＰＬＥＭＥＮＴＡＴＩＯＮＢＡＳＥＤＯＮＯｐｅｎＦＴＡ ＺｈｕＭｉｎ （ＣｈｉｎｅｓｅＡｅｒｏｎａｕｔｉｃａｌＲａｄｉｏＥｌｅｃｔｒｏｎｉｃｓＲｅｓｅａｒｃｈＩｎｓｔｉｔｕｔｅ，Ｓｈａｎｇｈａｉ２００２３３，Ｃｈｉｎａ） Ａｂｓｔｒａｃｔ　　Ｉｎｓａｆｅｔｙｃｒｉｔｉｃａｌｓｙｓｔｅｍｓｓｕｃｈａｓａｅｒｏｓｐａｃｅ，ｈｉｇｈｓｐｅｅｄｒａｉｌｗａｙ，ｎｕｃｌｅａｒｐｏｗｅｒｐｌａｎｔａｎｄｓｏｏｎ，ｍｏｒｅａｎｄｍｏｒｅｆｕｎｃｔｉｏｎｓａｒｅ ｉｍｐｌｅｍｅｎｔｅｄｂｙｔｈｅｅｍｂｅｄｄｅｄｓｏｆｔｗａｒｅ．Ｔｈｅｓａｆｅｔｙｏｆｅｍｂｅｄｄｅｄｓｏｆｔｗａｒｅｓｙｓｔｅｍａｔｔｒａｃｔｓｉｎｃｒｅａｓｉｎｇａｔｔｅｎｔｉｏｎｓａｎｄｂｅｃｏｍｅｓａｈｏｔｔｏｐｉｃｒｅ ｃｅｎｔｌｙ．Ｆａｕｌｔｔｒｅｅａｎａｌｙｓｉｓｉｓａｐｏｐｕｌａｒｍｅｔｈｏｄｆｏｒｓａｆｅｔｙａｎａｌｙｓｉｓａｎｄｉｓｗｉｄｅｌｙｕｓｅｄｉｎｓｙｓｔｅｍａｎｄｈａｒｄｗａｒｅｆｉｅｌｄｓ．Ｈｏｗｅｖｅｒ，ｉｔｓｓｔｕｄｙａｎｄ ａｐｐｌｉｃａｔｉｏｎｉｎｓｏｆｔｗａｒｅｅｎｇｉｎｅｅｒｉｎｇｉｓｙｅｔｔｏｂｅｄｅｖｅｌｏｐｅｄ．Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｉｎｔｒｏｄｕｃｅｔｈｅｆａｕｌｔｔｒｅｅａｎａｌｙｓｉｓｏｎｅｍｂｅｄｄｅｄｓｏｆｔｗａｒｅａｎｄｐｒｏ ｖｉｄｅａｄｅｍｏｎｓｔｒａｔｉｏｎｖｉａａｃａｓｅｏｎａｔｙｐｉｃａｌｅｘｅｃｕｔｉｏｎｏｆｔｈｅｆａｕｌｔｔｒｅｅａｎａｌｙｓｉｓｏｎｅｍｂｅｄｄｅｄｓｙｓｔｅｍ．Ｉｎｔｈｅｅｎｄｏｆｔｈｅｐａｐｅｒ，ｗｅｉｌｌｕｓｔｒａｔｅｈｏｗ ｔｏｐｅｒｆｏｒｍｔｈｅｆａｕｌｔｔｒｅｅａｎａｌｙｓｉｓｕｓｉｎｇｏｐｅｎｓｏｕｒｃｅｓｏｆｔｗａｒｅＯｐｅｎＦＴＡ． Ｋｅｙｗｏｒｄｓ　　Ｅｍｂｅｄｄｅｄｓｏｆｔｗａｒｅ　Ｆａｕｌｔｔｒｅｅａｎａｌｙｓｉｓ　Ｓｏｆｔｗａｒｅｓａｆｅｔｙ 软件安全性指的是，使软件所控制的系统始终处于不危及 ０　引　言 人的生命财产和生态环境的安全状态的性质。随着计算机应用 范围迅速地扩大，安全关键系统中越来越多的功能由嵌入式软 英语中Ｓａｆｅｔｙ和Ｓｅｃｕｒｉｔｙ两个词，都翻译为安全性，两者都 件实现。计算机及其软件虽然提高了系统的功能、可配置性、灵 是计算机软件领域的研究热点，Ｓｅｃｕｒｉｔｙ主要指与信息有关的安 活性等，但也日益直接地关系到人们的生命、财产及生存环境的 全，而Ｓａｆｅｔｙ主要指与生命财产有关的安全。在日常生活中经 安危。软件安全性就