REAL-TIME OPERATING SYSTEMS AND STANDARDS - Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications - page 451

DRIVERS FRAMEWORK
MARTE includes a driver framework that simplifies and standardizes installation and
use of drivers, allowing programmers to share their drivers with other people in a
simple way. This framework also facilitates the adaptation of drivers written for open
operating systems (such as Linux).
The implementation model is similar to what is used in most UNIX-like operating sys-
tems. Applications access devices through “device files” using standard file operations
(open, close, write, read, ioctl). In this case the device files are stored as a set of data
tables inside the kernel, with pointers to the driver primitive operations.
ADA SUPPORT
The run-time of the GNAT Ada compiler has been adapted to run on the POSIX in-
terface provided by MaRTE OS. Ada applications running on top of MaRTE OS can
use the full basic Ada language functionality. MaRTE OS also supports most of the
services defined in the Ada 2005 Reference Manual real-time annex:
Timing events.
Execution-time clocks and timers.
Group execution-time budgets.
Dynamic priorities for protected objects.
EDF and round-robin scheduling policies.
Priority-specific dispatching.