Failure mode modular de-composition using spider diagrams

Electronic Notes in Theoretical Computer Science

Volumn 134, Issue , 2005, Pages 19-31

  Clark, R P ^a  

^a Research and Embedded Development Department   (United Kingdom)

Author keywords

Burner; Control; Double fault; EN298; Failsafe; Fault; Fault tolerance; Gas safety; Single fault

Indexed keywords

ACCIDENT PREVENTION; COMPUTATIONAL METHODS; COMPUTER HARDWARE; COMPUTER SYSTEM RECOVERY; CONTROL; FAULT TOLERANT COMPUTER SYSTEMS; FUEL BURNERS; GRAPH THEORY;

DAOUBLE-FAULT; EN298; FAILSAFE; FAULT; GAS-SAFETY; SINGLE FAULT;

COMPUTER SCIENCE;

EID: 18844461993     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.02.018     Document Type: Conference Paper

References (7)

1. D.C. Ince, An Introduction to Discrete Mathematics, Formal System Specification and Z, Oxford, ISBN 0-19-853836-7
2. J.A. Flower, and J. Howse Generating Euler Diagrams Proceedings of Diagrams 2002 Callaway Gardens, Georgia April 2002 Springer Verlag http://www.it.bton.ac.uk/research/vmg/VisualModellingGroup.html
3. European Standard For Gas Burner Safety Systems, European Committee for Standardisation, October 1993
4. J.A. Flower, J. Howse, and J. Taylor Nesting in Euler Diagrams http://www.cmis.brighton.ac.uk/Research/vmg/papers/GTVMT02.pdf
5. J. Howse, G. Stapleton, J. Flower, and J. Taylor Corresponding regions in Euler diagrams http://www.cmis.brighton.ac.uk/Research/vmg/papers/D2K2HSFT.pdf
6. R. Garnier and J. Taylor, Discrete Mathematics for New Technology, pp 436-447, IoP ISBN 0 7503 0135
7. F.M. Concalves, M.B. Santos, I.C. Teixeira, and J.P. Teixeira EDA Tool Development to Support the Design and Certification of Fail-Safe Products http://www.inesc-id.pt/pt/indicadores/Ficheiros/1705.pdf