• 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