安全核技术在微机联锁系统中的实现
软件的日益广泛应用逐渐改变了控制系统的故障模式,因此对新的安全故障技术的研究具有重要的意义.安全核正是应用而生的一种新的安全保障概念,棋实施技术是当前的研究热点之一.本文以研究安全核为出发点,深入分析基于反射机制的安全核实现方式以及安全策略调度问题实现的可行性和关键技术,以期为这类安全关键系统提供新的,更有效的安全保障技术支持.
联锁 安全核 反射 调度性分析 控制系统 故障模式
陈亮 黎忠文 郑建仙
厦门大学软件学院(福建厦门)
国内会议
中国自动化学会、中国仪器仪表学会2004年西南三省一市自动化与仪器仪表学术年会
成都
中文
296-300
2004-10-01（万方平台首次上网日期，不代表论文的发表时间）