basic concepts and taxonomy of dependable and secure computing .
System structure for software fault tolerance