Full text
|
PDF
- Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (186kB) | Preview |
Ada, the programming language of choice for the UPMSAT-2 satellite
Citation
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: |
|
| 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 |
| Creative Commons Licenses: | Recognition - No derivative works - Non commercial |
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 |
