Self-Test and Diagnosis for Self-Aware Systems
basic concepts and taxonomy of dependable and secure computing .