The Development of a Commercial ``Shrink-Wrapped Application'' to Safety Integrity Level 2: The DUST-EXPERTTM Story

Authors:
Tim Clement;Ian Cottam;Peter K. D. Froome;Claire Jones
Affiliations:
-;-;-;-
Venue:
SAFECOMP '99 Proceedings of the 18th International Conference on Computer Computer Safety, Reliability and Security
Year:
1999

Citing 2
Cited 3

Validation of ultrahigh dependability for software-based systems

Communications of the ACM
The formal development of a windows interface

3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods

Improving Hazard Classification through the Reuse of Descriptive Arguments

ICSR-7 Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools
Formal Methods Diffusion: Past Lessons and Future Prospects

SAFECOMP '00 Proceedings of the 19th International Conference on Computer Safety, Reliability and Security
Recent industrial applications of VDM in Japan

FACS-FMI'07 Proceedings of the 2007th internatioanal conference on Formal Methods in Industry

Quantified Score

Hi-index	0.00

Visualization

Abstract

We report on some of the development issues of a commercial "shrink-wrapped application" -- DUST-EXPERT™ -- that is of particular interest to the safety and software engineering community. Amongst other things, the following are reported on and discussed: the use of formal methods; advisory systems as safety related systems; safety integrity levels and the general construction of DUST-EXPERT's safety case; statistical testing checked by an "oracle" derived from the formal specification; and our achieved productivity and error density.