Samenvatting
Special applications of failure mode analysis, design perturbation analysis and inadvertent actuation prediction techniques are discussed under the general categories of design methods and design verification procedures of crash detectors.