| 安全苛求系统的形式化开发方法 |
| |
| 引用本文： | 王海峰,陈建明,张仲义. 安全苛求系统的形式化开发方法[J]. 北京交通大学学报(自然科学版), 2002, 26(6): 52-55. DOI: 10.3969/j.issn.1673-0291.2002.06.013 |
| |
| 作者姓名： | 王海峰 陈建明 张仲义 |
| |
| 作者单位： | 1. 北方交通大学电子信息工程学院,北京,100044;2. 北方交通大学装甲兵工程学院信息工程系,北京,100072;3. 北方交通大学交通运输学院,北京,100044 |
| |
| 摘 要： | 从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.
|
| 关 键 词： | 安全苛求 形式化方法 安全性 开发方法 |
| 文章编号： | 1000-1506(2002)06-0052-04 |
| 修稿时间： | 2002-07-17 |
Formal Development Method for Safety-Critical System |
| |
| Abstract: | |
| |
| Keywords: | safety_critical formal method safety development method |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
