Une infrastructure de simulation modulaire pour l'évaluation de performances de systèmes temps-réel

Une infrastructure de simulation modulaire pour l'évaluation de performances de systèmes temps-réel

Un système informatique est temps-réel lorsque ses traitements doivent vérifier des propriétés d'ordre à la fois logique et temporel. Dans ce travail, nous proposons un outil de simulation pour l'évaluation de tels systèmes. Il peut venir compléter les méthodes sûres d'analyse statiqu...

Full description

Bibliographic Details
Main Author:	Decotigny, David
Language:	FRE
Published:	Université Rennes 1 2003
Subjects:	[INFO:INFO_NI] Computer Science/Networking and Telecommunication simulation systèmes temps-réel évaluation centralisé distribué coûts système
Online Access:	http://tel.archives-ouvertes.fr/tel-00003582 http://tel.archives-ouvertes.fr/docs/00/04/56/67/PDF/tel-00003582.pdf http://tel.archives-ouvertes.fr/docs/00/04/56/67/ANNEX/tel-00003582.ppt

Similar Items

Architecture Informatique Temps-Réel Pour Véhicules Avancés
by: Chaaban, Khaled
Published: (2006)

Conception basée modèle des systèmes temps réel et distribués
by: De Saqui-Sannes, Pierre
Published: (2005)

Modélisation et Analyse de Systèmes Temps Réel avec Préemption, Incertitude et Dépendence
by: Zanconi, Marcelo
Published: (2004)

Synthèse de gestionnaires mémoire pour applications Java temps-réel embarquées
by: Salagnac, Guillaume
Published: (2008)

Sur l'intégration de mécanismes d'ordonnancement et de communication dans la sous-couche MAC de réseaux locaux temps réel
by: Vasques De Carvalho, Francisco
Published: (1996)

Modélisation d'un processeur à exécution simultanée de flots pour le temps réel strict
by: Landet, Cédric
Published: (2009)

Un mécanisme d'ordonnancement distribué de tâches temps réel
by: Baccouche, Leila
Published: (1995)

Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones
by: Travers, Corentin
Published: (2007)

Vers une prise en compte fine de la plate-forme cible dans la construction des systèmes temps réel embarqués critiques par ingénierie des modèles
by: Gilles, Olivier
Published: (2010)

Proposition et vérification formelle de protocoles de communications temps-réel pour les réseaux de capteurs sans fil
by: Mouradian, Alexandre
Published: (2013)

Le modèle réseaux de Petri temporisés stochastiques: extensions et applications
by: Gallon, Laurent
Published: (1997)

Conception modulaire de système d'exploitation - Outils pour la programmation modulaire
by: Lucas, Martine
Published: (1977)

Architectures distribuées temps réel fondées sur ATM
by: Guillaud, Jean-Francois
Published: (1995)

Systèmes d'information collaboratifs et auto-organisants pour réseaux de capteurs large-échelle « De la théorie à la pratique »
by: Busnel, Yann
Published: (2008)

Vers l'utilisation des réseaux de Petri temporels étendus pour la vérification de systèmes temps-réel décrits en RT-LOTOS
by: Sadani, Tarek
Published: (2007)

Génération automatique de distributions/ordonnancements temps réel, fiables et tolérants aux fautes
by: Kalla, Hamoudi
Published: (2004)

Influence des fautes transitoires et des performances temps réel sur la sûreté des systèmes X-by-Wire
by: Wilwert, Cédric
Published: (2005)

Une méthode globale pour la vérification d'exigences temps réel : application à l'Avionique Modulaire Intégrée
by: Lauer, Michaël
Published: (2012)

Garantir la qualité de service temps réel selon l'approche (m,k)-firm
by: Li, Jian
Published: (2007)

Système de vision temps-réel pour les interactions
by: Menier, Clement
Published: (2007)

Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML
by: Fontan, Benjamin
Published: (2008)

Contribution à la robustesse des systèmes temps réel embarqués - Approches de dimensionnement du mécanisme de protection temporelle d'AUTOSAR OS
by: Bertrand, Dominique
Published: (2011)

Vérification formelle de systèmes. Contribution à la réduction de l'explosion combinatoire
by: Ribet, Pierre-Olivier
Published: (2005)

Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos
by: Lohr, Christophe
Published: (2002)

Réplication optimiste pour les applications collaboratives asynchrones
by: Dedieu, Olivier
Published: (2000)

Modèle hyperexponentiel en temps continu et en temps discret pour l'évaluation de la croissance de la sûreté de fonctionnement
by: Kaâniche, Mohamed
Published: (1992)

Modélisation au moyen des réseaux de Petri temporisés stochastiques d'une application de contrôle-commande de poste de transformation d'énergie électrique répartie sur le réseau de terrain FIP
by: Bergé, Nathalie
Published: (1996)

Conception modulaire des systèmes d'exploitation - Méthode et exemple d'application
by: Montuelle, Jean
Published: (1977)

Propositions de méthodes pour adapter le réseau aux contraintes d'applications temps-réel
by: Diouri, Idriss
Published: (2010)

Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF
by: Rahni, Ahmed
Published: (2008)

Analyse probabiliste des systèmes temps réel
by: Maxim, Dorin
Published: (2013)

Traitement personnalisé de requête top-k: des systèmes centralisés aux systèmes décentralisés
by: Bai, Xiao
Published: (2010)

CIRCUS, un générateur de composants pour le traitement des langages visuels et textuels
by: Vion-Dury, Jean-Yves
Published: (1999)

SOLEIL: An Integrated Approach for Designing and Developing Component-based Real-time Java Systems
by: Plsek, Ales
Published: (2009)

Systèmes d'information collaboratifs et auto-organisants pour réseaux de capteurs large-échelle : "De la théorie à la pratique"
by: Busnel, Yann
Published: (2008)

Calculateurs arithmétiques en temps réel
by: Thellier, Pierre
Published: (1962)

Analyse de performance et de stabilité des réseaux de télécommunication
by: Junier, Aurore
Published: (2013)

Implémentation rigoureuse des systèmes temps-réels
by: Abdellatif, Tesnim
Published: (2012)

Optimisation de l'ordonnancement sous contrainte de faisabilité
by: Grenier, Mathieu
Published: (2007)

Correction séquentielle de programmes parallèles dans le modèle asynchrone et mémoire partagée
by: Salset, Thierry
Published: (1997)