[en] The presented work is oriented on explain the experience of the investigation performed on the embedded systems field. Concretely, the investigation is composed of two standards: ARINC 664 and ARINC 653. The investigation about the standard ARINC 664 Part 7, called Avionic Full Duplex Switched Ethernet (AFDX), is oriented on the improvement of the bandwidth utilization using an active control system. AFDX is a technology that allows guaranteeing an expected behaviour, an important characteristic for avionic real-time applications. In order to reinforce the quality of service, the standard define the concept of Virtual Link (VL) which determine a unidirectional logic point-to-point connection. The VL transmission is limited by the Bandwidth Allocation Gap (BAG), which indicates the minimum period of time between two consecutives frames. Considering that only specific values of BAG are accepted while the application period is arbitrary, the utilization of the bandwidth becomes small. In addition, owing to the asynchronous nature of AFDX protocol, the jitter degrades the determinism of the network, which constraints the use of critical applications. Therefore, the research has contribute a feedback system based on active control in order to avoid this problem. Concretely, two control loops have been presented. The first one, called Bandwidth Efficiency Control Loop (BECL), is oriented on maximizing the bandwidth utilization of the VL. The second one, called Jitter Stabilization Control Loop (JSCL), is used in order to stabilize the jotter on a predefined value. The second research subject, which is based on the standard ARINC 653, defines an optimization model to allocate and schedule different tasks which share the same resources inside a system. The utilization of the Integrate Modular Avionic (IMA) architecture is a technologic tendency in the avionic industry, thanks to its capacity for sharing time and space between different tasks. However, the combination of allocation and scheduling of tasks can be a complex problem. Therefore, a model that allows an automatic adjustment following a criteria has been developed. The model variables and constraints are formulated by lineal inequalities and equalities. Therefore, the problem can be solved in an efficient way by lineal programming algorithms. This experience has allowed me to go in depth in the embedded systems field, specifically in the AFDX network. Moreover, I have been able to apply the knowledge earn during my study in a real research situation. The result of this experience has been the production of two articles: • The article with the title Active Bandwidth Efficiency and Jitter Control for AFDX: A Network Calculus Approach has been presented as a draft for IEEE INFOCOM 2016 conference. • The article with the title A Modeling and Optimization of Simultaneous Partition Allocation and Schedule Design for Mixed-Criticality Systems has been presented as a draft for European Journal of Operational Research.

[es] El trabajo presentado tiene como objetivo explicar la experiencia en investigación sobre el dominio de los sistemas embarcados. Concretamente, la investigación se ha dividido en dos estándares: ARINC 664 y ARINC 653. La investigación sobre el estándar ARINC 664 Parte 7, conocido como Avionic Full Duplex Switched Ethernet (AFDX), ha estado orientada a la mejora de la utilización de los recursos, como por ejemplo el ancho de banda, mediante el uso de un sistema de control activo. AFDX es una tecnología que permite garantizar un comportamiento previsible, una característica importante para las aplicaciones aviónicas de tiempo-real. Para reforzar la calidad del servicio, el estándar define el concepto de Circuito Virtual (VL) que determina una conexión lógica de punto-a-punto y unidireccional. La transmisión del VL está limitada por el Bandwidth Allocation Gap (BAG), que indica el periodo mínimo de tiempo entre dos frames consecutivas. Considerando que ciertos valores específicos de BAG son autorizados al mismo tiempo que el periodo de la aplicación es arbitrario, la utilización del ancho de banda puede ser pequeña. Además, debido a que AFDX es un protocolo asíncrono, el jitter degrada el determinismo de la red, cosa que limita las aplicaciones críticas. Por ese motivo, la investigación ha aportado un sistema de feedback de control activo para evitar esta problemática. Concretamente, dos esquemas de control han estado definidos. El primero, llamado Bandwidth Efficiency Control Loop (BECL), tiene como objetivo maximizar el uso del ancho de banda en un VL. El segundo, llamado Jitter Stabilization Control Loop (JSCL), es usado para estabilizar el jitter sobre un valor predefinido. El segundo tema, el que se basa en la investigación del estándar ARINC 653, aporta un modelo de optimización para la distribución y la programación temporal de procesos (llamados tareas) que comparten los mismos recursos dentro de un sistema. El uso de la arquitectura Integrada Modular Aviónica (IMA) es una tendencia tecnológica de la industria de la aviación, gracias a la capacidad de compartir el tiempo i el espacio entre diferentes procesos. No obstante, combinar la distribución y la programación temporal de diferentes aplicaciones que comparten los mismos recursos dentro de una misma plataforma puede suponer un problema muy complejo. Para solucionar este problema, un modelo que permite el ajuste automático según un criterio de optimización ha sido desarrollado. Las variables i las restricciones del modelo son formulados mediante desigualdades y/o igualdades lineales. Por ese motivo, el problema puede ser solucionado de una forma eficiente mediante diferentes algoritmos de programación lineal. Esta experiencia me ha permitido profundizar en el dominio de los sistemas embarcados, sobretodo en la red AFDX. Además, he podido aplicar los conocimientos obtenidos durante mis estudios en una situación real de investigación. El resultado de esta experiencia ha sido la producción de dos artículos: • El artículo que tiene como título Active Bandwidth Efficiency and Jitter Control for AFDX: A Network Calculus Approach ha sido presentado como draft para la conferencia IEEE INFOCOM 2016. • El artículo que tiene como título A Modeling and Optimization of Simultaneous Partition Allocation and Schedule Design for Mixed-Criticality Systems ha sido presentado como draft para la revista European Journal of Operational Research.