都市快轨交通
都市快軌交通
도시쾌궤교통
URBAN RAPID RAIL TRANSIT
2011年
4期
22-25
,共4页
王海峰%杨旭文%刘朔%刘超
王海峰%楊旭文%劉朔%劉超
왕해봉%양욱문%류삭%류초
城市轨道交通%基于通信的列车控制%区域控制%基于模型开发%安全苛求%北京地铁亦庄线
城市軌道交通%基于通信的列車控製%區域控製%基于模型開髮%安全苛求%北京地鐵亦莊線
성시궤도교통%기우통신적열차공제%구역공제%기우모형개발%안전가구%북경지철역장선
传统的软件开发方法不能满足基于通信的列车控制(CBTC)区域控制系统(ZC)的开发需求.结合北京地铁亦庄线研究项目,介绍一种基于模型的系统开发方法,给出ZC系统的软件容错结构,阐述该系统的移动授权和列车管理功能建模方法,并从模型覆盖率分析和形式化验证两方面深入分析系统安全性保障措施.ZC系统的研究项目表明,基于模型的开发方法能够更好地保证系统的开发质量和安全性.
傳統的軟件開髮方法不能滿足基于通信的列車控製(CBTC)區域控製繫統(ZC)的開髮需求.結閤北京地鐵亦莊線研究項目,介紹一種基于模型的繫統開髮方法,給齣ZC繫統的軟件容錯結構,闡述該繫統的移動授權和列車管理功能建模方法,併從模型覆蓋率分析和形式化驗證兩方麵深入分析繫統安全性保障措施.ZC繫統的研究項目錶明,基于模型的開髮方法能夠更好地保證繫統的開髮質量和安全性.
전통적연건개발방법불능만족기우통신적열차공제(CBTC)구역공제계통(ZC)적개발수구.결합북경지철역장선연구항목,개소일충기우모형적계통개발방법,급출ZC계통적연건용착결구,천술해계통적이동수권화열차관리공능건모방법,병종모형복개솔분석화형식화험증량방면심입분석계통안전성보장조시.ZC계통적연구항목표명,기우모형적개발방법능구경호지보증계통적개발질량화안전성.
