GitHub repository: AlessioBugetti/preemptiveAnalysisWithMarkingExprPrio
Primary language: Java
Description: Modeling task sets composed of tasks that may consist of multiple computational chunks, scheduled using RM and EDF algorithms, employing pTPNs with marking-dependent priorities. Furthermore, an implementation of the priority ceiling emulation protocol must be provided as a policy for resource management, ensuring mutual exclusion.