自第一台计算机问世以来,硬件组件的可靠性不断提高,令人瞩目。然而,设计软件和程序变得越来越复杂,并带来越来越多的问题。仅硬件组件的可靠性不再保证计算系统所需的质量和安全性。作为这些问题的最新示例,我们可以提到 Pentium 浮点单元中众所周知的设计缺陷,该缺陷阻碍了其商业发布。然而,并不是每个人都知道,设计缺陷在任何处理器的推出中都很常见,并且通用微处理器中的许多错误甚至尚未被发现。其他一些缺陷 [Lapr98] 值得一提:在 1991 年 2 月的海湾战争中,出现了令人担忧的导弹故障报告。1992 年 11 月,伦敦救护车服务的通信系统发生故障。1993 年 6 月,法国全国连续两天没有授权信用卡交易。所有这些缺陷都经过调查并确定了其原因,但不能保证类似的事情不会在任何时候再次发生。