List of schedulability analysis
-
dbf.hpp : provides the Demand Bound Function abstraction. You can manupilate those functions (add, compare, etc.) and plot them
-
fp_response_time.hpp : various helper functions to compute the response time with fixed priority (single processor)
-
task_utility.hpp : various helper functions regarding tasks (next arrival, next deadlines, all deadlines, etc.)
-
fmlp.hpp : Analysis of the FMLP protocol from the paper:
A. Block, H. Leontyev, B. Brandenburg, and J. Anderson. A flexible real-time locking protocol for multiprocessors. In Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pages 71-80, 2007.
-
omlp.hpp : Analysis of the OMLP protocol from the paper :
Brandenburg, B. B., & Anderson, J. H. (2013). The OMLP family of optimal multiprocessor real-time locking protocols. Design Automation for Embedded Systems, 17(2), 277-342.