摘要
形式化方法的主要研究对象是计算机系统的设计和验证。近年来,形式化方法的研究扩展到计算机应用系统的各个领域,尤其是安全关键系统。论述了形式化方法对安全关键软件系统的作用,提出了一种安全关键软件系统的形式化开发模型（Safety Critical Software Model-SCSM）,给出了模型的应用实例。
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.
出处
《铁路计算机应用》
2002年第10期10-12,共3页
Railway Computer Application
