%0 Journal Article
%T A Metaobject Approach to Safety Kernel<br>基于元对象的防危核技术
%A 陈宇
%A 李琪林
%A 熊光泽
%A 幸红艳
%J 计算机科学
%D 2002
%I 
%X 1 引言安全关键系统指系统运行出错将造成严重的财产,甚至人员损失的计算机系统,这类系统广泛存在于航空航天、国防、交通运输、能源和医疗卫生等诸多领域中。近年来的研究数据显示,随着用户需求日趋复杂,计算机硬件可靠性的不断提高,计算机系统70％以上的错误来自于软件。因此,软件的可靠性已经成为系统可靠性的决定因素。防危性是计算机系统可靠性的重要组成部分,由于安全关键系统出错后果的严重性,用户对其防危性有着极其严格的要求。
%K 防危核技术
%K 元对象
%K 计算机
%K 可靠性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=B4E7BE4166804787&yid=C3ACC247184A22C1&vid=771469D9D58C34FF&iid=94C357A881DFC066&sid=09E495F616948E78&eid=B0EBA60720995721&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=14