Stack-based scheduling for realtime processes
Real-Time Systems
Concurrency in Ada
Priority Inheritance Protocols: An Approach to Real-Time Synchronization
IEEE Transactions on Computers
POSIX-Compatible Application-Defined Scheduling in MaRTE OS
ECRTS '02 Proceedings of the 14th Euromicro Conference on Real-Time Systems
A New Kernel Approach for Modular Real-Time Systems Development
ECRTS '01 Proceedings of the 13th Euromicro Conference on Real-Time Systems
Dynamic Integrated Scheduling of Hard Real-Time, Soft Real-Time and Non-Real-Time Processes
RTSS '03 Proceedings of the 24th IEEE International Real-Time Systems Symposium
IEEE Transactions on Software Engineering
Real-Time Systems
Hierarchical Fixed Priority Pre-Emptive Scheduling
RTSS '05 Proceedings of the 26th IEEE International Real-Time Systems Symposium
FSF: A Real-Time Scheduling Architecture Framework
RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
Getting More Flexible Scheduling in the RTSJ
ISORC '06 Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing
A mapping from AADL to Java-RTSJ
JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
A framework for flexible scheduling in the RTSJ
ACM Transactions on Embedded Computing Systems (TECS)
Hi-index | 0.00 |
This paper describes a framework for achieving flexible scheduling in the Real-Time Specification for Java (RTSJ), and provides verification of its operation by modelling it as a system of timed automata in the UPPAAL model checker. The proposed approach is a two-level scheduling mechanism where the first level is the RTSJ priority scheduler and the second level is under application control. Minimum, backward-compatible changes to the RTSJ specification are discussed. The only assumptions made are that the RTSJ implementation supports pre-emptive priority-based dispatching of threads, with changes to priorities having immediate effect. The framework model is described and its correctness checked.