[發明專利]聯鎖系統PLC代碼的生成方法有效
| 申請號： | 201110457511.2 | 申請日： | 2011-12-30 |
| 公開（公告）號： | CN102541562A | 公開（公告）日： | 2012-07-04 |
| 發明（設計）人： | 徐田華;曹妍;魯秋子 | 申請（專利權）人： | 北京交通大學 |
| 主分類號： | G06F9/44 | 分類號： | G06F9/44 |
| 代理公司： | 北京路浩知識產權代理有限公司 11002 | 代理人： | 王瑩 |
| 地址： | 100044*** | 國省代碼： | 北京;11 |
| 權利要求書： | 查看更多 | 說明書： | 查看更多 |
| 摘要： | |||
| 搜索關鍵詞： | 聯鎖 系統 plc 代碼 生成 方法 | ||
【權利要求書】：
1.一種聯鎖系統PLC代碼的生成方法，其特征在于，包括步驟：
A、根據實際鐵路的運營需求設置符合模型到模型轉換語言QVT語法的聯鎖表元模型到擴展聯鎖表元模型的轉換規則；
B、根據PLC模型的轉換要求設置符合QVT語法的擴展聯鎖表元模型和聯鎖進路邏輯元模型到PLC元模型的轉換規則；
C、根據PLC代碼的轉換要求設置基于模型到文本轉換語言MOFScript語法的PLC模型到PLC代碼的轉換規則。
2.根據權利要求1所述的聯鎖系統PLC代碼的生成方法，其特征在于，所述聯鎖表元模型用來描述聯鎖表語法和靜態語義；
所述擴展連鎖表元模型用來描述在聯鎖表模型中添加的后續PLC代碼所需的寄存器和計時器狀態變量的語法和靜態語義；
所述聯鎖表模型用來建立符合聯鎖表語法和語義要求的車站聯鎖表模型。
3.根據權利要求1所述的聯鎖系統PLC代碼的生成方法，其特征在于，所述PLC元模型用來描述PLC代碼的語法和靜態語義；
所述PLC模型為聯鎖系統代碼的模型；
所述聯鎖進路邏輯模型用于描述聯鎖系統進路申請、進路建立和進路解鎖邏輯的UML狀態機圖。
4.根據權利要求1-3中任一項所述的聯鎖系統PLC代碼的生成方法，其特征在于，所述QVT的運行環境是基于CPN的模型轉換引擎，用于實現聯鎖表模型到擴展聯鎖表和PLC模型的轉換。
下載完整專利技術內容需要扣除積分，VIP會員可以免費下載。
該專利技術資料僅供研究查看技術是否侵權等信息，商用須獲得專利權人授權。該專利全部權利屬于北京交通大學，未經北京交通大學許可，擅自商用是侵權行為。如果您想購買此專利、獲得商業授權和技術合作，請聯系【客服】
本文鏈接：http://www.szxzyx.cn/pat/books/201110457511.2/1.html，轉載請聲明來源鉆瓜專利網。
