Contributors:

Ian Hayes, Graeme Smith, Luke Wildman, Larissa Meinicke

Description:

Real-time computer systems are being employed increasingly to control safety-critical applications in which the safety of the system depends on the computer, and for which the consequences of failure can be severe. Because of the complexity of such systems, systematic techniques are required to design and assess them. The state of theories for the development of software for fault-tolerant real-time systems is still in its early stages. Our aim in this project is to extend standard techniques for developing safety-critical systems with formal methods and automated tool support for the analysis and generation of fault-tolerant systems. In our approach we intend to take into consideration the fact that the construction of fault-tolerant systems is an evolutionary process and that once developed, such systems are often subject to further modifications.

Publications - Conference Proceedings: