节点文献

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

Formal Development Method for Safety-Critical System

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 王海峰； 陈建明； 张仲义；

【Author】 WANG Hai_feng1,CHEN Jian_ming2,ZHENE Zhong_yi3(1.School of Electronics and Information Engineering;3.School of Traffic and Transportation, Northern Jiaotong University, Beijing 100044,China;2.Information Engineering Department, Armored Force Engineering Institute, Beijing 100072,China)

【机构】 北方交通大学电子信息工程学院； 北方交通大学装甲兵工程学院信息工程系； 北方交通大学交通运输学院 北京100044； 北京100072； 北京100044；

【摘要】 从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.

【Abstract】 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.

【关键词】 安全苛求； 形式化方法； 安全性； 开发方法；
【Key words】 safety_critical； formal method； safety； development method；
  • 【文献出处】 北方交通大学学报 ,Journal of Northern Jiaotong University , 编辑部邮箱 ,2002年06期
  • 【分类号】N945
  • 【被引频次】16
  • 【下载频次】237
打印本页
节点文献中：