EVA-rt-Engine: Evaluation, Verification and Analysis Engine for Real-Time Applications Schedulability

This paper introduces EVA-rt-Engine, a new schedulability analysis and design library released under the GPLv3 open-source license. The tool features the implementation of standard state-of-the-art analysis techniques for uniprocessor and global multiprocessor scheduling platforms, as well as more advanced hierarchical scheduling models, analyses, and design tools to aid in the development of component-based real-time software systems. The tool, which is compared with the state of the art in this paper, is currently used to aid the development of a Linux kernel patch that introduces hierarchical scheduling policies.