Ph.D Theses

Schedulability Analysis and Optimization of Time-Partitioned Distributed Real-Time Systems.
Andoni Amurrio González, and J. Javier Gutiérrez and Mario Aldea  (Thesis Supervisors).
PhD. Thesis, University of Cantabria, March 2022.
[Download PDF]

Marco para la construcción de sistemas de gobernanza de datos en entornos de Industria 4.0.
Juan Yébenes Serrano, and Marta Zorrilla  (Thesis Supervisor).
PhD. Thesis, University of Cantabria, February 2022.
[Download PDF in Spanish]

Modelado e implementación de sistemas de tiempo real en procesadores muchos núcleos basados en malla.
David García Villaescusa, and Mario Aldea Rivas and Michael González Harbour (Thesis Supervisors).
PhD. Thesis, University of Cantabria, January 2022.
[Download PDF in Spanish]

Soporte de Aplicaciones de Tiempo Real en Dispositivos Móviles.
Alejandro Pérez Ruiz, and Mario Aldea Rivas and Michael González Harbour (Thesis Supervisors).
PhD. Thesis, University of Cantabria, February 2021.
[Download PDF in Spanish]

Domain-Specific Languages for Data Mining Democratisation.
Alfonso de la Vega Ruiz and Pablo Sáncehz Barreiro (Thesis Supervisor).
PhD. Thesis, University of Cantabria, July 2019.
[Download PDF]

Minería de datos aplicada a la enseñanza virtual: nuevas propuestas para la construcción de modelos y su integración en un entorno amigable para el usuario no experto.
Diego García-Saiz and Marta Zorrilla (Thesis Supervisor).
PhD. Thesis, University of Cantabria, July 2016.
[Download PDF in Spanish]

Metaherramientas MDE para el diseño de entornos de desarrollo de sistemas distribuidos de tiempo real.
César Cuevas Cuesta and José M. Drake and Patricia López Martínez (Thesis Supervisors).
PhD. Thesis, University of Cantabria, February 2016.
[Download PDF in Spanish]

Análisis de planificabilidad basado en offsets en sistemas distribuidos de tiempo real con prioridades dinámicas
Unai Díaz de Cerio Urain and Michael González Harbour (Thesis Supervisor).
PhD. Thesis, University of Cantabria, July 2015.
[Download PDF in Spanish]

Estudio de la planificabilidad y optimización de sistemas distribuidos de tiempo real basados en prioridades fijas y EDF.
Juan María Rivas Concepción and J. Javier Gutiérrez (Thesis Supervisor).
PhD. Thesis, University of Cantabria, July 2015.
[Download PDF in Spanish]

Diseño de aplicaciones de tiempo real para plataformas abiertas.
Laura Barros Bastante, and José M. Drake and Patricia López Martínez (Thesis Supervisors).
PhD. Thesis, University of Cantabria, October 2012.
[Download PDF in Spanish]

Integrating a Real-Time Model in Configurable Middleware for Distributed Systems.
Héctor Pérez Tijero and J. Javier Gutiérrez (Thesis Supervisor).
PhD. Thesis, University of Cantabria, July 2012.
[Download PDF]

Desarrollo de sistemas de tiempo real basados en componentes utilizando modelos de comportamiento reactivos.
Patricia López Martínez and José M. Drake (Thesis Supervisor).
PhD. Thesis, University of Cantabria, September 2010.
[Download PDF in Spanish]

Metodología y herramientas UML para el modelado y análisis de sistemas de tiempo real orientados a objetos.
Julio Medina Pasaje and José M. Drake (Thesis Supervisor).
PhD. Thesis, University of Cantabria, September 2005.
[Download PDF in Spanish]

Planificación de Tareas en Sistemas Operativos de Tiempo Real Estricto para Aplicaciones Empotradas.
Mario Aldea Rivas and M. González Harbour (Thesis Supervisor).
PhD. Thesis, University of Cantabria, November 2002.
[Download PDF in Spanhish]

Análisis de planificabilidad de sistemas distribuidos de tiempo real basados en prioridades fijas.
J. C. Palencia Gutiérrez and M. González Harbour (Thesis Supervisor).
PhD. Thesis, University of Cantabria, July 1999.
[Download PDF in Spanish]

Planificación, análisis y optimización de sistemas distribuidos de tiempo real estricto.
J.J. Gutiérrez García and M. González Harbour (Thesis Supervisor).
PhD. Thesis, University of Cantabria, October 1995.
[Download PDF in Spanish]

Master Theses

Desarrollo del software de un sistema para calibración de medidas horizontales.
Pablo Gutiérrez Peón and Michael González Harbour (Thesis Supervisor).
Master Thesis, University of Cantabria, October 2013.
[Download PDF in Spanish] [Download slides in Spanish]

Integración de las herramientas de análisis MAST en un entorno de desarrollo dirigido por modelos y basado en Eclipse.
Melitón Pablo Mangué Mañana, and Patricia López Martínez and César Cuevas Cuesta (Thesis Supervisors).
Master Thesis, University of Cantabria, October 2013.
[Download PDF in Spanish] [Download slides in Spanish]

Implementación del protocolo DFP en MaRTE OS y propuesta para su incorporación al lenguaje Ada.
Marina Gutiérrez López, and Mario Aldea Rivas and Michael González Harbour (Thesis Supervisors).
Master Thesis, University of Cantabria, June 2013.
[Download PDF in Spanish]

Herramienta para el modelado y análisis de planificabilidad de aplicaciones RT-Java sobre RT-Linux.
José María Martínez Lanza, and José María Drake Moyano (Thesis Supervisors).
Master Thesis, University of Cantabria, May 2013.
[Download PDF in Spanish] [Download slides in Spanish]

TracesDisplayer: Intérprete de trazas de sistemas de tiempo real analizados en el entorno MAST.
Emilio Ruíz Gutiérrez, and José María Drake Moyano and César Cuevas Cuesta (Thesis Supervisors).
Master Thesis, University of Cantabria, October 2012.
[Download PDF in Spanish] [Download slides in Spanish]

Generación de código Ada para aplicaciones embebidas y de tiempo real desde modelos dinámicos UML.
Alejandro Pérez Ruiz, and Julio L. Medina (Thesis Supervisor).
Master Thesis, University of Cantabria, September 2012.
[Download PDF in Spanish]

Análisis de planificabilidad de un sistema de cálculo de orientación en tiempo real basado en GNSS.
María Campo-Cossío Gutiérrez and Michael González Harbour (Thesis Supervisor).
Master Thesis, University of Cantabria, October 2011.
[Download PDF in Spanish] [Download slides in Spanish]

Adaptación de la arquitectura 'linux_lib' de MaRTE OS a multiprocesadores.
Daniel Medina Ortega and Mario Aldea Rivas (Thesis Supervisor).
Master Thesis, University of Cantabria, July 2010.
[Download PDF in Spanish] [Download slides in Spanish] [Download Latex Sources] [Download slides Latex]

Manejadores de buses serie en MaRTE OS.
Mónica Puig-Pey González, and Mario Aldea Rivas and Michael González Harbour (Thesis Supervisors).
Master Thesis, University of Cantabria, October 2009.
[Download PDF in Spanish] [Download slides in Spanish]

Algoritmo de asignación de plazos globales en sistemas distribuidos de tiempo real con planificación EDF: comparativa de estrategias de planificación.
Juan M. Rivas, and J. Javier Gutiérrez (Thesis Supervisor).
Master Thesis, University of Cantabria, October 2009.
[Download PDF in Spanish] [Download slides in Spanish]

Servicio de gestión de tiempos para sistemas distribuidos sobre el middleware ICE.
Ángela del Barrio Fernández, and José M. Drake (Thesis Supervisor).
Master Thesis, University of Cantabria, October 2008.
[Download PDF in Spanish] [Download slides in Spanish]

Instrumentación de código para el cálculo de tiempos de ejecución y respuesta en sistemas de tiempo real.
Álvaro García Cuesta and J. Javier Gutiérrez (Thesis Supervisor).
Master Thesis, University of Cantabria, October 2008.
[Download PDF in Spanish] [Download slides in Spanish]

Implementation of a Flexible Real-Time Scheduling Middleware Based on Contracts.
Miguel Tellería de Esteban and Michael González Harbour (Thesis Supervisor).
Master Thesis, University of Cantabria, October 2008.
[Download PDF] [Download slides] [Download LaTeX sources] [Download slides LaTeX sources]

Herramientas para el despliegue de aplicaciones basadas en componentes.
César Cuevas Cuesta, and José M. Drake (Thesis Supervisors).
Master Thesis, University of Cantabria, September 2008.
[Download PDF in Spanish]

Implementación de la tecnología de componentes CCM en lenguaje C/C++ y sobre la plataforma Linux.
Helder R. Oliveira, and Julio L. Medina (Thesis Supervisor).
Master Thesis, University of Cantabria, September 2008.
[Download PDF in Spanish] [Download slides in Spanish]

Implementación de la tecnología de componentes CCM sobre el middleware de distribución ICE.
Laura Barros Bastante, and Patricia López Martínez and José M. Drake (Thesis Supervisors).
Master Thesis, University of Cantabria, July 2008.
[Download PDF in Spanish] [Download slides in Spanish]

Tecnología Ada-CCM para el desarrollo de aplicaciones basadas en componentes de tiempo real.
Pablo Pacheco Munguía, and Patricia López Martínez and José M. Drake (Thesis Supervisors).
Master Thesis, University of Cantabria, July 2008.
[Download PDF in Spanish]

Modelos de Referencia en el diseño de controladores industriales utilizando MaRTE OS y ADA. Control de Posicionamiento Guiado por Láser en Soldaduras de Virolas.
Sergio Martín Calvo and Mario Aldea Rivas (Thesis Supervisor).
Master Thesis, University of Cantabria, July 2008.
[Download PDF in Spanish] [Download slides in Spanish]

Adaptación y optimización para una plataforma distribuida de tiempo real de un middleware basado en los estándares de RT-CORBA y Ada.
Héctor Pérez Tijero and J. Javier Gutiérrez (Thesis Supervisor).
Master Thesis, University of Cantabria, July 2008.
[Download PDF in Spanish] [Download slides in Spanish]

Other Degree Projects

Portado de MaRTE OS a la arquitectura ARM.
David García Villaescusa, and Mario Aldea Rivas (Project Supervisor).
Degree Project, University of Cantabria, July 2014.
[Download PDF in Spanish]

Librería ZigBee para sistemas operativos Posix.
Álvaro Solana Sánchez, and Mario Aldea Rivas (Project Supervisor).
Degree Project, University of Cantabria, July 2014.
[Download PDF in Spanish]

Herramienta de generación de reportes para la plataforma "Google Apps for Business".
Diego Gandarillas Pérez, and Mario Aldea Rivas (Project Supervisor).
Degree Project, University of Cantabria, June 2014.
[Download PDF in Spanish]

Evaluación de la viabilidad de un editor visual para el modelo MAST 2 sobre la plataforma Eclipse.
Javier de la Dehesa, and Michael González Harbour (Project Supervisor).
Degree Project, University of Cantabria, July 2012.
[Download PDF in Spanish]

Desarrollo de un controlador para cámaras digitales basadas en el estándar GigE Vision.
Pablo Gutiérrez Peón, Mario Aldea Rivas (Project Supervisor).
Degree Project, University of Cantabria, December 2011.
[Download PDF in Spanish]

Descripción de sistemas basados en componentes utilizando UML 2.
José María Martínez Lanza, and Patricia López Martínez (Project Supervisor).
Degree Project, University of Cantabria, September 2011.
[Download PDF in Spanish]

Sistema de adquisición y procesado de imágenes de soldaduras tomadas mediante un robot IRB2400.
C. F. Velilla Zancada, and Michael González Harbour (Project Supervisor).
Degree Project, University of Cantabria, September 2011.
[Download PDF in Spanish]

Paralelización de la ejecución extensiva de ejemplos de test para herramientas de planificación de sistemas de tiempo real.
Javier Barba Rueda, and J. Carlos Palencia and J. Javier Gutiérrez (Project Supervisors).
Degree Project, University of Cantabria, March 2011.
[Download PDF in Spanish]

Interfaz de nivel de aplicación para el control distribuido de movimientos del robot humanoide microBiro.
Ignacio Merino Cue, and J. Javier Gutiérrez and J. Carlos Palencia (Project Supervisors).
Degree Project, University of Cantabria, March 2011.
[Download PDF in Spanish]

Applying a Real-Time Analysis Methodology to the Software of a Robot Controller.
Jakob Lombacher, and J. Javier Gutiérrez (Project Supervisor).
Degree Project, University of Cantabria, February 2009.
[Download PDF]

Estudio de la asignación de plazos en sistemas distribuidos de tiempo real con planificación EDF: propuesta de un algoritmo heurístico.
Juan M. Rivas, and J. Javier Gutiérrez (Project Supervisor).
Degree Project, University of Cantabria, November 2008.
[Download PDF in Spanish]

Ada-CCM: Tecnología de componentes basada en el lenguaje de programación Ada 2005.
Pablo Pacheco Munguía, and José M. Drake (Project Supervisor).
Degree Project, University of Cantabria, October 2007.
[Download PDF in Spanish]

Control de Trayectoria de un Robot Móvil en Ada 2005 sobre MaRTE OS.
Bernardo Ruiz Abascal, and Michael González Harbour (Project Supervisor).
Research Project, University of Cantabria, October 2005.
[Download PDF in Spanish]

Diseño e Implementación de un Editor Gráfico para el Modelado y Análisis de Sistemas de Tiempo Real.
M. del Pilar del Río, and Michael González Harbour (Project Supervisor).
Research Project, University of Cantabria, September 2005.
[Download PDF in Spanish]

Caracterización Temporal de Sistemas Operativos de Tiempo Real.
Marta Alonso Dominguez, and Michael González Harbour (Project Supervisor).
Degree Project, University of Cantabria, March 2005.
[Download PDF in Spanish]

Diseño, Implementación y Modelado de un Protocolo Multipunto de Comunicaciones para Aplicaciones de Tiempo Real Distribuidas y Analizables sobre Ethernet (RT-EP).
José María Martínez, and Michael González Harbour (Project Supervisor).
Degree Project, University of Cantabria, December 2002.
[Download PDF in Spanish]

Diseño de Componentes Software de Tiempo Real.
Pedro Espeso Martínez, and José María Drake (Project Supervisor).
Degree Project, University of Cantabria, December 2002.
[Download PDF in Spanish]