[发明专利]基于特征配置的故障树生成方法

摘要

本发明公开了基于特征配置的故障树生成方法，将软件产品线的可变性建模引入安全分析过程，利用特征模型作为系统故障的结构模型刻画故障的层次与约束关系。同时通过对状态迁移的拓展提出一种故障标记迁移系统(Fault Labeled Transition System，FLTS)，作为系统故障行为模型。然后基于故障标记迁移系统的语义定义了利用模型检测生成故障树的过程。最后，利用现有的软件产品线模型检测器实现了基于故障配置生成故障树的方法。本发明利用特征模型刻画了系统静态层次结构、故障与部件的从属关系及故障间的约束关系，利用软件产品线模型检测的特性，可以基于系统模型针对特定安全属性找到其全部割集，提高了故障树生成的效率与准确性。

主权项

1.基于特征配置的故障树生成方法，其特征在于，具体步骤包括：步骤1，根据目标系统的需求和初步设计，确定系统层次结构和基本框架，建立系统正常行为模型；步骤2，根据功能危害分析及初步系统安全评估，确定系统各组件可能的故障特征，对故障特征进行分析，明确故障间的约束关系；根据步骤1中系统的层次结构、故障与组件的关系以及故障间的约束关系，建立故障特征模型，规定系统的合法故障配置；步骤3，根据系统正常行为模型，明确故障事件对系统正常行为的影响，在系统正常行为模型中注入故障行为，使用故障标记迁移系统描述包含故障行为的拓展系统模型；步骤4，使用线性时序逻辑对系统安全需求进行形式化的描述；步骤5，以步骤2得到的故障特征模型、步骤3得到的拓展系统模型以及步骤4中使用线性时序逻辑描述的系统需求作为输入，利用模型检测器对系统模型进行验证；步骤6，对步骤5模型检测器的输出结果进行分析，得到针对步骤5输入的安全属性的故障树。