|
Descripción
|
|
|---|---|
| The proper selection of development mechanisms and tools is essential for the final success of any engineer- ing 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 selec- tion is crucial. For this kind of systems, Ada has proven to be a successful companion, and satellites are not an ex- ception. The paper presents the reasons behind the selec- tion of Ada for the UPMSat-2 development, along with the experience and examples on its usage | |
|
Internacional
|
Si |
|
Entidad
|
The International Space System Engineering Conference. DASIA |
|
Lugar
|
Barcelona |
|
Páginas
|
|
|
Referencia/URL
|
http://www.dit.upm.es/~str/papers/pdf/garrido&15a.pdf |
|
Tipo de publicación
|
Publicación científica. DAta Systems in Aerospace, Proceedings of the conference held 19-21 May, 2015 in Barcelona, Spain. Edited by L. Ouwehand. ESA-SP Vol. 732, 2015, id.41 |