对铁路信号形式方法的研究  

作　　者：丁勇[1] 

机构地区：[1]金堆城钼业股份有限公司,714102

出　　处：《科技与企业》2013年第13期121-121,124,共2页Science-Technology Enterprise

摘　　要：铁路信号系统属于安全关键系统所谓安全关键系统是指系统的失效往往引起重大的生命、财产损失的系统。近年来由于计算机在铁路信号领域的广泛应用,并且随着硬件可靠性的提高,实现各种复杂功能的软件质量对系统的安全性影响随之增大提高软件可靠性和安全性成为开发安全关键系统的聚焦点软件开发过程就是把现实世界的需求反映成软件的模型化过程由于软件系统的大规模化、复杂化,需求变更频繁,使得模型化过程越来越困难,目前解决这种困难的方法之一是需求的形式化描述.

关 键 词：形式 铁路 信号 

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