计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2013年
3期
1-6
,共6页
管爱爱%邱昕夕%王东%陈祥献%黄海%刘济全
管愛愛%邱昕夕%王東%陳祥獻%黃海%劉濟全
관애애%구흔석%왕동%진상헌%황해%류제전
城市轨道交通%列车自动防护%应用软件%接口模型%状态模型%控制流模型
城市軌道交通%列車自動防護%應用軟件%接口模型%狀態模型%控製流模型
성시궤도교통%열차자동방호%응용연건%접구모형%상태모형%공제류모형
urban rail transit%Automatic Train Protection(ATP)%application software%interface model%status model%control flow model
列车自动防护系统是保证列车运行安全的安全苛求系统,该系统功能繁多、逻辑复杂、开发难度大.为此,提出一种基于模型的软件开发方法,采用接口模型、状态模型和控制流模型描述该系统软件的功能,实现应用软件的开发.仿真测试结果表明,该方法能有效简化功能逻辑,降低开发难度,减少人为错误和故障的引入.
列車自動防護繫統是保證列車運行安全的安全苛求繫統,該繫統功能繁多、邏輯複雜、開髮難度大.為此,提齣一種基于模型的軟件開髮方法,採用接口模型、狀態模型和控製流模型描述該繫統軟件的功能,實現應用軟件的開髮.倣真測試結果錶明,該方法能有效簡化功能邏輯,降低開髮難度,減少人為錯誤和故障的引入.
열차자동방호계통시보증열차운행안전적안전가구계통,해계통공능번다、라집복잡、개발난도대.위차,제출일충기우모형적연건개발방법,채용접구모형、상태모형화공제류모형묘술해계통연건적공능,실현응용연건적개발.방진측시결과표명,해방법능유효간화공능라집,강저개발난도,감소인위착오화고장적인입.
