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

Oferta pública 16/04/2024

  Ajuntament de Viladecans 1 plaça de Tècnic de gestió Qualitat Ambiental, Pla Local d'Ocupació 2024 (PFO) Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) 1 plaça de Processor design engineer (RE1) Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) 1 plaça de Dual Technologies (R4) Centre de Ciència i Tecnologia Forestal de Catalunya (CTFC) 1 plaça de Tècnic de suport a la recerca Centre Internacional de Mètodes Numèrics a l'Enginyeria (CIMNE) 1 plaça d'Innovation Leader in projects related to Increase energy user awareness and energy communities Diputació de Tarragona 1 plaça d'Enginyer tècnic industrial a Enginyeria Municipal - Assistència en Medi Ambient, Salut Pública, Enginyeria Municipal i Territori Diputació de Tarragona 1 plaça d'Auxiliar administratiu a Gestió Administrativa - Assistència en Medi Ambient, Salut Pública, Enginyeria Municipal i Territori Fundació Bosch Gimpera 1 plaça d'Ajudant inve

Oferta pública 15/04/2024

  Ajuntament de la Canonja Borsa de treball de places d'Enginyer tècnic industrial. Pla d'ocupació 2024 Ajuntament de Montcada i Reixac Borsa de treball de places de Personal tècnic mitjà de sistemes d'informació i comunicació Ajuntament de Montcada i Reixac Borsa de treball de places de Personal tècnic mitjà de desenvolupament d'aplicatius Ajuntament de Reus Borsa de treball de places d'Enginyer de camins, canals i ports Ajuntament de Santa Cristina d'Aro Borsa de treball de places d'Arquitecte tècnic Ajuntament de Tiana 1 plaça de Secretari de classe segona Barcelona Supercomputing Center-Centro Nacional de Supercomputación (BSC-CNS) 1 plaça de Research Engineer - HPC programmer (RE1) Consorci del Centre de Recerca Ecològica i Aplicacions Forestals (CREAF) 1 plaça de Tècnic en sistemes d'observació, seguiment i conservació de la biodiversitat Empresa de Transformación Agraria, SA, SME, MP (TRAGSA) 2 places de Graduat en Enginyeria o Enginyeria Tècnica

Oferta pública 17/04/2024

  Ajuntament de Girona 1 plaça d'Enginyer tècnic a Mobilitat Centre de Ciència i Tecnologia Forestal de Catalunya (CTFC) 1 plaça de Tècnic de suport a la recerca Consorci del Centre de Recerca Ecològica i Aplicacions Forestals (CREAF) 1 plaça de Tècnic de camp per al projecte CARBOSOL Fundació de Gestió Sanitària de l'Hospital de la Santa Creu i Sant Pau 1 plaça d'Especialista en intel·ligència artificial Generalitat de Catalunya - Institut Català de la Salut (ICS) 1 plaça d'Enginyer d'Infraestructures a l'Àrea d'Infraestructures i Serveis Tècnics (Centre Corporatiu) Ministerio de Transportes, Movilidad y Agenda Urbana - Ineco 1 plaça de Tècnic obra ferroviària (Martorell) Ministerio de Transportes, Movilidad y Agenda Urbana - Ineco 1 plaça de Tècnic expert en aplicació de productes fitosanitaris (Barcelona) Ministerio de Transportes y Movilidad Sostenible 54 places d'Enginyer tècnic en topografia Ministerio de Transportes y Movilidad Sostenible 4 places