Component Interface Design for Embedded Systems, Using Medication ETL Tools as an Example

• Main Authors: Wen-Hsien Chang, 張文賢
• Other Authors: Chi-Sheng Shih
• Format: Others
• Language: en_US
• Published: 2009
• Online Access: http://ndltd.ncl.edu.tw/handle/59031292786074389807

碩士 === 國立臺灣大學 === 資訊工程學研究所 === 97 === 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.