Desarrollo, análisis y despliegue de aplicaciones basadas en componentes con requisitos de tiempo real. Un enfoque dirigido por modelos

Abstract

This PhD Thesis continues the lines of research in the development of Real-Time Systems, Component Based Software Development and Model-Driven Software Engineering initiated by the research group DSIE of the Universidad Polit_ecnica de Cartagena more than ten years ago. This thesis starts from the results of a previous thesis in which it was developed: a component meta-model, called V 3CMM; a set of model transformations between V 3CMM and UML; and a set of code transformations to generate Ada2005 code from UML models. V 3CMM was originally designed for the development of control applications for service robots. For this purpose, a complete code generation approach was followed. This type of generation involves the development of multiple transformations that by their nature have proved di_cult to reuse and maintain.In this thesis, a generic approach is proposed that combines the use of previous techniques and the use of software frameworks to achieve a more exible approach and a substantial reduction in the size of the transformations from model to text, so that the applications resulting from their use are easier to maintain and contains elements that can be reused. In particular, this generic approach has been used to create a component model for the development of real-time systems. This model consists in three main elements: A a components meta-model called WCOMM based on V 3CMM. V 3CMM has been adapted to _t the development requirements of the real-time applications and its design has been simpli_ed. A concurrency and deployment model that allows to easily link elements of the component domain with elements of the concurrency domain. These models allows time analysis of applications modeled with WCOMM at an early stage of development, even before the application-speci_c code is developed. And also allows to test di_erent distributions of components in threads / processes to get a schedulable system without modifying the application code. A component framework for real-time applications development, called FraCC. This framework has been developed in such a way that allows to analyze the temporal characteristics of the applications resulting from its use.