论文部分内容阅读
故障检测和隔离在可信软件系统的构建中具有重要的作用，因此故障诊断问题已受到人们广泛的关注。网构软件代表了Internet环境下的一种新型的软件形态，其构建依赖于开放协同环境中各种异构的、自治的软件实体间的有效协同；从故障诊断的角度看，网构软件系统通常可以被抽象为离散事件系统。提出了一种新的方法，应用动态描述逻辑对被诊断系统进行分析。动态描述逻辑的语法和语义非常适宜刻画系统的正常行为和异常行为。接着，给出了算法使用动态描述逻辑的可满足性检测来测试离散事件系统的可诊断性。
同时给出了故障诊断器的构造算法，该故障诊断器通过实时地观察系统的行为完成故障诊断。并配以例子说明算法。