基于UML的车站信号软件建模

《基于UML的车站信号软件建模》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、北京交通大学硕士学位论文基于UML的车站信号软件建模姓名：李颖申请学位级别：硕士专业：交通信息工程及控制指导教师：王海峰20080601ABSTRACTABSTRACT：Railwaysignalcomputerinterlockingsystemisareal-timecontrollingsystemwhichimplementsthedemandsofrailwayinterlocking．Beingthekernelofinterlockingsystem，itcombinesthetechniquesofcommunications，re

2、liability,redundancyand‘fail—safe’．Computerinterlockingsoftwareisatypicalsafety-criticalonewhichensuresthetravelingsafetyandimprovesthetravelingefficiency．Basedontheinterlockingtheory,UMLandthemodel·drivenarchitecture，thegeneralmodelofinterlockingsystemismade．ItCandebugatthest

3、ageofdesigning,ensurethehighreliabilityandsafety．Furthermore,wevalidatethemodeltoensuretheimplementofinterlockingandcompletedebuggingofdesign．Onthebackgroundofinterlockingsystemandthetheoreticofsoftwareengineering,thethesisresearchesonthemodelingofinterlockingsystembasedonUML．

4、Ithasdonethejobsasfollowing：1．Basedontherealcomputerinterlockingsystem，itanalyzesthefunctionandrequirements．Beingassociatedwiththeentireframeworkofinterlockingsystem，thecorrespondingUMLdiagramsweremade．2．Combined丽tllthespecialtyofinterlockingsystem，thestaticmodelofstructurewas

5、analyzed．Basicsignalingequipments，includingsignal，switch，sectionandroute，weremodeledbythetransferringstatesintheviewofstaticstructure．3．Intheviewofdynamic，routeprocess，whichisthecoreofinterlockingsystem，Wasmodeled．Basedonthisfoundationandinterlockingrequirements，subsystems’mod

6、uleWasmodeledbyUMLstatechart，whichincludeselectingroute,lockingroute，clearingsignalandnormalreleasingroute．4．UsingtheownfunctionofRhapsody,animation，themodelWasdebuggedandsimulatedinthelevelofdesign．ItCanearlydiscoverfaultsandreleasethedevelopingcost．Inordertosimulate，aGUlwasb

7、uilt，whichWasmadebytheenvironmentofVisualBasic6．0．Bysuchmeasure，themodelwasdebuggedandvalidatedagainduringthemodelingperiod．Atlast，anentireinterlockingmodelwasbuiltanddebuggedtocompletetheinterlockingrequirements．Ononehand，themodelCanimprovethecommunicationbetweenspecialexpert

8、sanddevelopersandensurethereliabilityandsafetyofcomputerinter