ControlBuild產品是自控軟件設計領域中第一個全流程的CASE解決方案,涵蓋了從設計規格說明書、設計、代碼生成、仿真校驗到實施的全部過程。
1、 設計規格說明書:可執行的規格說明書(形式化設計)
自控軟件設計的第一步是根據用戶需求完成設計規格說明書。設計說明書是后面所有工作的基礎,它的好壞直接影響到整個設計的好壞。目前國內普遍使用基于文本的工具編寫(如Word、Excel等)。但是,由于文本語言自身的特點,對于相同的文本每個人的理解經常會出現差異,基于文本的設計說明書不可避免地在用戶和設計人員之間造成歧義和誤解。這些錯誤往往要到設計的最后階段甚至到現場安裝階段才被發現,造成巨大浪費并付出重大代價。因此,如何在設計的最初始階段解決所有的歧義,充分和用戶溝通并確保設計規格說明書完全符合用戶需求就顯得極為重要。
利用ControlBuild,設計人員能夠在文本說明書的基礎上,全面使用“可執行”的說明書。所謂“可執行”,是指在設計的最開始階段,設計人員通過對用戶需求的分析,對系統進行高層設計,使用用戶熟悉的圖形化方法對系統進行分解和形式化建模。這就把基于文本的設計規格說明書可視化,同時清晰準確地和客戶溝通。對現場對象的形式化建模能夠清除在用戶需求清單中含糊不清的條款,降低在項目后期再對設計進行修改的風險。從而在設計的開始階段就避免所有的歧義、誤解和含糊不清的地方。這就是目前國際上流行的可執行規格說明書,也是目前國際上非常流行的形式化設計的一種形式。
國內有些單位也已經認識到基于文本的設計說明書的缺陷,有時在和用戶溝通的過程中也會使用Visio之類的工具畫出高層功能分解,并拿給用戶看。不過,這種做法的缺陷在于,這樣的圖形表示實際上只是一個示意性的說明,無法進行模塊間連接有效性的檢查。另一方面,這種示意圖在實際系統實現時僅能作為參考,無法與實現過程緊密結合并強制地要求實際實現與其完全一致,從而大大削弱了其實際作用。
2、設計:自頂向下、自底向上的設計方法
ControlBuild通過對高層需求的功能性分解,把整個系統逐步分解為最基本的組件,可以通過圖形化語言描述組件,完成設計。這是自頂向下的設計方法。
另一方面,在系統存在許多有共性或相同的組件,設計一個組件模板,就可以通過復制生成許多實例,像搭積木一樣把整個系統設計出來。這是自底向上的設計方法。ControlBuild支持兩種方法的混合使用。
每當做完一個組件設計,ControlBuild可以很容易地進行單元測試,確保組件的正確。另外,對由多個組件組成的復雜組件,ControlBuild能復用各單元測試的結果進行集成測試。
3、 自動設計文檔生成
在傳統的自控設計中,手工編寫設計文檔占去了設計人員相當多的時間和精力,是設計人員最不愿意做的事情之一。手工編寫設計文檔不但費時費力,更重要的是,難以不能保證所編寫的設計文檔和設計完全符合。對設計的每次更改,都會帶來設計文檔的更改甚至完全重新編寫,浪費大量精力和時間。ControlBuild自動設計文檔生成工具可以有效地解決這個難題。設計人員需要做的就是點擊一下鼠標,所有的設計都會自動生成文檔,隨時隨地。小到基本組件,大到整個系統,都可以生成用戶定制的設計文檔。當設計發生修改時,只需點擊一下鼠標就可以輕松地再次生成文檔,并保證生成的設計文檔和設計是完全一致的,節省大量編寫文檔的時間和人力。
4、 控制代碼自動生成
隨著控制代碼自動生成工具的普及,越來越多的設計人員開始放棄手工編寫控制代碼,轉向使用自動工具。設計人員通過ControlBuild圖形化軟件開發工具(IEC61131-3語言)對所開發的項目進行描述,建立整套系統的形式化模型。然后ControlBuild代碼自動生成工具就可以根據該模型生成PLC或C語言的源代碼。自動生成代碼能夠大幅提高設計品質:
n 提高代碼質量
n 提高代碼的可復用性
n 降低開發時間和成本
n 縮短調試時間
n 與設計完全吻合。如果設計更改,程序代碼保持一致
n 這是一種充分的、能夠完全被理解的系統設計方法,因為開發者的想法被自動地實現
n 在集成到目標設備之前允許在一臺主機上進行仿真,驗證更加規范和全面。
5、仿真校驗
今天,長時間的現場調試已經變得不可容忍!最終用戶給予系統集成商的時間越來越短,并且對工程延誤處以高額罰金。這就迫使自控系統集成商在現場調試之前對自控代碼設計進行校驗測試,發現并更正絕大多數設計錯誤,從而確保使用最短的現場時間完成系統的安裝調試。
很顯然,通過仿真方法建立現場對象的形式化模型,然后在此仿真環境中對自控軟件進行校驗和驗證是最自然的解決方案。當然,這樣的仿真校驗必須是在完整的仿真環境下(仿真整個生產線甚至是整個工廠環境)進行,而各硬件廠商自帶的仿真工具由于只能仿真測試單個功能塊,是無法擔此重任的,必須使用像ControlBuild這樣的先進自控軟件設計工具。
使用ControlBuild進行仿真校驗測試具有無可比擬的優點:
1、在仿真環境下校驗測試自控軟件,發現并更正絕大多數的設計錯誤,大大縮短現場安裝調試時間。從國外的經驗來看,通過仿真校驗可以將數個月的現場安裝調試時間縮短到數個星期,極大地提高了效率。
2、在仿真環境下,改變環境及生產條件,測試設計的反應
3、在仿真環境下,可以引入各種異常,失靈情況,對設計進行破壞性測試
4、在仿真環境下,虛擬機器100%可使用
5、在仿真環境下,有更多的時間去測試和修改
6、仿真環境提供了更好的工作環境,避免進入一些高危險性的場合(高溫、酸、易爆、有毒等)
7、在物理設備或系統沒有實際安裝或聯接的情況下,可以提早校驗測試、提早投產
8、系統操作員和維護人員可以提早接受培訓,提高操作維護水平。
6、透明設計:維護與升級
在目前國內傳統的設計方法中,自控系統集成商的設計對于最終用戶來說完全是“黑箱”設計。工程結束后,供應商留下的設計文檔和控制代碼往往令人難以理解,用戶變成了“瞎子”,完全不知道自己的自控系統是如何設計和運作的。這會給用戶的系統維護、系統將來的升級改造帶來巨大困難!
ControlBuild使用的是國際上流行的“透明設計”理念。自控集成商在設計過程中,采用ControlBuild進行設計,從最開始的設計規格說明書到系統實施階段全程和用戶溝通,全程對用戶透明,用戶完全知道是如何設計的,這樣對將來的系統維護和升級都極有好處。
7、全流程的自控軟件解決方案
雖然在每個設計階段都存在著若干CASE工具幫助設計人員進行設計,但對于一個完整的設計流程來說,設計人員往往需要掌握和使用多個工具,這顯然不能令人滿意。
這也就是為什么ControlBuild這個全流程的解決方案自然會成為設計人員的最愛的重要原因之一。ControlBuild全流程的設計工具涵蓋了從設計規格說明書、設計、代碼生成、仿真校驗、到系統實施的全部過程,在享用CASE工具帶來的巨大好處的同時,設計人員無需在不同的工具間捕獲數據,無需同時學習掌握多種工具,從而大大降低設計成本,提高了設計效率。