安全苛求系统的形式化开发方法  

Formal Development Method for Safety-Critical System

作　　者：王海峰[1] 陈建明[2] 张仲义[3] 

机构地区：[1]北方交通大学电子信息工程学院,北京100044 [2]北方交通大学装甲兵工程学院信息工程系,北京100072 [3]北方交通大学交通运输学院,北京100044

出　　处：《北方交通大学学报》2002年第6期52-55,共4页Journal of Northern Jiaotong University

摘　　要：从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.Based on formal method, the development method of safety critical system(SCS) is deeply discussed in the paper. First, concepts of safety critical system and formal method are introduced, and then the strong points of formal methods are analyzed. then a new develop model_FDM(Formal Development Model) is proposed, which can resolve the safety problem effectively. At last, we present an application of SCS.

关 键 词：安全苛求系统 形式化方法 开发方法 系统开发 形式化开发模型 计算机安全 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]