COM+定义了标准构建软件组件的方法,组件对象模型(Component Object Model COM+)具有快速开发、高可靠性和可扩展性好等优点。在介绍CTCS-3列车控制系统和COM+的基础上,构建了CTCS-3级列车控制系统仿真平台的模块功能结构,论述各模块运...COM+定义了标准构建软件组件的方法,组件对象模型(Component Object Model COM+)具有快速开发、高可靠性和可扩展性好等优点。在介绍CTCS-3列车控制系统和COM+的基础上,构建了CTCS-3级列车控制系统仿真平台的模块功能结构,论述各模块运行的平台配置、仿真运行、数据记录及数据分析三大阶段的作用,以及仿真平台的整体结构与实现步骤。展开更多
本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的...本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。展开更多
文摘COM+定义了标准构建软件组件的方法,组件对象模型(Component Object Model COM+)具有快速开发、高可靠性和可扩展性好等优点。在介绍CTCS-3列车控制系统和COM+的基础上,构建了CTCS-3级列车控制系统仿真平台的模块功能结构,论述各模块运行的平台配置、仿真运行、数据记录及数据分析三大阶段的作用,以及仿真平台的整体结构与实现步骤。
文摘本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。
