Running Ada on real-time linux

  • Authors:

  • Miguel Masmano;Jorge Real;Ismael Ripoll;Alfons Crespo

  • Affiliations:

  • Department of Computer Engineering, Technical University of Valencia, Spain;Department of Computer Engineering, Technical University of Valencia, Spain;Department of Computer Engineering, Technical University of Valencia, Spain;Department of Computer Engineering, Technical University of Valencia, Spain

  • Venue:
  • Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

The Real-Time Linux operating system (RTLinux) is an attractive platform for real-time programming, since real-time tasks can be guaranteed bounded response times, whilst a number of applications, IDEs, GUIs, etc. are also available for the same platform. In RTLinux, real-time tasks are implemented (in C) as kernel modules. Special care must be taken when writing kernel modules: an error in a single task can make the whole system hang or crash, since they are executed in the kernel memory space. This is clearly an area where Ada can be of great help: Ada's strong typing, consistency checking, robust syntax and readability, and the availability of high quality compilers, encourage the writing of correct software and allow to catch coding errors early in the implementation. In this paper, we show the state of development of a compilation system for Ada programs on RTLinux, based on the GNAT Ada compiler.