Descripción
|
|
---|---|
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 tempo- ral 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 ap- proaches 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 imple- mentation of the most flexible approach are included. | |
Internacional
|
Si |
DOI
|
10.1007/978-3-540-68624-8_1 |
Edición del Libro
|
0 |
Editorial del Libro
|
Springer Berlin / Heidelberg |
ISBN
|
978-3-540-68621-7 |
Serie
|
Volume 5026/2008 |
Título del Libro
|
Reliable Software Technologies ¿ Ada-Europe 2008 |
Desde página
|
1 |
Hasta página
|
14 |