Software Issues In Redundant Sequential Control
- 1 January 1982
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Industrial Electronics
- Vol. IE-29 (4) , 273-278
- https://doi.org/10.1109/tie.1982.356679
Abstract
Redundant control systems require more than a single redundant construct to serve the six basic functions of fault tolerance: test, detection, diagnosis, masking, reconfiguration, and recovery. Software usually constitutes or supports one or more such constructs. Additionally, software must be correct, since it is seldom, if ever, protected by redundancy. A redundant sequential control system requires intricate software constructs. The predominant existing software specification and implementation techniques for sequential control are not adequate for the creation of correct software of the complexity required for redundant systems. This complexity is illustrated by an example.Keywords
This publication has 9 references indexed in Scilit:
- Synchronous fault-tolerant flight control systemsPublished by American Institute of Aeronautics and Astronautics (AIAA) ,1981
- Reaching Agreement in the Presence of FaultsJournal of the ACM, 1980
- Fault-Toleront System Design: Broad Brush and Fine PrintComputer, 1980
- An Automatic-Controller Description LanguageIEEE Transactions on Software Engineering, 1980
- FTMP—A highly reliable fault-tolerant multiprocess for aircraftProceedings of the IEEE, 1978
- Fault-tolerance: The survival attribute of digital systemsProceedings of the IEEE, 1978
- SIFT: Design and analysis of a fault-tolerant computer for aircraft controlProceedings of the IEEE, 1978
- System structure for software fault toleranceIEEE Transactions on Software Engineering, 1975
- The STAR (Self-Testing And Repairing) Computer: An Investigation of the Theory and Practice of Fault-Tolerant Computer DesignIEEE Transactions on Computers, 1971