The development of a commercial “shrink-wrapped application” to safety integrity level 2: The DUST-EXPERT™ story

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1698, Issue , 1999, Pages 216-225

  Clement, Tim ^a   Cottam, Ian ^a   Froome, Peter ^a   Jones, Claire ^a  

^a ADELARD LLP   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; DUST; FORMAL METHODS; SAFETY TESTING;

ADVISORY SYSTEMS; ENGINEERING COMMUNITY; ERROR DENSITY; SAFETY CASE; SAFETY INTEGRITY LEVELS; SAFETY-RELATED SYSTEMS; STATISTICAL TESTING;

SAFETY ENGINEERING;

EID: 84948954182     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48249-0_19     Document Type: Conference Paper

References (9)

1. ITT for Development of DUST-EXPERT, ITT reference: version 5, issued 13-Feb-95, HSE.
2. International Electrotechnical Commission, Functional safety of electrical/electronic/ programmable electronic safety-related systems. IEC 61508.
3. Lunn G., Guide to Dust Explosion Prevention and protection, Part 1-Venting, 2nd ed., Institute of Chemical Engineers, 1992.
4. Schoeff, R. W., News Release & Summary for 1994. Dust Explosion Statistics-USA. Europex Newsletter, May 1995.
5. Information technology-Programming languages, their environments and system software interfaces-Vienna Development Method-Specification Language-Part 1: Base language, ISO/IEC 13817-1, 1996.
6. Clement, T., The formal development of a Windows interface, Proceedings of the Northern Formal Methods Workshop, Ilkey, 1998.
7. The Procurement of Safety Critical Software in Defence Equipment, Def Stan 00-55 (Parts 1 and 2) / Issue 2.
8. Adelard, ASACD: the Adelard Safety Case Development Manual, Adelard, ISBN 095337710-5, 1998.
9. Littlewood B., Strigini, L., Validation of ultra-high dependability for software-based systems, Communications of the ACM, Vol. 36, No. 11, pp69-80, November 1993.