1. General information and definitions

This first part presents the various concepts characterizing the dependability of computer systems. Our aim is to describe a minimal, coherent set of concepts that will enable us to grasp the problem and better understand the different solutions often implemented in products on the market. This section is based on the article [R 7 595] , ref. [41] giving a more complete set of definitions concerning the dependability of computer systems, and on the article [AG 4 670] , ref. [42] detailing a wide...