设计故障

IT运行安全评估。物理故障、设计故障、恶意行为

本论文的工作是在国家科学研究中心（LAAS-CNRS）系统分析与架构实验室进行的。我首先要对我自 1988 年加入 LAAS 以来的历任董事 Alain Costes 和 Jean-Claude Laprie 先生表示深深的谢意，感谢他们的欢迎和对我的信任。我要特别感谢Jean-Claude Laprie在他负责的“容错和计算机操作安全”（TSF）小组中欢迎我加入，并指导和指导我的工作。通过与他密切合作，特别是在可靠性增长建模和具有明确操作安全性的开发模型的定义方面，我能够从他的广泛技能中受益。我很感谢他能够指导我的工作，感谢他能够给我的建议和批评，也感谢他为我提供了理想的环境来开展我的研究，并与国家和世界科学界进行交流。高水平国际化。他的活力、严谨和对完美的追求是我继续走这条道路的巨大动力。我保留对卡拉马·卡农（Karama Kanoun）的友好和荣幸的提及，因为他在我的博士论文期间指导了我的工作，并密切关注了本论文的准备工作。我们的亲密伙伴