Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Experience in spacecraft on-board software development
Año:2014
Áreas de investigación
  • Ciencias de la computación y tecnología informática,
  • Ingeniería eléctrica, electrónica y automática
Datos
Descripción
This paper describes some important aspects of high- integrity software development based on the authors? work. Current group research is oriented towards mixed- criticality partitioned systems, development tools, real- time kernels, and language features. The UPMSat-2 satellite software is being used as technology demonstra- tor and a case study for the assessment of the research results. The flight software that will run on the satellite is based on proven technology, such as GNAT/ORK+ and LEON3. There is an experimental version that is being built using a partitioned approach, aiming at assessing a toolset targeting partitioned multi-core em- bedded systems. The singularities of both approaches are discussed, as well as some of the tools that are being used for developing the software.
Internacional
Si
JCR del ISI
No
Título de la revista
Ada User Journal
ISSN
1381-6551
Factor de impacto JCR
Información de impacto
Volumen
35
DOI
Número de revista
1
Desde la página
55
Hasta la página
60
Mes
MARZO
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Juan Antonio de la Puente Alfaro (UPM)
  • Autor: Alejandro Antonio Alonso Muñoz (UPM)
  • Autor: Juan Rafael Zamorano Flores (UPM)
  • Autor: Jorge Garrido Balaguer (UPM)
  • Autor: José Emilio Salazar Marsá (UPM)
  • Autor: Miguel Angel de Miguel Cabello (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
  • Departamento: Ingeniería de Sistemas Telemáticos
  • Departamento: Arquitectura y Tecnología de Sistemas Informáticos
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)