The Ravenscar Tasking Profile for High Integrity Real-Time Programs
Ada-Europe '98 Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies
An Open Ravenscar Real-Time Kernel for GNAT
Ada-Europe '00 Proceedings of the 5th Ada-Europe International Conference on Reliable Software Technologies
The FTT-Ethernet Protocol: Merging Flexibility,Timeliness and Efficiency
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
Guide for the use of the Ada Ravenscar Profile in high integrity systems
ACM SIGAda Ada Letters
Real Time Scheduling Theory: A Historical Perspective
Real-Time Systems
Consolidated ada reference manual: language and standard libraries
Consolidated ada reference manual: language and standard libraries
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
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
Hi-index | 0.00 |
A new token-passing algorithm called AR-TP for avoiding the non-determinism of some networking technologies is presented. This protocol—based on RT-EP, a research protocol also based on transmission control techniques—allows the schedulability analysis of the network, enabling the use of standard Ethernet hardware for Hard Real-Time behavior while adding congestion management. It is specially designed for High-Integrity Distributed Hard Real-Time Systems, being fully written in Ada and taking advantage of some of the new Ada 2005 features, like the Ravenscar Profile.