A paper on the development of DUST-EXPERT is available here.
Against competition from major software houses, we were awarded a contract by the Health and Safety Executive to develop a safety-related knowledge-based system, running on PCs under Microsoft Windows 3.1/95/NT, to advise on the construction of vessels that contain potentially explosive dusts. The system, which is called DUST-EXPERT, includes: decision trees on venting, suppression, containment, inerting and exclusion of ignition sources, which enable users to select the best approach to dealing with potential dust explosions; several methods for calculating the size of vents to limit the pressure rise in the event of a dust explosion; and context-sensitive, hypertext help covering precaution techniques, explosion violence factors, explosibility tests, and using the system.
A full Safety Case was produced to justify the development. This is based on: a formal specification using the Vienna Development Method (VDM); hand proofs of safety properties on the VDM specification; execution of the VDM specification using the IFAD Toolbox; implementation in LPA Prolog; and a statistically significant quantity of testing of the integrated system.
DUST-EXPERT is an industrial application of formal methods to a safety related advisory system
The UK Health and Safety Executive announced world-wide sales of the Dust Expert product in June 1997.