功能安全分析相关论文
阐述一种基于数据流的结构化功能安全分析方法,应用FTA、FMEA和HAZOP等经典分析手段,面向安全苛求系统进行危害识别和原因分析。对......
根据CTCS-1级列控系统总体设计方案，以安全控制为核心，结合系统理论事故模型和控制过程提出多层STAMP模型与相应的安全分析方法。利......
本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件......
基于通信的列车运行控制(Communication Based Train Control, CBTC)是我国轨道交通信号领域中的新技术,其系统结构与功能复杂,软......
功能安全分析是在系统生命周期的设计阶段通过危害识别和初步风险分析预测系统中存在的不安全因素,再通过风险控制措施的选项分析......
产品线的应用提高了生产率,降低了生产成本,缩短了产品投放市场的时间。产品线工程的关键是有计划的,可以实现的复用。产品线的共......
本文给出CTCS-3级列控系统中组件控制行为的形式化定义，并针对控制行为的时序关系，提出控制行为时序逻辑。以此时序逻辑为基础，给出控......
