SAFECOMP has contributed to the progress of the state-of-the-art in dependable applications of computers in safety-related and safety-critical systems.