基于O-MaSE的列控系統(tǒng)仿真測(cè)試管理器分布式架構(gòu)的建模與驗(yàn)證.pdf

1、仿真測(cè)試是保證CTCS-3級(jí)列控系統(tǒng)的功能、性能和故障。安全性符合系統(tǒng)需求規(guī)范的重要手段之一。
　　本文針對(duì)如何改進(jìn)和提高CTCS-3級(jí)列控系統(tǒng)仿真測(cè)試平臺(tái)的仿真測(cè)試手段和質(zhì)量等問題，以多Agent系統(tǒng)為理論背景，利用O-MaSE建模方法描述和構(gòu)建了仿真測(cè)試平臺(tái)的總體架構(gòu)模型；并以平臺(tái)核心模塊仿真測(cè)試管理器為例，提出了基于O-MaSE的仿真測(cè)試管理器分布式架構(gòu)模式。
　　論文首先利用O-MaSE建模工具Agent Tool對(duì)

2、其需求進(jìn)行分析，將CTCS-3級(jí)列控仿真測(cè)試平臺(tái)總體目標(biāo)劃分為若干子目標(biāo)并進(jìn)行映射關(guān)聯(lián)，從而降低了平臺(tái)的系統(tǒng)分析復(fù)雜度；同時(shí)將平臺(tái)組織化并分配對(duì)應(yīng)于目標(biāo)的子任務(wù)，形式化表述了組織化的內(nèi)部結(jié)構(gòu)特性，設(shè)置完成相應(yīng)任務(wù)的角色模型，將關(guān)聯(lián)角色組裝成為主體，再對(duì)主體的架構(gòu)分析進(jìn)行分布式部署。
　　其次開展了以主體扮演角色——角色具備能力——能力提供服務(wù)——服務(wù)完成任務(wù)——任務(wù)達(dá)成目標(biāo)為思路的模型設(shè)計(jì)，提出了CTCS-3級(jí)列控系統(tǒng)仿真測(cè)試平臺(tái)