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.
This work has been funded in part by the Spanish Ministry of Education, project no. TIC2005-08665-C03-01 (THREAD), and by the IST Programme of the European Commission under project IST-004033 (ASSERT).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ECSS: ECSS-Q-80B Space Product Assurance — Software Product Assurance. Available from ESA (2003)
Rushby, J.: Partitioning for safety and security: Requirements, mechanisms, and assurance. NASA Contractor Report CR-1999-209347, NASA Langley Research Center (June 1999) Also to be issued by the FAA
Tucker Taft, S., Duff, R.A., Brukardt, R.L., Plödereder, E., Leroy, P.: Ada 2005 Reference Manual. LNCS, vol. 4348. Springer, Heidelberg (2006)
Pulido, J.A., Urueña, S., Zamorano, J., de la Puente, J.A.: Handling Temporal Faults in Ada 2005. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol. 4498, pp. 15–28. Springer, Heidelberg (2007)
Zamorano, J., de la Puente, J.A., Hugues, J., Vardanega, T.: Run-time mechanisms for property preservation in high-integrity real-time systems. In: OSPERT 2007 — Workshop on Operating System Platforms for Embedded Real-Time Applications, Pisa. Italy (July 2007)
RTC: RTCA SC167/DO-178B — Software Considerations in Airborne Systems and Equipment Certification (1992); Also available as EUROCAE document ED-12B
ARINC: Avionics Application Software Standard Interface — ARINC Specification 653-1 (October 2003)
Gaisler Research: LEON2 Processor User’s Manual (2005)
Amey, P., Chapman, R., White, N.: Smart Certification of Mixed Criticality Systems. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol. 3555, pp. 144–155. Springer, Heidelberg (2005)
Wahbe, R., Lucco, S., Anderson, T.E., Graham, S.L.: Efficient software-based fault isolation. ACM SIGOPS Operating Systems Review 27(5), 203–216 (1993)
Chang, Y.J., Lan, M.F.: Two new techniques integrated for energy-efficient TLB design. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 15(1), 13–23 (2007)
Bennett, M.D., Audsley, N.C.: Predictable and efficient virtual addressing for safety-critical real-time systems. In: Proceedings of the 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), pp. 183–190. IEEE Computer Society Press, Los Alamitos (2001)
ISO: Ada Semantic Interface Specification (ASIS). ISO/IEC- 15291:1999 (1999)
Giering, E.W., Baker, T.P.: Implementing Ada protected objects—interface issues and optimization. In: TRI-Ada 1995: Proceedings of the conference on TRI-Ada 1995, pp. 134–143. ACM Press, New York (1995)
Levine, J.R.: Linkers and Loaders. Morgan Kaufmann, San Francisco (2000)
Urueña, S., Pulido, J.A., Redondo, J., Zamorano, J.: Implementing the new Ada 2005 real-time features on a bare board kernel. Ada Letters XXVII(2), 61–66 (2007); Proceedings of the 13th International Real-Time Ada Workshop (IRTAW 2007)
Hamilton, G., Nelson, M.N.: High performance dynamic linking through caching. Technical report, Sun Microsystems, Inc., Mountain View, CA, USA (1993)
Heinecke, H., Schnelle, K.P., Fennel, H., Bortolazzi, J., Lundh, L., Leflour, J., Maté, J.L., Nishikawa, K., Scharnhorst, T.: AUTomotive Open System Architecture — an industry-wide initiative to manage the complexity of emerging Automotive E/E-Architectures. In: Convergence 2004 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Urueña, S., Pulido, J.A., López, J., Zamorano, J., de la Puente, J.A. (2008). A New Approach to Memory Partitioning in On-Board Spacecraft Software. In: Kordon, F., Vardanega, T. (eds) Reliable Software Technologies – Ada-Europe 2008. Ada-Europe 2008. Lecture Notes in Computer Science, vol 5026. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68624-8_1
Download citation
DOI: https://doi.org/10.1007/978-3-540-68624-8_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68621-7
Online ISBN: 978-3-540-68624-8
eBook Packages: Computer ScienceComputer Science (R0)