Microprocessors & Microsystems
Software design techniques for tolerating both hardware and software faults have been developed over the past few decades. Paradoxically, it is essential that fault-tolerant software is designed with the highest possible rigour to prevent faults in itself. Such rigour is provided by formal methods and aided by model checking. We illustrate an approach to fault-tolerant software design based on communicating sequential processes through a running example.
Copyright © 2004 Elsevier B.V.
Access to external full text or publisher's version may require subscription.
Accepted Author Manuscript
Yeung, W. L., & Schneider, S. A. (2005). Formal verification of fault-tolerant software design: The CSP approach. Microprocessors & Microsystems, 29(5), 197-209. doi: 10.1016/j.micpro.2004.07.005