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

• 作者: 刘峰
• 来源期刊: 软件
• 学科: 工学
• 关键词: 概率验证 安全并道 有限状态机 Zigangorov-Jelinek算法
• 年，卷（期）: 2017,（12）
• 所属期刊栏目: 基金项目论文
• 页码范围: 119-122
• 页数: 4页
• 分类号: TP312
• 字数: 2233字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-6970.2017.12.023

摘要

本课题集中研究一个三车并道方案中的简单协议.首先通过提出总体的设想和划定系统的清晰边界来定义语言规则,然后创建参与并道过程的车辆的有限状态机,通过基于名为Zigangorov-Jelinek算法的堆栈算法的概率验证,我们检验能够提供安全和可靠通信的状态中出现错误的可能性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘峰	吉林化工学院信息与控制工程学院	3	0	0.0	0.0