The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.10 - October (1988 vol.14)
pp: 1432-1442
ABSTRACT
<p>Software for industrial process-control systems, such as nuclear power plant safety control systems and robots, can be very complex because of the large number of cases that must be considered. A design approach is proposed that uses decentralized control concepts, and is based on E.W. Dijkstra's concept of self-stabilizing systems (1974). This method greatly simplifies the software, so that its correctness can be verified more easily. A simple control system is described for a simulated robot that is tolerant of partial failure of controllers and mechanisms, and permits online repair and enhancement of the control functions.</p>
INDEX TERMS
fault tolerant distributed programs; industrial process-control; decentralized control concepts; self-stabilizing systems; correctness; robot; distributed processing; fault tolerant computing; industrial robots; program verification; programming theory; robot programming
CITATION
"A Class of Inherently Fault Tolerant Distributed Programs", IEEE Transactions on Software Engineering, vol.14, no. 10, pp. 1432-1442, October 1988, doi:10.1109/32.6188
SEARCH
18 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool