DocumentCode
2371963
Title
Composition analysis of QoS properties for adaptive integration of embedded software components
Author
Ma, Hui ; Yen, I-Ling ; Bastani, Farokh ; Cooper, Kendra
Author_Institution
Dept. of Comput. Sci., Texas Univ., Dallas, TX, USA
fYear
2003
fDate
17-20 Nov. 2003
Firstpage
383
Lastpage
393
Abstract
Component-based development (CBD) techniques have been widely used to enhance the productivity and reduce the cost for software systems development. However, applying CBD techniques to embedded software development faces additional challenges. For embedded systems, it is crucial to consider the QoS attributes, such as timeliness, memory requirement, output precision, power consumption, etc. When a system is composed of components, the appropriate components have to be selected such that the composed system is guaranteed to satisfy its QoS requirements. In this paper, we investigate the model for composition analysis. Based on the analysis model, we develop algorithms for selecting components to compose the designated system such that the overall system QoS properties can be pare to optimal. An overview of a repository-based embedded software development methodology was first presented. Then we discuss the composition analysis techniques. A case study is presented to illustrate our approach finally.
Keywords
embedded systems; formal specification; formal verification; object-oriented programming; program diagnostics; quality of service; software quality; QoS attributes; QoS properties; QoS requirement satisfaction; component selection; component-based development; composition analysis; embedded software components; memory requirement; output precision; power consumption; quality of service; repository-based embedded software development; software systems development; timeliness; Algorithm design and analysis; Application software; Decision making; Embedded software; Embedded system; Hardware; Power system modeling; Productivity; Programming; Real time systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Reliability Engineering, 2003. ISSRE 2003. 14th International Symposium on
ISSN
1071-9458
Print_ISBN
0-7695-2007-3
Type
conf
DOI
10.1109/ISSRE.2003.1251060
Filename
1251060
Link To Document