Experience in spacecraft on-board software development
| Autor: | Puente Alfaro, Juan Antonio de la, Alonso Muñoz, Alejandro Antonio, Zamorano Flores, Juan Rafael, Garrido Balaguer, Jorge, Salazar Marsá, José Emilio, Miguel Cabello, Miguel Angel de |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: | |
| Zdroj: | Ada User Journal, ISSN 1381-6551, 2014-03, Vol. 35, No. 1 Archivo Digital UPM instname |
| Popis: | This paper describes some important aspects of high- integrity software development based on the authors' work. Current group research is oriented towards mixed- criticality partitioned systems, development tools, real- time kernels, and language features. The UPMSat-2 satellite software is being used as technology demonstra- tor and a case study for the assessment of the research results. The flight software that will run on the satellite is based on proven technology, such as GNAT/ORK+ and LEON3. There is an experimental version that is being built using a partitioned approach, aiming at assessing a toolset targeting partitioned multi-core em- bedded systems. The singularities of both approaches are discussed, as well as some of the tools that are being used for developing the software. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|