MaRTE OS: An Ada Kernel for Real-Time Embedded Applications

  • Mario Aldea Rivas
  • Michael González Harbour
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2043)

Abstract

MaRTE OS (Minimal Real-Time Operating System for Embedded Applications) is a real-time kernel for embedded applications that follows the Minimal Real-Time POSIX.13 subset, providing both the C and Ada language POSIX interfaces. It allows cross-development of Ada and C real-time applications. Mixed Ada-C applications can also be developed, with a globally consistent scheduling of Ada tasks and C threads. Details on the architecture and implementation of the kernel are described, together with some performance metrics.

Keywords

Real-Time Systems Kernel Operating System Embedded Systems Ada 95 POSIX 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Ford, B., G. Back, G. Benson, J. Lepreau, A. Lin, and O. Shivers. (1997). The Flux OSKit: a Substrate for OS and Language Research. Proceedings of the 16th ACM Symposium on Operating Systems Principles, Saint Malo, France (http://www.cs.utah.edu/flux/oskit)
  2. [2]
    Giering, E.W. and T.P. Baker (1994). The GNU Ada Runtime Library (GNARL): Design and Implementation. Wadas’94 Proceedings.Google Scholar
  3. [3]
    ISO/IEC 9945-1 (1996). ISO/IEC Standard 9945-1:1996. Information Technology-Portable Operating System Interface (POSIX)-Part 1: System Application Program Interface (API) [C Language]. Institute of Electrical and electronic Engineers.Google Scholar
  4. [4]
    POSIX.1d (1999). IEEE Std. 1003.d-1999. Information Technology-Portable Operating System Interface (POSIX)-Part 1: System Application Program Interface (API) Amendment: Additional Realtime Extensions [C Language]. The Institute of Electrical and Electronics Engineers.Google Scholar
  5. [5]
    POSIX.1j (2000). IEEE Std. 1003.j-2000. Information Technology-Portable Operating System Interface (POSIX)-Part 1: System Application Program Interface (API) Amendment: Advanced Realtime Extensions [C Language]. The Institute of Electrical and Electronics Engineers.Google Scholar
  6. [6]
    POSIX.13 (1998). IEEE Std. 1003.13-1998. Information Technology-Standardized Application Environment Profile-POSIX Realtime Application Support (AEP). The Institute of Electrical and Electronics Engineers.Google Scholar
  7. [7]
    POSIX.5b (1996). IEEE Std 1003.5b-1996, Information Technology-POSIX Ada Language Interfaces—Part 1: Binding for System Application Program Interface (API)— Amendment 1: Realtime Extensions. The Institute of Electrical and Engineering Electronics.Google Scholar
  8. [8]
    RTSJ (1999). The Real-Time for Java Experts Group, “Real-Time Specification for Java”, Version 0.8.2, November 1999 (http://www.rtj.org).
  9. [9]
    Rusling, D.A. (1999). The Linux Kernel, Version 0.8-3 (http://www.linuxhq.com/guides/TLK/tlk.html).
  10. [10]
    Intel. Intel Architecture Software Developer’s Manual. Vol. 3. System Programming. (ftp://download.intel.nl/design/pentiumii/manuals/24319202.pdf)
  11. [11]
    Real-Time Linux operating system web page (http://luz.cs.nmt.edu/~rtlinux)
  12. [12]
    “Real-Time Executive for Multiprocessor Systems: Reference Manual”. U.S. Army Missile Command, redstone Arsenal, Alabama, USA, January 1996.Google Scholar
  13. [13]
    Triebel W.A., “The 80386DX Microprocessor”, Prentice Hall, 1992.Google Scholar
  14. [14]
    Yodaiken V., “An RT-Linux Manifesto”. Proceedings of the 5th Linux Expo, Raleigh, North Carolina, USA, May 1999.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Mario Aldea Rivas
    • 1
  • Michael González Harbour
    • 1
  1. 1.Departamento de Electrónica y ComputadoresUniversidad de CantabriaSantanderSpain

Personalised recommendations