Passa al contingut principal

Software randomisation compiler – Master Student (R0) per el Barcelona Supercomputing Center

The Computer Architecture and Operating System group at the Barcelona Supercomputing Center aims at carrying out research on programming models for critical embedded systems in charge of controlling fundamental parts of cars, airplanes and satellites. Our work is mainly done in the context of bilateral projects with several processor companies as well as several European-funded projects. For a complete list of publications of the group in the last years, please visit: www.bsc.es/caos

The objective of this master thesis position is to develop an existing software randomization method in a compiler framework, for the computation of worst case execution time in safety critical systems, using the Measurement Based Probabilistic Timing Analysis (MBPTA). For the experimental assessment, space relevant software will be used to validate the correctness of the implementation on a space relevant platform. The work will be performed within the context of the “Open Source Software Randomisation for safe and secure space systems” project funded by the European Space Agency (ESA), which is coordinated by BSC.

Key Duties

  • Implement an existing software randomization method in a compiler infrastructure
  • Evaluate the implementation using space relevant software on a space relevant processor
  • Document the application of software randomization in space applications, as well as the computation of pWCET using MBPTA

Data de tancament: Dissabte, 16 Març, 2024

Més informació

Mçes posts de Recerca

Comentaris

Entrades populars d'aquest blog

La ciberseguretat a Catalunya

El sector de la ciberseguretat és un element cada vegada més fonamental per a les empreses que tenen presència i activitat a escala digital, ja sigui a través d’internet com en la gestió de dades i processos interns de la pròpia companyia. Per això, tal com recull l’actualització de l’informe 'La ciberseguretat a Catalunya,' elaborat per ACCIÓ i l’Agència de Ciberseguretat de Catalunya, ja hi ha 516 empreses que desenvolupen el seu model de negoci en aquest sector. Xifra que representa un creixement del 50% respecte els darrers cinc anys. Pel que fa a volum de negoci, el 2022 (darreres dades disponibles) el sector va generar 1.244 milions d’euros, un 16% més que l’any anterior, i un creixement del 54% respecte els darrers sis anys. Les empreses de ciberseguretat donen feina a més de 9.400 persones, un 15% més que el 2021. [PÍNDOLA] La ciberseguretat a Catalunya CAT EN Descarrega l'informe complet Més posts de Mercat de treball

Salut digital a Catalunya

La salut digital (pel concepte en anglès de digital health) es refereix a l’àmbit de coneixement i pràctica associat al desenvolupament i ús de tecnologies digitals per millorar la salut Es tracta d’un mercat que creixerà a un ritme d’un 13% anual fins al 2032 i que engloba àmbits com la intel·ligència artificial aplicada a la medicina o els models telemàtics. Alhora, es tradueix en solucions tecnològiques com la medicina personalitzada, els nous dispositius mèdics, la telemedicina o les teràpies digitals. Davant d’aquest panorama creixent, l’àmbit de la salut digital a Catalunya s’ha convertit en una indústria emergent i molt dinàmica. De fet, tal i com indica l’informe tecnològic Salut digital a Catalunya, 331 empreses configuren aquest sector d’activitat on hi destaquen 356 startups tecnològiques. Es tracta d’un sector molt jove en que el 65% de les companyies tenen menys de 10 anys. Totes aquestes empreses generen més de 4.800 llocs de treball, facturen 592,5 milions d’euros i ho f

Oferta pública 22/07/2024

Ajuntament de Figueres 1 plaça d'Enginyer tècnic Consell Comarcal del Moianès 1 plaça d'Enginyer tècnic de l'Àrea de Territori Generalitat de Catalunya - Institut Cartogràfic i Geològic de Catalunya (ICGC) 1 plaça de Desenvolupador d'aplicacions informàtiques a la Unitat de Sismologia Generalitat de Catalunya - Institut Nacional d'Educació Física de Catalunya (INEFC) 1 plaça de Professor al Centre de Barcelona Ministerio de Transportes y Movilidad Sostenible 24 places de Cos d'Enginyers Geògrafs