基于模型安全相关系统仿真方法的研究和的应用

《基于模型安全相关系统仿真方法的研究和的应用》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、浙江大学硕士学位论文摘要随着计算机技术的快速发展，计算机被越来越多地用于安全相关系统的开发中，而安全相关系统通常被应用在铁路、航空航天、军事、工业控制等对安全性要求严格，与人民的生命财产安全息息相关的领域中，其特殊的应用领域和安全特性要求我们必须对安全相关系统进行有效、深入的研究，使它们能够有效地为经济社会的发展服务。基于通信的列车运行控制系统(CBTC)就是一种典型的安全相关系统，本文以CBTC系统为例来探求安全相关系统的研究方法。CBTC系统的结构和功能非常复杂，当前国内还没有自主研发的产品。随着城市规模的扩大和城市人口的激增，发展城市轨道交通，开发适

2、合中国国情和路情的CBTC系统已经迫在眉睫，成为解决日益严重的城市交通问题的唯一途径。本文将基于模型的仿真方法应用到CBTC系统的自主研发中，基于CBTC系统的模型利用仿真方法建立一个仿真测试平台，对自主研发的CBTC系统进行集成和测试验证，并给出了完整的研究方法。论文的主要工作如下：1．介绍课题的研究背景，阐述进行CBTC系统自主研发的必要性，阐述利用基于模型的仿真方法来建立CBTC仿真测试平台的目的和意义。2．详细介绍了开发CBTC仿真测试平台所涉及到的技术。3．通过对CBTC系统进行抽象和分析，建立仿真模型，并进行模块划分。然后，对各模块的功能进行简

3、要的介绍。4．通过建模和仿真技术相结合的方法实现CBTC仿真测试平台各模块的功能，从而构建CBTC仿真测试平台。5．利用构建的CBTC系统仿真测试平台对自动列车防护(ATP)软件的安全功能进行测试和验证，测试实验的结果说明：在安全相关系统的自主研发阶段，利用基于模型的仿真方法对其进行深入的研究是一种有效的手段。关键词：安全相关系统，模型，仿真，CBTC系统，仿真测试平台H浙江大学硕士学位论义AbstractWiththerapiddevelopmentofcomputertechnology,computersaremoreandmoreusedink、t

4、hedevelopmentofsafety-relatedsystems．Andthesesystemsareusuallyappliedintherail，r'●‘Iaerospace，military,industrialcontrolandotherfieldsthatmusthavestrictsafetyrequirementsandbecloselyrelatedtOpeople’Slivesandproperty．Thespecialsafetyfeaturesandapplicationfieldsofthesesystemsrequire

5、thateffectiveandin-depthstudyofthesafety·-relatedsystemmustbemadeonthem，SOthattheycanmakecontributionstotheeconomicandsocialdevelopment．Communicationsbasedtraincontrolsystem(CBTC)isatypicalsafety-relatedsystem．Inthispaper,theCBTCsystemisusedasanexampletoexploretheresearchmethodofs

6、afety-relatedsystems．ThestructureandfunctionofCBTCsystemareverycomplex．Untilnow，self-developedproductsarenotexistedinthedomestic．Withtheexpansionofthecityandthesurgeinurbanpopulation，thedevelopmentofurbanrailtransitandCBTCsystemssuitableforChina’Snationalconditionsandtheroadsituat

7、ionisimminentandhasbecometheonlywaytosolvetheincreasinglyseriousurbantrafficproblems．Thispaperappliesthemodel—basedsimulationmethodtotheindependentresearchanddevelopmentoftheCBTCsystem．BasedontheCBTCmodelandusingsimulationmethods，asimulationtestbenchisestablishedfortheintegration，

8、testingandvalidationoftheself-dev