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 and Pulido Pavón, José Antonio and Lopéz, Jorge and Zamorano Flores, Juan Rafael and 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. In: "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.

Description

Title: A New Approach to Memory Partitioning in On-board Spacecraft Software. In Fabrice Kordon and Tullio Vardanega (eds.), Reliable Software Technologies
Author/s:
  • Urueña Pascual, Santiago
  • Pulido Pavón, José Antonio
  • Lopéz, Jorge
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
Item Type: Presentation at Congress or Conference (Article)
Event Title: 13th Ada-Europe International Conference on Reliable Software Technologies
Event Dates: 16/06/2008-20/06/2008
Event Location: Venezia, Italia
Title of Book: Proceedings of the 13th Ada-Europe International Conference on Reliable Software Technologies
Date: 2008
ISBN: 978-3-540-68621-7
Subjects:
Freetext Keywords: Ravenscar Ada, high-integrity, hard real-time, embedded systems, integrated modular avionics.
Faculty: Facultad de Informática (UPM)
Department: Arquitectura y Tecnología de Sistemas Informáticos
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (234kB) | Preview

Abstract

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.

More information

Item ID: 4631
DC Identifier: http://oa.upm.es/4631/
OAI Identifier: oai:oa.upm.es:4631
DOI: 10.1007/978-3-540-68624-8_1
Deposited by: Memoria Investigacion
Deposited on: 22 Oct 2010 08:34
Last Modified: 27 Apr 2016 10:56
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM