基于动作推导引擎下的故障检测方法

本文根据文[2]介绍的软件管理者方法，提出了基于动作推导引擎的软件管理者方法。软件管理者单元是一种自动的实时监控软件故障的软件工具，适用于实时软件系统特别是通信类软件系统的故障侦测。它通过监控目标系统的输入和输出，使用获得的输入和目标系统的管理模型推算出对应此输入序列的期望输出值．与目标系统的实际输出做比较．如果实际输出没有在期望输出集中，则管理者单元断定目标系统出现错误。基于动作推导引擎的软件管理者方法，采用了动作推导引擎产生的目标系统管理模型，使该管理模型独立于软件管理者方法。可以实现管理模块与动作推导引擎同步实时更新．而不会导致软件管理者单元的改动。

A Failiue Detection Method Based on Action Derivation Engine

This paper uses a ADE-based software supervisor to automatic runtime detect real-time software system failure. Software supervisor is an unit that monitors the inputs and outputs of a target software system and reports discrepancies between specified and observed behaviors as failures. ADE-based software supervisor uses Action Derivation Engine as the generator of the specification language which is used by the supervisor. Action Derivation Engine is a way that engine searches corresponding arithmetic and executes based on the input of statement and action gathers,so that a specific functional software system is completed, the supervisor model can be independent from the supervisor unit if we use ADE as a specification generator. With the introduction of the idea of engine into the process of program development and failure detection- we can achieve program automatically.