REPAIR OF COMMUNICATION SYSTEMS BY WORKING AROUND FAILURES
作者:
BEAT LIVER,
期刊:
Applied Artificial Intelligence
(Taylor Available online 1995)
卷期:
Volume 9,
issue 1
页码: 81-99
ISSN:0883-9514
年代: 1995
DOI:10.1080/08839519508945469
出版商: Taylor & Francis Group
数据来源: Taylor
摘要:
An application of functional reasoning to the repair of communication software is described. This type of repair, called a “work-around,” eliminates a failure, either permanently or temporarily, by reconfiguring the system. The reconfiguration replaces a faulty procedure with a functionally equivalent, working one. In contrast to classical fault-tolerance techniques, functional reasoning is employed to identify implicit functional redundancy. The motivation is the current and future reliability requirements of data and telecommunication networks and their components. The proposed functional model of communication procedures is based on information distributions and is formalized in modal logic. This functional model is appropriate for modeling safety properties of communication systems. The function of the alternating bit protocol (ABP) is described as an example. This example is used to outline the computation of work-arounds, where the functional equivalence is achieved by the correct parameterization of the replacement.
点击下载:
PDF (553KB)
返 回