【摘要】 从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(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.更多还原