In: IEEE Transactions on Software Engineering, Vol. 17, No. 6, pages 513-526. June 1991.
Abstract: A new approach to systematically handle detection and correction of errors in software systems already in the design phase uses a combination of formal description methods. These methods are predicate/transition nets and regular expressions. A system model developed using this approach can systematically investigate the fault detection and correction properties of both concurrent and sequential software systems and add any necessary redundancy to enhance the detection/correction capabilities of the software system.
Keywords: fault tolerance; predicate/transition net; regular expressions approach; redundancy; correction capability.