Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (186kB) | Vista Previa |
Ada, the programming language of choice for the UPMSAT-2 satellite
Cita
Garrido Balaguer, Jorge 
ORCID: https://orcid.org/0000-0002-8385-2721, Zamorano Flores, Juan Rafael ORCID: https://orcid.org/0000-0002-6006-4335, Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 and 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.
ORCID: https://orcid.org/0000-0002-8385-2721, Zamorano Flores, Juan Rafael ORCID: https://orcid.org/0000-0002-6006-4335, Puente Alfaro, Juan Antonio de la ORCID: https://orcid.org/0000-0002-7673-9835, Alonso Muñoz, Alejandro Antonio ORCID: https://orcid.org/0000-0002-1622-8996 and 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: |
|
| 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: | |
| ODS: | |
| 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 de Sistemas Telemáticos |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
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: | https://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: | 20 Feb 2025 08:50 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
