铁道通信信号
鐵道通信信號
철도통신신호
RAILWAY SIGNALLING & COMMUNICATION
2010年
4期
7-12
,共6页
唐涛%徐田华%赵林%谢雨飞%李开成
唐濤%徐田華%趙林%謝雨飛%李開成
당도%서전화%조림%사우비%리개성
CTCS-3级列控系统规范%符号模型检验%严格建模和验证
CTCS-3級列控繫統規範%符號模型檢驗%嚴格建模和驗證
CTCS-3급렬공계통규범%부호모형검험%엄격건모화험증
结合统一建模语言UML与符号模型检验SMV形式化方法,提出需求规范严格建模和验证方法.利用需求管理工具,保证了模型和规范的一致性和对规范的覆盖性,同时实现了规范验证结果对模型、转换规则和规范的跟踪.给出了CTCS-3级列控系统严格建模与验证的方法体系和流程,并以CTCS-3级列控系统需求规范中的模式转换部分为例,说明了规范的建模、验证和分析过程.
結閤統一建模語言UML與符號模型檢驗SMV形式化方法,提齣需求規範嚴格建模和驗證方法.利用需求管理工具,保證瞭模型和規範的一緻性和對規範的覆蓋性,同時實現瞭規範驗證結果對模型、轉換規則和規範的跟蹤.給齣瞭CTCS-3級列控繫統嚴格建模與驗證的方法體繫和流程,併以CTCS-3級列控繫統需求規範中的模式轉換部分為例,說明瞭規範的建模、驗證和分析過程.
결합통일건모어언UML여부호모형검험SMV형식화방법,제출수구규범엄격건모화험증방법.이용수구관리공구,보증료모형화규범적일치성화대규범적복개성,동시실현료규범험증결과대모형、전환규칙화규범적근종.급출료CTCS-3급렬공계통엄격건모여험증적방법체계화류정,병이CTCS-3급렬공계통수구규범중적모식전환부분위례,설명료규범적건모、험증화분석과정.
