形式化方法在核事故评价系统中的应用.pdfVIP

第26卷第3期 南华大学学报 (自然科学版) V01．26No．3 2012年 9月 JournalofUniversityofSouthChina(ScienceandTechnology) Sep．2012 文章编号 ：1673—0062(2012)03—0073一o6 形式化方法在核事故评价系统中的应用 闫仕宇，胡义香，蒋 辉 ，申 君 (南华大学 计算机科学与技术学院，湖南 衡阳421001) 摘 要：核事故评价系统针对核事故发生后第一时间对其进行评价和预测分析，软件 可靠性要求高．形式化方法具有严格数学基础，是软件开发最为重要的理论工具．本 文首先用UML对系统进行分析建模 ，采用形式化语言对系统功能进行严格规约描 述，提高系统开发的可靠性． 关键词：形式化；Z语言；UML；需求分析 中图分类号：TP391．41 文献标识码 ：B Application ofFormalSpecificationtoEvalution System forNuclearAccident YAN Shi-yu，HU Yi-xiang，JIANG Hui，SHENJun (SchoolofComputerScienceandTechnology，UniversityofSouthChina，Hengyang，Hunan421001，China) Abstract：Evaluationsystem fornuclearaccidentaimedtoevaluateandpredictthenuclear accidentimmediatelyafterithappened．Therequirementofsoftwarereliabilityishigh．For- mal methodbasedon thestrictmathematicistheimportanttooloftheoryinthesoftware development．ThispaperusedtheUMLtoanalyseandmodelethesystem ，thenformulated specificationdescribefunctionofsystem strictlywith thespecification language，andad— vancedthereliabilityofthesystem development． keywords：fomr alspecification；Z language；UML；requirementanalysis 科研工作者越来越清楚地认识到事故的评价和预 0 引 言 测分析的重要性，国家有关部门已经投人人力财 在核电安全生产管理领域，尽管核电厂有严 力研究和开发我国的核应急决策支持系统．核事 格的管理及纵深防御措施，但并不能完全排除发 故评价系统为了在发生核事故后能第一时间分析 生事故的可能…，如Et本福岛核电站事故．许多 计算得到事故发生地周围所受剂量，给出应急行 收稿 日期：2012—06—19 基金项目：衡阳市2011年科学与技术发展计划基金资助项目(201IKJ14)；衡阳市科技局基金资助项目(2011KG61) 作者简介：闫仕宇(1981一)，男，湖南衡阳人，南华大学计算机科学与技术学院讲师，硕士．主要研究方向：计算数学， 软件开发形式化． 74 南华大学学报 (自然科学版) 动计划 ，最大程度地减少事故所造成的损失而开 究的问题．本文先利用 UML进行分析建模 ，画出 发的软件系统 J．目前核事故评价系统大