安全核技术在微机联锁系统中的实现

摘要：

软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新的安全故障技术的研究具有重要的意义.安全核正是应用而生的一种新的安全保障概念,棋实施技术是当前的研究热点之一.本文以研究安全核为出发点,深入分析基于反射机制的安全核实现方式以及安全策略调度问题实现的可行性和关键技术,以期为这类安全关键系统提供新的,更有效的安全保障技术支持.

关键词：联锁、安全核、反射、调度性分析

所属期刊栏目：41

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

资助基金：福建省青年科技人才创新基金2003J020;福建省自然科学基金A041004;厦门大学校科研和教改项目

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

页数：共5页

页码：296-300