1、PLC design criteria
A systematic approach to designing PLC software can overcome deficiencies in the traditional way of programming manufacturing control systems, and can have wide ramifications in several industrial applications. Automation control systems are modeled by formal languages or, equivalently, by state machines. Formal representations provide a high-level description of the behavior of the system to be controlled. State machines can be analytically eva luated as to whether or not they meet the desired goals. Secondly, a state machine description provides a structured representation to convey the logical requirements and constraints such as detailed safety rules. Thirdly, well-defined control systems design outcomes are conducive to automatic code generation- An ability to produce control software executable on commercial distinct logic controllers can reduce programming lead-time and labor cost. In particular, the thesis is relevant with respect to the following aspects.
In modern manufacturing, systems are characterized by product and process innovation, become customer-driven and thus have to respond quickly to changing system requirements. A major challenge is therefore to provide enabling technologies that can economically reconfigure automation control systems in response to changing needs and new opportunities. Design and operational knowledge can be reused in real-time, therefore, giving a significant competitive edge in industrial practice.
Studies have shown that programming methodologies in……
…………
1、PLC的設(shè)計標準
一個系統(tǒng)化的設(shè)計 PLC程序的方法可以克服傳統(tǒng)程序生產(chǎn)控制系統(tǒng)的缺點，并且在一些工業(yè)應(yīng)用總有很大的不同。自動控制系統(tǒng)是狀態(tài)模型用公式語言或等價的語言描述的。公式描述對被控制的系統(tǒng)的行為提供一個精確的描述?？梢酝ㄟ^分析估計看狀態(tài)模型是否達到想要的目標。第二，為狀態(tài)模型的描述提供結(jié)構(gòu)描述，這個結(jié)構(gòu)描述可以說明邏輯要求和如細節(jié)安全規(guī)則的限制。第三，好的控制系統(tǒng)設(shè)計是對自動控制代碼生成有益的——一種能夠產(chǎn)生可執(zhí)行的控制軟件的能力，不同的邏輯控制器可以減少程序掃描時間和執(zhí)行那個時間。特別的，這個主題與隨后的部分的是有關(guān)的。
在現(xiàn)代制造業(yè)中，系統(tǒng)是用過程和結(jié)果的革新來描述的，并且因此不得不改變系統(tǒng)性能以快速做出反應(yīng)。因此，一個大的挑戰(zhàn)是提供技術(shù)以限制自動控制系統(tǒng)對變化需要和新機會的反應(yīng)，所以，設(shè)計和操作知識可以實時的被再次利用，在工業(yè)實踐中提供了一個重要的競爭面。
研究表明，在自動化系統(tǒng)中，程序?qū)崿F(xiàn)的方法已經(jīng)與計算機資源應(yīng)用的急速增長不能匹配。例如，可編程邏輯控制器（ＰＬＣ）程序仍然依靠一種方便的有邏輯梯形圖的程序?qū)崿F(xiàn)模式。結(jié)果，程序上的延遲和資源成了生產(chǎn)工業(yè)過程的主要絆腳石。在可編程邏輯控制器程序設(shè)計過程中，測試和調(diào)試可能會占用超過百分之五十的人力。在發(fā)展和傳播“ＳＴＡＴＥ－ＯＦ－ＴＨＥ－ＡＲＴ”已經(jīng)形成標準[IEC 60848, 1999; IEC-61131-3, 1993; IEC 61499, 1998; ISO 15745-1, 1999]，但是，基本上這些標準都不能參與有效的程序和系統(tǒng)設(shè)計方面知識的革新。
……
……
通信：
* 通過相應(yīng)的協(xié)議原件與高級或附屬自動控制單元進行通信
* 為數(shù)據(jù)流自動選擇路徑
* 優(yōu)先基本數(shù)據(jù)的傳輸(優(yōu)先級控制)
* 為每個聯(lián)檢站設(shè)立自己的循環(huán)緩沖器和處理信息(數(shù)據(jù)保持)
* 為冗余通信提供路徑
與對方站的冗余進行通信
* 通過撥號上網(wǎng)方式對特殊應(yīng)用實施特殊功能
為可進行冗余的站點進行測試
具有處理功能的外圍設(shè)備：
* 通過Ax 1703 外圍設(shè)備串口總線自發(fā)地將信息傳輸?shù)酵鈬O(shè)備單元
自動控制功能：
* 通過CAEX+按照IEC 61131-3協(xié)議創(chuàng)建的可自由定義的擁有開閉環(huán)控制功能的用戶程序
512KB 的用戶程序空間
大約50000 個可變信號源,2000 個常用信號源
10ms 的循環(huán)時間
網(wǎng)上測試
可隨時下載
* 冗余的開閉環(huán)功能控制
通過冗余線路進行同步
通過Ax 1703外圍設(shè)備串口總線在開閉環(huán)控制功能與外圍接口單元之間不斷傳輸處理信息。
17頁