基于UML的CBTC系统区域控制器的建模与安全性验证

《基于UML的CBTC系统区域控制器的建模与安全性验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、北京交通大学硕士学位论文基于UML的CBTC系统区域控制器的建模与安全性验证姓名：杨旭文申请学位级别：硕士专业：交通信息工程及控制指导教师：王海峰20080501ABSTRACTTheCommunication-BasedTrainControl(CBTC)systemisanadvancedtraincontrolsystemwhichmakesuseofbi··directionalandbig·-capacitydigitalcommunicationbetweenwaysideandtrain，totransfertheinformationofthest

2、atusofthetrain，aswellasthecontrollinginformation．CommunicationBasedTrainControl(CBTC)isthetrendofurbanrailwaytrafficcontrolsysteminthefuture．ZoneController(ZC)playesancoreroleinCBTCsystem，haveveryhighrequesttotherationalityandsafetyoftheapplicationsoftwaredesign．Inthepaper,thegeneralp

3、rincipleandstructureofZCdevicewasintroduced，accordingtothesafetycriticalsystemdevelopmentframework,fromtheperspectiveofthefunctionalrequirement，combinedwiththesecurityrequirementofsecuritycomputerplatform，accomplishedthefunctionpartitionofZCapplicationsoftware．Thencarriedonthedesignof

4、applicationsofewarewhichbasedontheblueprintmethod，incamatedthecharacteristicsofthestructuraldesign．Inthispaper,theUnifiedModelingLanguage(UML)andthereal—timeembeddedsoftwaredevelopmentRhapsodywasbroughtintobuildthemodelofZoneControllerinCBTCsystem．AfterdescribesthemodelofZoneControlle

5、rapplicationsoftware，thenaccuratelydescribesthefunctionmoduleswhichplayakeyroleinZoneControllersubsystem，improvetheoverallfunction．Throughtheformalmodelingandanalysis，theeffectivelyeliminatestheexistingcontradictionsandtheambiguityinthesystemoriginaldesign．Throughtheformalizedmodeling

6、andanalysis，ensurethattheZoneControllerapplicationsoftware’Sdesignmeetsfuncationalrequirementsandsecurityrequirement．AftertheUMLmodelbeingestablished，themodelwillbeimportedintoSafety-CriticalApplicationDevelopmentEnvironment(SCADE)toearlyontherelatedsecurityverificationtothedesignofZo

7、neControllerapplicationsoftware．Bymeansofthesimulation，formalverificationandModelTestCoverage，verifythesafetyofthedesign，thecomletenessofthefunctionandthemodelcoveragedegree，providedthetheoreticalbasisforthedesignofZoneControllersubsystem，meanwhilethereferenceandtheinstructiontoimprov

8、ethed