安全攸关软件系统及其质量保障

在国民经济和国防建设中广泛存在着这样一类系统,它们的运行直接关系到公众的生命、社会财产和国家安全.一旦系统失效,将会导致重大人员伤亡或财产损失,甚至产生灾难性的后果,造成不可接受的社会影响.例如,轨道交通运行控制、核电安全控制、航空/航天飞行控制、汽车电控、军事指挥与武器装备,以及医疗电子系统等.通常人们把这类系统称为"安全攸关系统".随着计算机和电子设备在安全攸关系统中的应用,越来越多的安全功能由软件来承载,我们称这类具有重要功能的软件为安全攸关软件系统.这类软件的质量要求非常苛刻,要求开发者必须采取特殊的技术措施,以保证软件的安全性和可靠性,因此开发成本极其昂贵.