一种安全关键软件系统的形式化开发模型

王海峰, 张仲义. 一种安全关键软件系统的形式化开发模型[J]. 铁路计算机应用, 2002, 11(10): 10-12.

引用本文:

王海峰, 张仲义. 一种安全关键软件系统的形式化开发模型[J]. 铁路计算机应用, 2002, 11(10): 10-12.

A Development Model for Safety Critical Software[J]. Railway Computer Application, 2002, 11(10): 10-12.

Citation:

A Development Model for Safety Critical Software[J]. Railway Computer Application, 2002, 11(10): 10-12.

A Development Model for Safety Critical Software

摘要: 形式化方法的主要研究对象是计算机系统的设计和验证.近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统.论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例.

用微信扫码二维码

分享至好友和朋友圈