Ada, the programming language of choice for the UPMSAT-2 satellite

Garrido Balaguer, Jorge and Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la and Alonso Muñoz, Alejandro Antonio and Salazar Marsá, José Emilio (2015). Ada, the programming language of choice for the UPMSAT-2 satellite. In: "Data Systems In Aerospace (DASIA 2015)", 19/05/2016 - 21/05/2016, Barcelona, Spain. pp. 1-4.

Description

Title: Ada, the programming language of choice for the UPMSAT-2 satellite
Author/s:
  • Garrido Balaguer, Jorge
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
  • Alonso Muñoz, Alejandro Antonio
  • Salazar Marsá, José Emilio
Item Type: Presentation at Congress or Conference (Article)
Event Title: Data Systems In Aerospace (DASIA 2015)
Event Dates: 19/05/2016 - 21/05/2016
Event Location: Barcelona, Spain
Title of Book: Proceedings of DASIA 2015 : DAta Systems In Aerospace
Date: 2015
Volume: 732
Subjects:
Freetext Keywords: Ada; Ravenscar profile; real time systems; embedded systems; on-board software
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 (186kB) | Preview

Abstract

The proper selection of development mechanisms and tools is essential for the final success of any engineering project. This is also true when it comes to software development. Furthermore, when the system shows very specific and hard to meet requirements, as it happens for high-integrity real-time systems, the appropriate selection is crucial. For this kind of systems, Ada has proven to be a successful companion, and satellites are not an exception. The paper presents the reasons behind the selection of Ada for the UPMSat-2 development, along with the experience and examples on its usage.

More information

Item ID: 42422
DC Identifier: http://oa.upm.es/42422/
OAI Identifier: oai:oa.upm.es:42422
Deposited by: Memoria Investigacion
Deposited on: 18 Jul 2016 17:07
Last Modified: 06 Apr 2019 09:57
  • 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