摘要： 安全性关键软件影响生命财产安全,必须有定量评估模型来反映此类软件的安全性。传统安全性定量评估通过改进可靠性模型并将软件看作整体评估,而未探究软件失效本质,不能很好地评估软件行为安全性。为此,基于软件失效本质及对安全性关键场景的研究,提出软件交互行为模型,给出从各软件运行条件的关系中构造交互模式依赖图的方法,设计基于软件过程行为的安全性评估模型。实例分析表明,该模型能识别出所有软件过程行为及其发生率、失效率,为每个过程行为赋予风险指数,并计算得到整体的软件风险指数。

关键词: 安全性关键软件, 软件交互行为模型, 交互模式依赖图, 安全性评估模型, 软件过程行为

Abstract: Safety-critical software behavior directly affects life and property safety,so a quantitative evaluation model is indispensible to reflect its safety.Similarities are between safety and reliability,traditional safety assessment method always takes software as a whole to evaluate through improved reliability models,but it ignores failure nature and can not evaluate behavior safety.Based on the study of software failure nature and safety-critical scenario,Software Interbehavior Model(SIBM) is proposed,and tells how to generate Interraction Mode Dependency Graph(IMDG) through relationships of software operation conditions.A safety evaluation model based on process behavior is proposed,it identifies all process behaviors with incidence rates and failure rates,risk indexes are given to every process behavior,then total risk index can be calculated.

Key words: safety-critical software, Software Interbehavior Model(SIBM), Interraction Mode Dependency Graph(IMDG), safety evaluation model, software process behavior

中图分类号: 

• TP311