一个安全并线系统的概率验证  

Probabilistic Verification of a Safe Merge System

作　　者：刘峰[1] 

机构地区：[1]吉林化工学院,信息与控制工程学院,吉林132011

出　　处：《软件》2017年第12期119-122,共4页Software

基　　金：吉林省教育厅重点项目(吉教科合字[2014]第343号)

摘　　要：本课题集中研究一个三车并道方案中的简单协议。首先通过提出总体的设想和划定系统的清晰边界来定义语言规则,然后创建参与并道过程的车辆的有限状态机,通过基于名为Zigangorov-Jelinek算法的堆栈算法的概率验证,我们检验能够提供安全和可靠通信的状态中出现错误的可能性。This study focuses the simple protocol in a three-vehicle-merging scenario. First propose an English rule by providing the general assumption and drawing the clear borderline of the system. Then create the Finite State Machines of the vehicles engaged in the merging process. Using probabilistic verification with Stack algorithm, namely Zigangorov-Jelinek algorithm, we test errors state possibilities which offer safe and reliable communication.

关 键 词：概率验证 安全并道 有限状态机 Zigangorov-Jelinek算法 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]