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

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

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