 |
HAL UPEC - UPEM Portal |  |
 |
Conference papers
Probabilistic Schedulability Analysis for Fixed Priority Mixed Criticality Real-Time Systems
Abstract : In this paper we present a probabilistic response time analysis for mixed criticality real-time systems running on a single processor according to a fixed priority pre-emptive scheduling policy. The analysis extends the existing state of the art probabilistic analysis to the case of mixed criticalities, taking into account both the level of assurance at which each task needs to be certified, as well as the possible criticalities at which the system may execute. The proposed analysis is formally presented as well as explained with the aid of an illustrative example.
Cited literature [12 references]
https://hal-upec-upem.archives-ouvertes.fr/hal-01583159
Contributor : Yasmina Abdeddaïm <>
Submitted on : Wednesday, September 6, 2017 - 6:32:52 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:57 PM
Contributor : Yasmina Abdeddaïm <>
Submitted on : Wednesday, September 6, 2017 - 6:32:52 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:57 PM
File
main.pdf
Files produced by the author(s)
