TCD-CS-93-38... Butterfield, A.
A VDM Study of Fault-Tolerant Stable Storage - Towards a Computer
Engineering Mathematics
April 1993
Abstract
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 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 effective modelling tool, as well as new
extensions to the formal method itself.
Technical Reports Home Page