Event-B方法相关论文
随着信息技术的发展，计算机网络正以惊人的速度向各个领域渗透，它帮助人们可以在虚拟世界里从事越来越多的复杂活动。然而，网络在为人......
在当今互联网时代,社会信息化飞速发展,大部分行业都不断提高信息化水平。在准备开发一个软件时,根据软件工程的思路需要对系统的......
随着我国铁路的迅速发展,对列车运行安全性的要求越来越高。采用Event-B形式化建模方法研究了高速列车安全距离控制形式化验证问题......
人工编制联锁表难以保证联锁表的准确性,而且单纯依靠人工检查联锁表中每个表项的正确性也是一项非常繁琐的工作。文章针对目前存......
随着软件精化验证方法以及Isabella/HOL、VCC等验证工具不断取得进展,研究者们开始采用精化方法和验证工具设计、建模安全协议和验......
设计对指定类型的网络攻击具有防御能力的安全协议,通常是一项重要且具有挑战性的任务。即使知道安全协议容易受到某种攻击,对其进......
针对铁路移动闭塞系统中高速列车间隔动态实时变化的特征,结合Agent理论对EventB方法中Machine动态属性进行改进,提出一种基于Ev......
Event-B共享变量和共享事件方法可将大型系统分解成多个子系统,并独立建模开发,但其需要手工干预以实现模型间事件的组合。为提高......
基于计算机联锁系统是一个对列车行驶系统提供安全条件的系统，车站联锁系统是保证车站行车安全和提高运输效率的典型安全苛求性系统......
形式化软件工程是软件工程的重要组成部分。Event—B方法是一种软件形式化开发方法，Rodin是支持Event—B方法的开放工具集。基于Eve......
