Component Interface Design for Embedded Systems, Using Medication ETL Tools as an Example
Date Issued
2009
Date
2009
Author(s)
Chang, Wen-Hsien
Abstract
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.
Subjects
component interface
integration verification
interface definition language
component integration
web service
formal verification
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-98-R95922039-1.pdf
Size
23.32 KB
Format
Adobe PDF
Checksum
(MD5):2339c990e03078eb82e23fc87db14074