操作系统安全分析方法探讨

摘要

铁路信号控制系统越来越多地采用通用的操作系统来实现系统的实时控制、资源管理等功能。目前铁路信号产品设计遵循的CENELEC标准中,并未针对操作系统提出具体的分析方法。描述一种在安全控制系统中使用操作系统的分析方法以供探讨。