| 主权项 |
一种嵌入式系统可靠性分析与评估方法，其特征在于步骤如下：步骤1：利用Eclipse平台的OSTAE工具对需要评估的AADL系统进行实例化操作，将AADL系统逐层展开得到系统模态之间的变迁；步骤2：利用步骤1中实例化操作得到的系统模态之间的变迁，将模态元素转换到对应的GSPN模型元素，转换方法如下：将模态转换为GSPN中的位置；将初始模态转换为GSPN中带有一个标识的位置；将模态迁移条件转换为GSPN中的瞬时变迁；将模态间的转换转换为GSPN中用弧连接的从位置到变迁到位置的位置变迁网；步骤3：对于AADL系统构件内部的所有子构件，根据每一个子构件处于的系统模态寻找到每个模态下面的所有子构件；步骤4：利用步骤1中实例化操作得到的系统层次结构关系，确认子构件内部是否有更低层子构件；当子构件内部有更低层子构件时转向步骤2；步骤5：首先，对于每一个子构件，根据基本AADL错误模型到GSPN模型转换规则，将AADL错误模型元素转换到对应的GSPN模型元素，生成每一个子构件的GSPN模型；接着，利用步骤3中得到的系统底层模态下面的所有构件，便得到该系统内处于同一个模态下所有构件的GSPN模型；步骤6处理构件之间的错误传播规则：根据这些构件之间的连接关系和软硬件之间的绑定关系，将同一模态下各个子构件的GSPN模型连接在一起，得到在该模态下上层构件的GSPN模型，利用GSPN模型计算工具PIPE2(Platform Independent Petri net Editor2，Petri网编辑工具)量化分析与评估在这个模态下的构件可靠性；步骤7：根据步骤6中得到的单一模态下构件可靠性以及步骤2中模态转换的GSPN模型中每个模态的发生概率，利用PIPE2工具计算出上层构件的可靠性，如果该构件为所要评估的系统构件，则结束可靠性评估；如果该构件不是所要评估的系统构件，则转向步骤6；采用由底层构件向上层构件的逐层迭代计算得出整个系统的可靠性。 |
