In recent years, series of important achievements have paved the way for the introduction of probabilistic analysis in the area of soft real-time systems design. In this article, we present an extensible design tool, called PROSIT, which facilitates the access to this technology for a potentially large number of researchers and industrial practitioners. The tool enables the probabilistic analysis of the temporal performance of a real-time task under fixed-priority and resource reservations scheduling algorithms. For resource reservations, the tool also offers an automatic procedure for the synthesis of scheduling parameters that optimize a quality metric related to the probabilistic behavior of the tasks.
Titolo: | The PROSIT tool: Toward the optimal design of probabilistic soft real-time systems |
Autori: | |
Data di pubblicazione: | 2018 |
Rivista: | |
Handle: | http://hdl.handle.net/11382/526969 |
Appare nelle tipologie: | 1.1 Articolo su Rivista/Article |