[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.

[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.