The goal of this thesis is to develop software under the SpecTRM software package for the partial automation of tasks associated with reusing SpecTRM-RL component models. The automation software is designed to aid the application of component-based system engineering in SpecTRM, mainly by reducing

-time services and some real-time extensions of component models lack of consideration for reusability of components in providing both functional and real-time services. In this work, we develop a real-time component-based system that enables true reusability of both functional and real-time services. I.

Many organizations are moving toward greater use of commercial off-the-shelf (COTS) components in the development of application systems. The development of component-based systems inlroduces fundamental changes in the way systems are acquired, integrated, deployed and evolved. In this paper we

engineering as well. Software systems, however, are purely symbolic entities that have meaning and intellectual interest even without a physical manifestation. Component-based systems in physical engineering and in software engineering therefore have many common features, yet differ in important and sometimes

The current state-of-the-art techniques are not sufficient to debug, understand and characterize multithreaded and distributed systems. In this report, we present a software monitoring framework for distributed and multithreaded systems which are built upon component technology, as the attempt

for systematically implementing UML models of higher level components. This paper describes a technique, known as SORT, which is part of a larger method for component-based software development, known as KobrA. KobrA is based on the development and deployment of component-based frameworks in conjunction with a high

HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci-entific research documents, whether they are pub-lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et a ̀ la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.

Dependability assessment of component-based systems must include verification of temporal and performance requirements as they can be of primary importance for many real-time and embedded systems. This paper uses labeled timed Petri nets as models of the behavior of components at their interfaces

propose a mathematical pattern that clarifies essential mechanisms of coordination that support evolution, and a design pattern that allows for such mechanisms to be implemented in platforms for component-based system development like CORBA, EJB and COM. 1

. We show how component orientation can support adding new features to a base system. We present a method for adding features in a systematic way to component-based systems that have been specified according to the method proposed by Cheesman and Daniels [5]. 1