Component-Based Software Design and Formal Description in Real-Time Creditable Service
doi: 10.3969/j.issn.1001-0548.2011.01.023
- Received Date: 2009-07-26
- Rev Recd Date: 2010-03-09
- Publish Date: 2011-02-15
-
Key words:
- adaptive systems /
- components /
- formal methods /
- quality of service (QoS)
Abstract: For distributed real time embedded system (DRES), the paper proposes a development model QuOCCM which can provide adaptive quality assurance. QuOCCM is composed of Client, Qoskets, and Server, all of them are implemented by component. The Client interacts with applications, gets QoS requirements, and trigs adaptive mechanism. The Qoskets extends QoS guarantee framework QuO and realizes the system QoS adaptive adjuster using component technology. The Server provides implements of quality assurance. Research shows that the method not only guarantees the adaptive QoS requirement, but also reduces the system complexity by separation of functional path and QoS path.
Citation: | CHEN Wen-yu, XIANG Tao, WANG Xiao-bin, SANG Nan, SUN Shi-xin. Component-Based Software Design and Formal Description in Real-Time Creditable Service[J]. Journal of University of Electronic Science and Technology of China, 2011, 40(1): 122-127. doi: 10.3969/j.issn.1001-0548.2011.01.023 |