A New Approach to Memory Partitioning in On-board Spacecraft Software. In Fabrice Kordon and Tullio Vardanega (eds.), Reliable Software Technologies

Urueña Pascual, Santiago; Pulido Pavón, José Antonio; Lopéz, Jorge; Zamorano Flores, Juan Rafael y Puente Alfaro, Juan Antonio de la (2008). A New Approach to Memory Partitioning in On-board Spacecraft Software. In Fabrice Kordon and Tullio Vardanega (eds.), Reliable Software Technologies. En: "13th Ada-Europe International Conference on Reliable Software Technologies", 16/06/2008-20/06/2008, Venezia, Italia. ISBN 978-3-540-68621-7. https://doi.org/10.1007/978-3-540-68624-8_1.

Descripción

Título: A New Approach to Memory Partitioning in On-board Spacecraft Software. In Fabrice Kordon and Tullio Vardanega (eds.), Reliable Software Technologies
Autor/es:
  • Urueña Pascual, Santiago
  • Pulido Pavón, José Antonio
  • Lopéz, Jorge
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 13th Ada-Europe International Conference on Reliable Software Technologies
Fechas del Evento: 16/06/2008-20/06/2008
Lugar del Evento: Venezia, Italia
Título del Libro: Proceedings of the 13th Ada-Europe International Conference on Reliable Software Technologies
Fecha: 2008
ISBN: 978-3-540-68621-7
Materias:
Palabras Clave Informales: Ravenscar Ada, high-integrity, hard real-time, embedded systems, integrated modular avionics.
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Arquitectura y Tecnología de Sistemas Informáticos
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (234kB) | Vista Previa

Resumen

The current trend to use partitioned architectures in on-board spacecraft software requires applications running on the same computer platform to be isolated from each other both in the temporal and memory domains. Memory isolation techniques currently used in Integrated Modular Avionics for Aeronautics usually require a Memory Management Unit (MMU), which is not commonly available in the kind of processors currently used in the Space domain. Two alternative approaches are discussed in the paper, based on some features of Ada and state-of-the art compilation tool-chains. Both approaches provide safe memory partitioning with less overhead than current IMA techniques. Some footprint and performance metrics taken on a prototype implementation of the most flexible approach are included.

Más información

ID de Registro: 4631
Identificador DC: http://oa.upm.es/4631/
Identificador OAI: oai:oa.upm.es:4631
Identificador DOI: 10.1007/978-3-540-68624-8_1
Depositado por: Memoria Investigacion
Depositado el: 22 Oct 2010 08:34
Ultima Modificación: 27 Abr 2016 10:56
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM