|
Abstract
|
|
|---|---|
| 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 | |
|
International
|
Si |
|
Entity
|
The International Space System Engineering Conference. DASIA |
|
Place
|
Barcelona |
|
Pages
|
|
|
Reference/URL
|
http://www.dit.upm.es/~str/papers/pdf/garrido&15a.pdf |
|
Publication type
|
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 |