More and more delicate missions are being handled by automated systems : life-critical (e.g. health, automotive or aeronautics), mission critical (e.g. space missions, sensor networks), business-critical (e.g. e- government or business systems). We ensure that such systems are available and behave as expected, which is challenging in view of their high complexity, their highly parallel or distributed execution, the presence of failures or attacks, operated into harsh environments, maintenance needs, etc. Also, privacy and trust issues are of outmost importance and should be tackled at all levels (hardware, networks, software, cryptography).