Analysis and Simulation Tools for Probabilistic Real-Time Systems

Contributions to be presented at WATERS'17
Post Reply
Sophie Quinton
Site Admin
Posts: 54
Joined: Tue Apr 28, 2015
Location: Inria Grenoble - Rhône-Alpes, France
Contact:

Analysis and Simulation Tools for Probabilistic Real-Time Systems

Post by Sophie Quinton » Wed Jun 07, 2017

Title: Analysis and Simulation Tools for Probabilistic Real-Time Systems

Authors:
Dorin Maxim (Loria - University of Lorraine)
Antoine Bertout (Inria de Paris)

Abstract: In this paper we present two tools meant to simulate and analyze probabilistic real-time task sets. That is, tasks sets which have their timing parameters represented by discrete probabilistic distributions. We describe the main features of each tool and provide configuration details necessary to use them. The two tools are compared, pointing out the advantages and disadvantages of each one, so that interested users can
make an informed choice regarding which tool best fits their needs. Both tools are open source and freely available. One of the main objectives of this paper is to make these tools available to the real-time systems research community, which is also invited to participate in their improvements, by giving feedback and even extending the implementations.

Attached paper:
WATERS_2017_probabilistic-analysis.pdf
(740.42 KiB) Downloaded 506 times

Post Reply