The Development of a Commercial "Shrink-Wrapped Application" to Safety Integrity Level 2: The DUST-EXPERTTM Story
暂无分享,去创建一个
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.
[1] Bev Littlewood,et al. Validation of ultrahigh dependability for software-based systems , 1993, CACM.
[2] R. Bell,et al. IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .
[3] Tim Clement. The formal development of a Windows interface , 1998 .
[4] C Schofield,et al. GUIDE TO DUST EXPLOSION PREVENTION AND PROTECTION, PART 1: VENTING , 1988 .