Experience in spacecraft on-board software development

Puente Alfaro, Juan Antonio de la and Alonso Muñoz, Alejandro Antonio and Zamorano Flores, Juan Rafael and Garrido Balaguer, Jorge and Salazar Marsá, José Emilio and 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.

Description

Title: Experience in spacecraft on-board software development
Author/s:
  • 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
Item Type: Article
Título de Revista/Publicación: Ada User Journal
Date: March 2014
ISSN: 1381-6551
Volume: 35
Subjects:
Freetext Keywords: Real-time systems, model-driven engineering, Ada
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos [hasta 2014]
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

Funding Projects

TypeCodeAcronymLeaderTitle
Government of SpainTIN201128567-C03-01UnspecifiedUnspecifiedUnspecified
FP7287702MultiPARTESIKERLAN S COOPMulti-cores Partitioning for Trusted Embedded Systems

More information

Item ID: 35669
DC Identifier: http://oa.upm.es/35669/
OAI Identifier: oai:oa.upm.es:35669
Official URL: http://www.ada-europe.org/auj/archive/
Deposited by: Memoria Investigacion
Deposited on: 12 Jul 2015 08:47
Last Modified: 23 May 2019 07:42
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM