【摘 要】
：
提出了一套适用于城市轨道交通CBTC系统安全软件开发的形式化方法,包括软件需求形式化描述、软件形式化建模和软件设计形式化验证。以TRANAVI型CBTC系统区域控制器（ZC）通用应用
论文部分内容阅读
提出了一套适用于城市轨道交通CBTC系统安全软件开发的形式化方法,包括软件需求形式化描述、软件形式化建模和软件设计形式化验证。以TRANAVI型CBTC系统区域控制器（ZC）通用应用软件为例,说明该套方法在安全苛求系统开发中的应用。实践证明：该方法可以有效避免传统开发方法中由于需求定义不精确、需求/设计不一致等造成的软件失效问题,对于提升安全软件开发质量,降低项目后期风险有很大帮助。
其他文献
随着新课程标准改革的不断深化与推广,传统的初中生物教学方式已经不能够满足初中学生对于生物这门学科的学习需求了,我们要对初中生物教学方式及手段进行相应的改变,以适应
作为皮肤肿瘤中恶性程度最高的瘤种,黑色素瘤(Melanoma)具有发病率高,易转移等特点,并呈逐年递增之趋势。然而目前对其并无特效药物,只能采用手术对其进行治疗。作为新药开发
由于中英两种语言的差异和中西方思维方式的不同 ,许多人认为英语幽默不但不幽默 ,而且晦涩难懂。笔者从语用学的角度对某些英语会话幽默的产生进行分析 ,希望对增强英语幽默
目的总结分析咽旁神经源性肿瘤的CT、MR1影像特征。方法回顾性分析经病理证实的咽旁神经鞘瘤、神经纤维瘤58例CT、MRI影像表现。结果咽旁神经鞘瘤42例,增强31例呈明显强化,11
微生物电化学技术能同时实现污染物去除和能量回收,但存在污染物去除种类有限及产能效率低的局限,近几年将可再生的太阳能引入微生物电化学技术的微生物-光-电化学耦合技术应
股权质押是近年来新兴的一种融资担保方式,该行为会对被质押公司的财务政策产生较大的影响,作为财务政策重要组成部分的现金股利政策必然受其影响。文章通过对雅戈尔公司的案
伴随着社会信息技术的发展,计算机技术在人们的生活中应用越来越广泛,所以初中信息技术教学要运用生活化的教学方式,将信息技术与生活紧密联系起来,充分利用学生生活中的资源
为提高我军后勤装备科学管理水平,在剖析后勤装备管理存在问题的基础上,针对ERP系统的特点,从推进系统一体化、突出全过程管理,实现功能集成化、强调全要素管理,发挥地方优势
为适应经济全球化和全球性企业集团迅速扩张竞争的需要,很多大型煤炭企业纷纷进行战略重组,形成了一批有一定经济规模和技术水平的煤炭企业集团。通过对战略重组后的煤炭企业