Issue No. 10 - October (1988 vol. 14)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.6188
<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>
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
"A Class of Inherently Fault Tolerant Distributed Programs," in IEEE Transactions on Software Engineering, vol. 14, no. , pp. 1432-1442, 1988.