| 一种安全关键软件系统的形式化开发模型 |
| |
| 引用本文： | 王海峰,张仲义.一种安全关键软件系统的形式化开发模型[J].铁路计算机应用,2002,11(10):10-12. |
| |
| 作者姓名： | 王海峰 张仲义 |
| |
| 作者单位： | 北方交通大学电子信息工程学院%北方交通大学自动化系统研究所 |
| |
| 摘 要： | 形式化方法的主要研究对象是计算机系统的设计和验证.近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统.论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例.
|
| 关 键 词： | 软件 安全关键 形式化 开发方法 |
| 收稿时间： | 2002-10-15 |
| 修稿时间： | 2002年7月18日 |
A Development Model for Safety Critical Software |
| |
| WANG Haifeng.A Development Model for Safety Critical Software[J].Railway Computer Application,2002,11(10):10-12. |
| |
| Authors: | WANG Haifeng |
| |
| Abstract: | Based on formal method, the development method of safety critical software is deeply discussed in the paper. First, concepts of safety critical system and formal method are introduced, and then the strongpoints of formal methods are analyzed. then a new developed model-SCSM(Safety Critical Software Model) is proposed, which can resolve the safety problem effectively. At last, we present an application. |
| |
| Keywords: | software safety-critical formalization developed method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《铁路计算机应用》浏览原始摘要信息 |
| 点击此处可从《铁路计算机应用》下载免费的PDF全文 |
