EVENT-B相关论文
需求分析在软件工程中处于非常重要的地位,为设计起指导作用,是软件工程中的一个关键过程,需求分析的正确性直接关系到所开发系统......
在当今社会中,社会信息化高速发展,每一个行业都与软件紧密相关。在开发一个软件时,首先要做的是对软件需求进行分析,而在这个分析......
随着计算机软件系统规模的日益庞大,系统的复杂性也在不断提升,设计中存在的潜在问题将会影响到软件系统的安全性和可靠性。传统的......
使用传统的开发方法对安全关键系统进行开发时,早期系统设计阶段的错误往往到开发后期的测试阶段才能检测出来,重新对系统结构进行......
Self-adaptive software (SAS) is gaining popularity as it can reconfigure itself in response to the dynamic changes in th......
对C煳的无线通信系统的故障恢复模型进行了研究，使用Event-B对C棚无线通信系统的故障恢复过程进行建模．通过证明义务对模型的逻辑正......
对C煳的无线通信系统的故障恢复模型进行了研究，使用Event-B对C棚无线通信系统的故障恢复过程进行建模．通过证明义务对模型的逻辑正......
软件工程实践中广泛采用UML作为建模语言,UML模型在演进过程中会引入UML模型一致性问题.采用Event-B形式化技术可以协助分析UML模......
软件工程实践中广泛采用UML作为建模语言,UML模型在演进过程中会引入UML模型一致性问题.采用Event-B形式化技术可以协助分析UML模......
摘 要：现有的安全关键系统开发的方法一般是在系统开发后期使用测试的方法对系统需求进行验证，这种方法一方面需要耗费大量时间与人......
Event-B通过为每个event添加环境、变量及常量等限制条件,从而细化及快速扩展系统功能,避免数据冗余问题。以账单分摊系统为例,通......
Event-B通过为每个event添加环境、变量及常量等限制条件,从而细化及快速扩展系统功能,避免数据冗余问题。以账单分摊系统为例,通......
Event-B是一种基于集合论和谓词逻辑的形式化系统语言,能够采用精化策略为系统建立逐渐精化的模型。提出了如何将Event-B应用到实......
Event-B是一种基于集合论和谓词逻辑的形式化系统语言,能够采用精化策略为系统建立逐渐精化的模型。提出了如何将Event-B应用到实......
本文结合具体的站场实例,基于Event-B方法对信号开放、道岔控制、进路解锁等联锁系统关键安全规范进行了形式化模型描述和验证分析......
本文结合具体的站场实例,基于Event-B方法对信号开放、道岔控制、进路解锁等联锁系统关键安全规范进行了形式化模型描述和验证分析......
铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利......
铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的研发,还是对联锁软件的第三方测试都是非常重要的。基于Event-B方法,利......
传统的软件架构设计一般采用非形式化的方法,通过各类图表从不同角度对系统进行描述,这种架构设计方式依赖设计者的经验知识,无法......
针对由周期行为和模式转换机制组成的实时系统提出的SPARDL需求建模语言,详细阐明了其对应的SPARDL模型的Event-B解释。通过Event-......
Group key security protocols play an important role in today’s communication systems. Their verification, however, rema......
为了确保双机热备平台满足相应的功能需求,需要对其进行功能测试。采用基于模型的测试方法,可以有效地避免人工手动生成测试中存在......
介绍了列车车载控制器系统（Vehicle On-borad controller system）的系统结构和功能,采用Event-B建模理论对VOBC的系统结构与功能模式......
描述了形式化方法的定义、目的、作用和软件开发流程。以发动机仪表盘显示布局风格需求为例,通过四变量形式化方法对需求进行形式......
安全性、可靠性是嵌入式软件的重要性质。为了更好地保证开发的嵌入式软件是可靠和安全的，提出了一种基于模型的开发方法学，包括提炼......
当今社会,混合系统在嵌入式系统开发中起着至关重要的作用。混合系统中,软件控制器控制外部环境的变化,以离散的方式由传感器规律......
随着软件复杂度的迅速增长,传统的基于测试的方法逐渐难以满足航天器操作系统的可靠性和安全性需求,形式化方法逐渐成为航天器操作......
Event-B是国外新兴的一种通过形式化方法,主要用于对系统功能性需求建模并验证,在Rodin工具集中,通过给出环境、变量、常量和相关......
移动ad hoc网络是由移动节点搭建的临时通信网络。网络中没有任何固定的基础设施和中心管理设备。因为节点可以自由移动,网络拓扑......
我国目前煤矿开采业存在机械化、自动化、信息化程度低等技术不够成熟的问题,是导致煤矿事故频发的主要因素之一。矿井机车运输作......
矿井机车无人驾驶系统在设计时具有较高的安全要求,属于典型的安全关键系统。然而,在安全关键系统软件的设计过程中,传统上基于软......
摘要：联锁系统是铁路信号系统的重要组成部分,直接关系到车站行车和作业的安全与效率。计算机联锁系统由于具有高效、智能化、易于......
自动化生产线是现代产品生产过程中一种控制系统,具有工作效率高,加工质量好,生产成本低的特点。自动化生产线通常由各种机械和电......
