| 铁路信号域形式化方法研究 |
| |
| 引用本文： | 张磊,吴芳美.铁路信号域形式化方法研究[J].同济大学学报(自然科学版),2002,30(10):1281-1284. |
| |
| 作者姓名： | 张磊 吴芳美 |
| |
| 作者单位： | 同济大学,信息与控制工程系,上海,200092 |
| |
| 摘 要： | 铁路信号系统作为安全关键系统。它的失效可能带来灾难性的后果或重大经济损失，因此，安全关键系统的软件开发对可靠性和安全性的要求非常苛刻，而需求分析及描述是软件生命周期的一个重要环节，它所确立的系统逻辑模型是设计和实现目标系统的基础，提出了一种适合于计算机处理的铁路信号域知识的形式化表达方法，希望代替以往继电器接点电路表示的逻辑关系处理方式。
|
| 关 键 词： | 形式化方法 知识表示 铁路信号系统 安全关链系统 软件开发 |
| 文章编号： | 0253-374X(2002)10-1281-04 |
| 修稿时间： | 2002年7月30日 |
On Formal Method for Railway Signal Field |
| |
| ZHANG Lei,WU Fang-mei.On Formal Method for Railway Signal Field[J].Journal of Tongji University(Natural Science),2002,30(10):1281-1284. |
| |
| Authors: | ZHANG Lei WU Fang-mei |
| |
| Abstract: | Failure of railway signal system which is a safety critical system may result in serious loss.There-fore,software development of safety critical system has a rigorous require for reliablity and security.Requirement analysis is an important proportion of software period.Logic model which is established by this analysis is the basis of design.This paper presents a formal method adaptable to computer process in railway signal knowledge to replace logic relation manner disposed by relay circuit. |
| |
| Keywords: | formal method knowledge representation railway signal |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
