Analysis and Simulation Tools for Probabilistic Real-Time Systems

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.
Type de document :
Communication dans un congrès
8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Jun 2017, Dubrovnik, Croatia. 2017, 〈https://waters2017.inria.fr/〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01552798
Contributeur : Antoine Bertout <>
Soumis le : lundi 3 juillet 2017 - 11:30:48
Dernière modification le : jeudi 26 avril 2018 - 10:28:17
Document(s) archivé(s) le : jeudi 14 décembre 2017 - 22:36:16

Fichier

WATERS_2017_probabilistic-anal...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01552798, version 1

Citation

Dorin Maxim, Antoine Bertout. Analysis and Simulation Tools for Probabilistic Real-Time Systems. 8th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Jun 2017, Dubrovnik, Croatia. 2017, 〈https://waters2017.inria.fr/〉. 〈hal-01552798〉

Partager

Métriques

Consultations de la notice

360

Téléchargements de fichiers

184