The GNU Ada runtime library (GNARL)
WADAS '94 Proceedings of the eleventh annual Washington Ada symposium & summer ACM SIGAda meeting on Ada
The Flux OSKit: a substrate for kernel and language research
Proceedings of the sixteenth ACM symposium on Operating systems principles
A POSIX-Ada Interface for Application-Defined Scheduling
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
An Ada 2005 Technology for Distributed and Real-Time Component-Based Applications
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT
Ada-Europe '09 Proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies
Measuring and policing blocking times in real-time systems
ACM Transactions on Embedded Computing Systems (TECS)
Efficient asynchronous event handling in the real-time specification for Java
ACM Transactions on Embedded Computing Systems (TECS)
Designing and Implementing of Earliest Deadline First Scheduling Algorithm on Standard Linux
GREENCOM-CPSCOM '10 Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing
Modular software architecture for flexible reservation mechanisms on heterogeneous resources
Journal of Systems Architecture: the EUROMICRO Journal
POSIX trace based behavioural reflection
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Interchangeable scheduling policies in real-time middleware for distribution
Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
Efficient alternatives for implementing fixed-priority schedulers
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
RT-EP: a fixed-priority real time communication protocol over standard ethernet
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Integrating application-defined scheduling with the new dispatching policies for ada tasks
Ada-Europe'05 Proceedings of the 10th Ada-Europe international conference on Reliable Software Technologies
Preservation of timing properties with the ada ravenscar profile
Ada-Europe'10 Proceedings of the 15th Ada-Europe international conference on Reliable Software Technologies
International Journal of Software Science and Computational Intelligence
Incorporating the deadline floor protocol in ada
ACM SIGAda Ada Letters
| Hi-index | 0.00 |
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.