【摘要】 <正> 1 引言安全关键系统指系统运行出错将造成严重的财产,甚至人员损失的计算机系统,这类系统广泛存在于航空航天、国防、交通运输、能源和医疗卫生等诸多领域中。近年来的研究数据显示,随着用户需求日趋复杂,计算机硬件可靠性的不断提高,计算机系统70％以上的错误来自于软件。因此,软件的可靠性已经成为系统可靠性的决定因素。防危性是计算机系统可靠性的重要组成部分,由于安全关键系统出错后果的严重性,用户对其防危性有着极其严格的要求。更多还原

【Abstract】 In safety-critical system, how to avoid the improper or illegal requirements of accessing and operating system devices come from application software is an important problem, and safety kernel is one of the solutions. Safety kernelverifies the requirements of device access and operation to filter the illegal, make devices running correctly. This paper presents a metaobject approach to safety kernel. With the support of object orient programming language, this paper structures safety kernel with an open framework, in the premise of assuring the dependability of safety kernel- At the same time, metaobject helps safety kernel to improve its extensibility, flexibility, and portability.更多还原