A VDM study of fault-tolerant stable storage Towards a computer engineering mathematics

SIGLEAvailable from British Library Document Supply Centre- DSC:8722.324(TCD-CS--93-38) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer Engineering Mathematics

. This paper presents early results of research work being carried out on applying formal methods to the analysis of Stable Storage (Lampson 1981), which is a particular form of Fault Tolerance (Johnson 1989) adopted for data storage systems A prime concern is the development of the methods of the Irish School of VDM (VDM # ) (Mac an Airchinnigh 1990) as applied to this application as an e#ective engineering mathematics discipline. Early results of the modelling are reported involving both the use of the formalism and understanding of the application area gained from the modelling. Also emerging from the research are suggestions of possible new operators that might be added to the calculus to make it a more e#ective modelling tool, as well as new extensions to the formal method itself. 1 Introduction This paper presents early results of research work being carried out on applying formal methods to the analysis of fault-tolerance (Johnson 1989) in general, and Stable Storage (Lampson ..