A Development Model for Safety Critical Software
-
摘要: 形式化方法的主要研究对象是计算机系统的设计和验证.近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统.论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型(Safety Critical Software Model-SCSM),给出了模型的应用实例.
点击查看大图
引用本文: | 王海峰, 张仲义. 一种安全关键软件系统的形式化开发模型[J]. 铁路计算机应用, 2002, 11(10): 10-12. |
Citation: | A Development Model for Safety Critical Software[J]. Railway Computer Application, 2002, 11(10): 10-12. |