安全苛求系统的形式化开发方法
王海峰1
陈建明2
张仲义3
1.北方交通大学电子信息工程学院,北京,1000442.北方交通大学装甲兵工程学院信息工程系,北京,1000723.北方交通大学交通运输学院,北京,100044
摘要：从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.
关键词：安全苛求形式化方法安全性开发方法
分类号：TP302.1(计算技术、计算机技术)
论文发表日期：2002-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：4( 52-55 )
英文信息