安全(Safety)内核机制的研究与实现

摘要：

@@ 1 引言
安全技术是控制系统,特别是安全关键系统必需研究的核心内容之一.随着各种计算环境的建立、应用需求的复杂化和系统结构设计的开放化,软件以其易获得、易修改等优势,正逐步成为控制系统的主角,用以处理系统内外的复杂关系,这是现代控制系统发展的显著趋势.然而,由于软、硬件故障机理的本质区别,现有的硬件及传统的软件安全可靠技术并不完全适合于处理软件故障,因此这种趋势增加了系统的安全隐患.比如,对于一般复杂度的软件,用测试的方法能使它的故障率降低到每小时10-4个,相当于一年一个.但当软件复杂度增加时,测试效果急骤下降.若采用容错、检错等综合方法也只能使软件错误率降到每小时10-5个,然而安全关键系统的故障率要求是每小时10-9个,甚至有的是每小时10-10个[1].

机标关键词：软件安全、控制系统、软件复杂度、关键系统、故障率、综合方法、硬件、系统发展、完全适合、软件故障、结构设计、安全技术、计算环境、故障机理、处理系统、测试效果、安全隐患、错误率、杂化、应用

所属期刊栏目：28

分类号：TP39(计算技术、计算机技术)

资助基金：国防技术预研基金

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：87-90