The PROSIT tool: Toward the optimal design of probabilistic soft real‐time systems. (10th July 2018)

• Record Type: Journal Article
• Authors: Villalba Frías, Bernardo; Palopoli, Luigi; Abeni, Luca; Fontanelli, Daniele
• Is Part Of: Software, practice & experience. Volume 48:Number 11(2018)
• Page Start: 1940
• Page End: 1967
• Publication Date: 2018-07-10
• Subjects: probabilistic guarantees -- real‐time systems -- soft real‐time scheduling; Computer software -- Periodicals; Computer programming -- Periodicals; Computer programs -- Periodicals; 005.3
• DOI: 10.1002/spe.2604
• Languages: English
• ISSNs: 0038-0644

Abstract

Summary: 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.