Toward Probabilistic Real-Time Calculus

Download Now
Provided by: INRIA
Topic: Hardware
Format: PDF
A challenging research issue in analyzing probabilistic real-time systems is to model the tasks composing the system and the resource provided to the system. In this paper, the authors propose a solution based on a probabilistic component-based model that abstracts the functional and non-functional requirements of real-time components. The obtained interfaces encode timing requirements and probability information of the component in a probabilistic version of the real-time calculus. Besides, it has been derived probabilistic scheduling and compositional guarantees to provide real-time analyses of probabilistic real-time systems.
Download Now

Find By Topic