A VDM Study of Fault-Tolerant Stable Storage - Towards aComputer Engineering Mathematics. (Also in FME''93 : Industrial Strength Formal Methods. pp 216-234, Odense,Denmark, April 1993, Springer-Verlag.)
Andrew J. Butterfield · 1993
This paper presents early results of research work being carried out on applying format lmethods to the analysis of Stable Storage (Lampson 1981), which is a particular form of Fault Tolerance (Johnson 1989) adopted for data storage systems. A prim concern is the development of the methods of the Irish School of VDM (Mac an Airchinnigh 1990) as applied to this application as an effective 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 teh modelling. Also emerging from the research are suggestions of possible new operators that might be added to the calculus to make it a more effective modelling tool, as well as new extensions to the formal method itself.