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

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

Descripción

Título: Ada, the programming language of choice for the UPMSAT-2 satellite
Autor/es:
  • Garrido Balaguer, Jorge
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
  • Alonso Muñoz, Alejandro Antonio
  • Salazar Marsá, José Emilio
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Data Systems In Aerospace (DASIA 2015)
Fechas del Evento: 19/05/2016 - 21/05/2016
Lugar del Evento: Barcelona, Spain
Título del Libro: Proceedings of DASIA 2015 : DAta Systems In Aerospace
Fecha: 2015
Volumen: 732
Materias:
Palabras Clave Informales: Ada; Ravenscar profile; real time systems; embedded systems; on-board software
Escuela: E.T.S.I. Telecomunicación (UPM)
Departamento: Ingeniería Telemática y Electrónica
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 (186kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 42422
Identificador DC: http://oa.upm.es/42422/
Identificador OAI: oai:oa.upm.es:42422
Depositado por: Memoria Investigacion
Depositado el: 18 Jul 2016 17:07
Ultima Modificación: 18 Jul 2016 17:07
  • 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