[ca] El treball presentat té com objectiu detallar l'experiència de recerca realitzada sobre el domini de sistemes embarcats. Concretament, la recerca ha estat dividida en dos estàndards: ARINC 664 i ARINC 653. La recerca sobre l'estàndard ARINC 664 Part 7, conegut com Avionic Full Duplex Switched Ethernet (AFDX), ha estat orientada a la millora de l'utilització dels recursos, com per exemple l'ample de banda, en utilitzant un sistema de control actiu. L'AFDX és una tecnologia que permet garantir comportements prévisibles, una propietat important per les aplicacions aviòniques de temps-real. Per enfortir la qualitat de server, l'extàndard defineix el concepte de Circuit Virtual (VL) que determina una conexió lògica de punt-a-punt i unidireccional. La transmissió del VL està limitada pel Bandwidth Allocation Gap (BAG), que indique el període mínim de temps entre dues frames consecutives. En considerant que certs valors específics del BAG són autoritzats al mateix temps quel període de l'aplicació és arbitrari, l'utilització de l'ample de bande pot ser petita. Ademés, degut a que l'AFDX és un protocol asíncron, el jitter degrada el determinisme de la xarxa, cosa que limita les aplicacions crítiques. Per aquest motiu, la recerca ha aportat un sistèma de feedback de control actiu per evitar aquesta problemàtica. Concretament, dos esquemes de control han estat definits. El primer, anomenat Bandwidth Efficiency Control Loop (BECL), té com objectiu maximitzar l'utilització de l'ample de bande sobre un VL. El segon, anomenat Jitter Stabilization Control Loop (JSCL), és utilitzat per estabilitzar el jitter en un valor predefinit. El segon tema, aquell que es basa en la recerca de l'estàndard ARINC 653, aporta un model d'optimisació per la distribució de particions i per la programació temporal de processus (anomenats tasques) que comparteixen els mateixos recursos dins del mateix sistema. L'utilització de l'arquitectura Integrada Modular Aviònica (IMA) és una tendència tecnològica dins la indústria de l'aviació, gràcies a la capacitat de compartir el temps i l'espai entre diferents processos. No obstant, combinar la distribució i la programació temporal d'aplicacions que comparteixen els mateixos recursos dins de la mateixa plataforma pot esdevenir un problema d'una gran complexitat. Per adreçar aquesta problématica, un model que permet l'ajustement automàtic segons un criteri d'optimització ha estat desenvolupat. Les variables i les restriccions del model sont totes formulades mitjançant inegalitats i/o égalitats lineals. Per aquest motiu, el problema pot ser resolt d'una forma eficient mitjançant diferents algoritmes de programació lineal. Aquesta experiència m'ha permès aprofondir en el domini de sistemes embarcats, sobretot en la xarxa AFDX. Ademés, he pogut aplicar els coneixements obtinguts durant els meus estudis en una situació real de recerca. Els resultats d'aquesta experiència han estat la producció de dos articles: • L'article que té com a títol Active Bandwidth Efficiency and Jitter Control for AFDX: A Network Calculus Approach ha estat lliurat com a draft per la conferència IEEE INFOCOM 2016. • L'article que té com a títol A Modeling and Optimization of Simultaneous Partition Allocation and Schedule Design for Mixed-Criticality Systems ha estat lliurat com a draft per la revista 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.