SOA架构下补偿模型驱动安全苛求软件开发.docVIP

SOA架构下补偿模型驱动的安全苛求软件开发 摘 要：随着我国高速铁路的快速发展，传统的计算机联锁软件开发方法在灵活性、可维护性、安全性以及开发效率上都显露出不足。针对安全苛求的特点，提出了一个完整的服务组件开发模型，该模型基于soa(service oriented architecture)思想，并成功将其应用到计算机联锁软件系统开发中，进行了试验验证。结果表明，该模型不仅能提高软件的安全性，还大大提高了软件开发效率。 关键词：面向服务架构 服务组件架构 安全苛求软件 1 引言 铁路车站信号计算机联锁系统，是铁路信号的基础设备，同时也是铁路运输领域中重要的控制系统，它是以现代计算机技术、控制技术和通信技术为基础来实现对车站信号设备的联锁控制。计算机联锁软件成为了计算机联锁系统的核心，因此必须确保它对联锁逻辑的描述和安全控制的实现准确无误。而随着我国高速铁路的快速发展，对联锁软件在技术和功能上提出了新的要求。传统软件开发方法在灵活性、可维护性、软件安全性以及开发效率上都显露出不足。 计算机联锁是以计算机为主要技术手段实现车站联锁的实时控制系统。其基本任务是对车站值班员的操作命令及现场各种表示信息通过计算机进行逻辑运算，并辅以各种“故障-安全”措施。联锁系统各主要部分的功能和设置地点的划分层次结构，如图1所示。 联锁层是联锁控制系统的核心，联锁机构除了接收来自人机会话层的操作信息外