Desarrollo de sistemas de tiempo real basados en componentes utilizando modelos de comportamiento reactivos
Ver/ Abrir
Registro completo
Mostrar el registro completo DCAutoría
López Martínez, PatriciaFecha
2010-09-28Director/es
Publicado en
Tesis Doctorales en Red (TDR)
Editorial
Universidad de Cantabria
Enlace a la publicación
Palabras clave
Ada 2005
CCM
CBD
CBSE
Componentes de tiempo real
Desarrollo de software basado en componentes
Ingeniería software basada en componentes
Componibilidad de modelos
Modelado temporal
Análisis de planificabilidad
Componentes software
Tiempo real
Real-time components
Component-based software development
Component-based software engineering
Model composability
Timing modelling
Schedulability analysis
Software components
Real-time
D&C
Resumen/Abstract
RESUMEN:El objetivo de la tesis es definir una metodología de desarrollo de aplicaciones de tiempo real basadas en componentes, orientada a aplicaciones cuyos requisitos temporales se especifican utilizando un modelo reactivo de comportamiento temporal. La metodología se construye en base a extensiones que incorporan a las especificaciones, modelos de referencia y procesos estándares propios de la ingeniería de componentes convencionales, esto es, sin requisitos temporales, los datos y los procesos necesarios para la especificación, diseño y análisis de los aspectos relativos al comportamiento temporal. La metodología se sustenta en cuatro contribuciones principales:
- Se propone la metodología de modelado modular del comportamiento temporal Mod-MAST, que permite construir el modelo de una aplicación basada en componentes por composición de los modelos de los componentes que la forman.
- Se propone la extensión RT-D&C de la especificación Deployment and Configuration of Component-based Distributed Applications de OMG, que permite incluir metadatos relativos a comportamiento temporal en los descriptores de componentes, plataformas de ejecución y aplicaciones.
- Se especifica la tecnología de componentes RT-CCM como una extensión de la especificación estándar Lightweight CCM de OMG, que añade los mecanismos necesarios para desarrollar aplicaciones con comportamiento temporal predecible.
- Se propone la tecnología de componentes Ada-CCM como implementación concreta de RT-CCM basada en el lenguaje de programación Ada 2005.
Todos estos elementos se integran en un proceso completo de diseño de tiempo real de aplicaciones basadas en componentes.
ABSTRACT:The objective of this work is to define a methodology for the development of real-time component-based applications, focused on applications whose timing requirements are specified according to a reactive model of the timing behaviour. The methodology is built through a set of extensions that incorporate to the standard specifications, reference models and processes typical from the conventional components engineering, i.e. components without timing requirements, the data structures and the processes required for the specification, design and analysis of the aspects related to timing behaviour. The methodology relies on four main contributions:
- The Mod-MAST modular modelling methodology, which allows building the real-time model of a component-based application by composing the models of the components that form it.
- The RT-D&C extension of the Deployment and Configuration of Component-based Distributed Applications Specification of the OMG, which allows including metadata related to timing behaviour in the descriptors of components, execution platforms and applications.
- The RT-CCM components technology, which is an extension of the standard Lightweight CCM Specification of the OMG that incorporates mechanisms to develop applications with predictable timing behaviour.
- The Ada-CCM components technology has been developed. It is an implementation of the RT-CCM technology based on the Ada 2005 programming language.
All these elements have been integrated in a complete real-time design process for component-based applications.
Colecciones a las que pertenece
- D30 Tesis [31]