论文部分内容阅读
针对现有建模方法不能同时满足铁路信号系统安全关键软件安全功能和安全性能建模的需求,在建模语言SyncCharts的状态和变迁中增加转移频数和失效后果严重度2个参数,提出频率风险SyncCharts建模方法。定义频率风险状态转移图,在此基础上给出频率风险SyncCharts的定义、约束条件和宏步规则;依据将频率风险SyncCharts结构转化为马尔可夫决策过程（MDP）结构的规则,给出将频率风险SyncCharts转化为MDP的算法;通过MDP的模型分析方法实现频率风险SyncCharts的模型分析。以铁路