Experience in spacecraft on-board software development

Puente Alfaro, Juan Antonio de la; Alonso Muñoz, Alejandro Antonio; Zamorano Flores, Juan Rafael; Garrido Balaguer, Jorge; Salazar Marsá, José Emilio y Miguel Cabello, Miguel Angel de (2014). Experience in spacecraft on-board software development. "Ada User Journal", v. 35 (n. 1); pp. 55-60. ISSN 1381-6551.

Descripción

Título: Experience in spacecraft on-board software development
Autor/es:
  • Puente Alfaro, Juan Antonio de la
  • Alonso Muñoz, Alejandro Antonio
  • Zamorano Flores, Juan Rafael
  • Garrido Balaguer, Jorge
  • Salazar Marsá, José Emilio
  • Miguel Cabello, Miguel Angel de
Tipo de Documento: Artículo
Título de Revista/Publicación: Ada User Journal
Fecha: Marzo 2014
Volumen: 35
Materias:
Palabras Clave Informales: Real-time systems, model-driven engineering, Ada
Escuela: E.T.S.I. Telecomunicación (UPM)
Departamento: Ingeniería de Sistemas Telemáticos [hasta 2014]
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 35669
Identificador DC: http://oa.upm.es/35669/
Identificador OAI: oai:oa.upm.es:35669
URL Oficial: http://www.ada-europe.org/auj/archive/
Depositado por: Memoria Investigacion
Depositado el: 12 Jul 2015 08:47
Ultima Modificación: 12 Jul 2015 08:47
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM