https://github.com/alessiobugetti/preemptiveanalysiswithmarkingexprprio
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.
https://github.com/alessiobugetti/preemptiveanalysiswithmarkingexprprio
Last synced: 3 months ago
JSON representation
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.
- Host: GitHub
- URL: https://github.com/alessiobugetti/preemptiveanalysiswithmarkingexprprio
- Owner: AlessioBugetti
- License: agpl-3.0
- Created: 2023-12-29T22:03:06.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2024-01-18T22:35:20.000Z (over 1 year ago)
- Last Synced: 2024-01-18T23:51:21.228Z (over 1 year ago)
- Language: Java
- Homepage:
- Size: 33.2 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# Extension of the Sirio Library
The goal of this project is to create an extension of the [SIRIO](https://github.com/oris-tool/sirio) library that allows to represent preemptive Time Petri Nets (pTPN) with priorities that are expressions of a marking, as well as model a schema for Earliest Deadline First (EDF) and Rate Monotonic (RM) scheduling. Specifically, the task metamodel must be modified to allow it to be composed of one or more computational chunks, and an implementation of the Priority Ceiling Emulation Protocol (PCEP) must be provided as a policy for resource management, ensuring mutual exclusion.
The library produced by [1], which is based on the work of [2], has been extended.
## Author
* Alessio Bugetti, [email protected]
## References
[1] L. Leuter, *Software Engineering for Embedded Systems Relazione di Progetto*, 2021/2022.
[2] L. Macchiarini, *≪Design and development of a software component for the analysis of preemptive timed models≫* Tesi di Laurea Triennale in Ingegneria Informatica, Università degli Studi di Firenze, 2018/2019.