形式化方法在核事故评价系统中的应用
Application of Formal Specification to Evalution System for Nuclear Accident作者机构:南华大学计算机科学与技术学院湖南衡阳421001
出 版 物:《南华大学学报(自然科学版)》 (Journal of University of South China:Science and Technology)
年 卷 期:2012年第26卷第3期
页 面:73-78页
学科分类:08[工学] 080203[工学-机械设计及理论] 0802[工学-机械工程]
基 金:衡阳市2011年科学与技术发展计划基金资助项目(2011KJ14) 衡阳市科技局基金资助项目(2011KG61)
摘 要:核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析,软件可靠性要求高.形式化方法具有严格数学基础,是软件开发最为重要的理论工具.本文首先用UML对系统进行分析建模,采用形式化语言对系统功能进行严格规约描述,提高系统开发的可靠性.