Name
Abstract | ||
|---|---|---|
An Ada tasking kernel is implemented as a layer beneath the Linux operating system. This provides low overhead and precise control of execution timing for real-time Ada tasks, which execute within the Linux kernel address space, while allowing the Linux operating system to execute non-real-time tasks in the background. The Ada tasking kernel is derived from Yodaiken's Real-Time Linux kernel, with new scheduling and synchronization primitives specifically to support the GNAT Ada runtime system. Implementing the Ada tasking primitives directly on the hardware does not just lower execution overhead and improve control over execution timing; it also opens the door for a simple restricted-tasking runtime system that could be certified for safety-critical applications. |
Year | DOI | Venue |
|---|---|---|
1999 | 10.1007/3-540-48753-0_25 | Ada-Europe |
Keywords | Field | DocType |
simple restricted-tasking runtime system,ada tasking kernel,linux kernel,ada tasking primitive,ada multi-tasking,real-time linux kernel,real-time ada task,gnat ada runtime system,linux operating system,linux kernel address space,execution timing,lower execution overhead,real time,operating system | JFFS2,sysfs,Bare machine,Computer science,Interrupt handler,Real-time computing,inotify,Configfs,Operating system,Linux kernel,Embedded system,Runtime system | Conference |
Volume | ISSN | ISBN |
1622 | 0302-9743 | 3-540-66093-3 |
Citations | PageRank | References |
2 | 0.94 | 1 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Hongfeng Shen | 1 | 2 | 0.94 |
| Arnaud Charlet | 2 | 4 | 1.44 |
| T. P. Baker | 3 | 1648 | 171.36 |