Informatica

A fault-tolerant software unit is composed of N≥2 diverse member units, usually developed by N separate teams, and an execution environment. The development process employs diversity requirements, communication protocols, and inter-team isolation rules to promote the greatest possible independence of team efforts and diversity among their products. The principal models, specification, building, evaluation, and system integration of fault-tolerant software are discussed, and goals for future work are suggested.