铁路信号域形式化方法地研究.pdfVIP

铁路信号域形式化方法的研究 张磊 吴芳美 (同济大学电子与信息工程学院，上海200331) 摘要：铁路信号系统作为安全关键系统，它的失效可能带来灾难性的后果或重大经济损失， 因此，安全关键系统的软件开发对可靠性和安全性的要求非常苛刻。而需求分析及描述是软 件生命周期的一个重要环节，它所确立的系统逻辑模型是设计和实现目标系统的基础。本文 提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法，希望代替以往继电器接 点电路表示的逻辑关系处理方式。 关键词：形式化方法：知识表示；铁路信号：类 吖 for On formalmethod field the railwaysignal ZHANG Lei，WU Fang-mei University,Shanghai ofElectronics＆Information，Tongii200331,China) (School a critical inserious Abstract：Failureof whichis safety result railwaysignalsystem systemmay of critical havea for loss．There]fore．software developmentsafety system rigorousrequire isan of and software analysisimportantproportion period．Logic reliabilitysecurity．Requirement this isabasisof aformal modelwhichisestablished analysis design．Thispaper by presents manner method to in to relation railwaysignalknowledgereplacelogic adaptablecomputerprocess circuit． relay by disposed signal；class Keywords：formalmethod；knowledgerepresentation；railway 1．引言