請用此 Handle URI 來引用此文件:
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/41466
標題: | 嵌入式系統的元件介面設計,以醫療服務流程的資訊擷取、轉換及載入工具為例 Component Interface Design for Embedded Systems, Using Medication ETL Tools as an Example |
作者: | Wen-Hsien Chang 張文賢 |
指導教授: | 施吉昇(Chi-Sheng Shih) |
關鍵字: | 元件介面,整合驗證,介面定義語言,元件整合,網路服務,正規驗證, component interface,integration verification,interface definition language,component integration,web service,formal verification, |
出版年 : | 2009 |
學位: | 碩士 |
摘要: | 元件化嵌入式系統設計的研究已經有很長的時間,許多介面定義語言也已被提出而使得整合程序更加容易。然而,整合程序仍然無法自動化,而且完全依賴軟體工程師去驗證整個程序的正確性,無法免除人工的輔助。除此之外,大部分的研究都著眼於系統開發時的整合而非系統執行時的整合。這篇論文將提出一個新的介面設計方式,使功能性和非功能性的條件都能以機器可讀的格式描述。在系統執行時的整合程序中,我們將會利用 SMT (Satisfiability Modulo Theory) 及正規驗證的工具來檢查功能性和非功能性的條件,以確保系統不會因為整合一個新的元件而產生問題。這個介面定義語言能讓系統執行時一個元件的整合和移除變得較為容易,而且能夠提昇整個系統的可靠性。我們將三個以傳統 Java 語言所設計的醫療服務流程的資訊擷取、轉換及載入工具佈署成網路服務,並且以之說明這個整合的程序。 Component-based embedded system design has been studied for a long time. Many interface definition languages (IDL) are defined for facilitating the integration process. However, the integration process cannot be automated and fully relies on the software engineer to verify the correctness of the process. The integration process still requires human assistances. In addition, most of them focus on the design-time integration instead of run-time integration. This thesis proposed an interface design such that functional and non-functional requirements are described in a machine-readable standard language. These requirements will be verified with the assistances of an SMT solver and a formal verification tool in run-time to assure that the correctness of a host system will not be jeopardized after integrating a new component. With this interface definition language, not only the integration and removal of a component can occur in run-time with less effort but also the system reliability is enhanced. In this thesis, we will use three medication ETL (extract, transform and load) tools, which are traditional Java objects deployed as web services, in the medication-use process as the target component to illustrate the integration process. |
URI: | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/41466 |
全文授權: | 有償授權 |
顯示於系所單位: | 資訊工程學系 |
文件中的檔案:
檔案 | 大小 | 格式 | |
---|---|---|---|
ntu-98-1.pdf 目前未授權公開取用 | 1.05 MB | Adobe PDF |
系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。