第6章 程序编码.pptVIP

3.实时处理软件 (1) 汇编语言 (2) Ada语言 4.系统软件 汇编语言、C语言、Pascal语言和Ada语言。 5.人工智能软件 (1) Lisp语言 (2) Prolog语言 6.5.1 冗余编程 冗余（Redundancy）是改善系统可靠性的一种重要技术。冗余是指所有对于实现系统规定功能来说是多余的那部分资源，包括硬件、软件、信息、时间。 冗余有并行冗余和备用冗余。对于一个系统，提供两套或更多的硬件，使之并行工作，这种方式称为并行冗余，也称热备用或主动式冗余。另一种情况是，如果提供多套的硬件资源，但是只有一套资源在运行，只有当它失效时，才启用备用资源，该方式称为备用冗余，也称为冷备用或被动式冗余。 使用冗余技术可以大大提高系统运行的可靠性。比如，单个元件的可靠性为80%，则它发生故障的概率为20%，如果两个元件是相互独立的并行工作，则只有当两个元件都失效时系统才会失败，系统失败的概率为4%（0.2*0.2），可靠性提高到了96%。 但是，对于软件系统不能简单照搬硬件冗余的情况。因为如果运行两个功能一样且程序一样的系统，则一个软件上的任何错误都会在另一个软件上出现。因此，在冗余软件设计时，必须由不同的人设计出功能相同，但算法和设计不同的源程序。 6.5.2 软件容错技术 软件系统的应用十分广泛，航空航天、军事、银行监管系统、交通运输系统以及其他重要的工业领域对软件的可靠