• Aucun résultat trouvé

[PDF] Top 20 Vérification et Spécification des Systèmes Distribués

Has 3663 "Vérification et Spécification des Systèmes Distribués" found on our website. Below are the top 20 most common "Vérification et Spécification des Systèmes Distribués".

Vérification et Spécification des Systèmes Distribués

Vérification et Spécification des Systèmes Distribués

... Pour montrer qu’il est d´ecidable de savoir si dans un jeu G sur une archi- tecture s´erie parall`ele l’´equipe 0 a une strat´egie gagnante, nous allons montrer que pour un jeu donn´e, i[r] ... Voir le document complet

149

SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES
EMBARQUÉS TEMPS RÉEL EN UTILISANT LA
LOGIQUE DE RÉÉCRITURE

SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES EMBARQUÉS TEMPS RÉEL EN UTILISANT LA LOGIQUE DE RÉÉCRITURE

... de spécification La phase de spécification repose sur un langage formel basé sur une syntaxe claire et précise avec une sémantique bien ...de vérification à ...sa spécification moyennant une ... Voir le document complet

171

Spécification et vérification des systèmes informatiques distribuées conformément au modèle de référence du traitement réparti ouvert (RM-ODP)

Spécification et vérification des systèmes informatiques distribuées conformément au modèle de référence du traitement réparti ouvert (RM-ODP)

... Résumé La conception et le design des systèmes distribués ont besoin d’un Framework struc- turé afin qu’ils puissent être gérés et contrôlés avec succès. L’objectif du Modèle de ré- férence du traitement ... Voir le document complet

126

Spécification et vérification formelles des systèmes de composants répartis

Spécification et vérification formelles des systèmes de composants répartis

... composants de base (primitives) peuvent ˆ etre d´ eriv´ es, comme nous avons d´ ecrit dans [21],.. avec des outils d’analyse de code source, ou bien exprim´ es avec un langage de sp´ eci[r] ... Voir le document complet

199

Méthode B pour la spécification et la vérification formelle des systèmes répartis ouverts

Méthode B pour la spécification et la vérification formelle des systèmes répartis ouverts

... les systèmes et les lieux en réponse aux besoins des ...de systèmes qui diffèrent par leurs architectures, leurs ressources ou leurs performances; elle apporte la modularité qui autorise une croissance par ... Voir le document complet

128

Vérification formelle de systèmes d'information

Vérification formelle de systèmes d'information

... la spécification de la figure ...les systèmes où T est instancié par {1} et {2}, respectivement, possèdent des comportements différents qui ne respectent pas la ... Voir le document complet

249

Vers une spécification des modèles de simulation de systèmes complexes

Vers une spécification des modèles de simulation de systèmes complexes

... 1. Introduction La communication rigoureuse d’un protocole expérimental est au cœur de l’activité scientifique. Elle permet la reproduction sans ambi- guïté de l’expérience, et donc la vérification des résultats ... Voir le document complet

32

Conception basée modèle des systèmes temps réel et distribués

Conception basée modèle des systèmes temps réel et distribués

... De manière très pragmatique, nous avons cherché à réutiliser l’existant. C’est ainsi que nous avons adossé le profil TURTLE au langage formel RT-LOTOS et avons réutilisé l’outil de validation formelle RTL développé au ... Voir le document complet

102

ParTraP : Un langage pour la spécification et
vérification à l'exécution de propriétés
paramétriques

ParTraP : Un langage pour la spécification et vérification à l'exécution de propriétés paramétriques

... La vérification à l’exécution est une technique prometteuse pour amé- liorer la sûreté des systèmes ...Ces systèmes peuvent être instrumentés afin qu’ils produisent des traces d’exécution permettant ... Voir le document complet

122

Conception basée modèle des systèmes temps réel et distribués

Conception basée modèle des systèmes temps réel et distribués

... de vérification liés à un profil UML temps ...les systèmes distribués. Ces systèmes ont depuis longtemps modélisés en utilisant des outils de vérification tels que SPIN [HOL 97] qui est ... Voir le document complet

103

Spécification et vérification des ordonnanceurs Temps Réel en B

Spécification et vérification des ordonnanceurs Temps Réel en B

... 3.3.1 L’outil Uppaal Uppaal est un outil de modélisation, de simulation et de vérification des systèmes temps réel. Il a été développé conjointement par les universités d’Uppsala (Suède) et d’Alborg ... Voir le document complet

192

Tests en Temps-Réel Basés sur des Modèles de Systèmes Dynamiques et Distribués

Tests en Temps-Réel Basés sur des Modèles de Systèmes Dynamiques et Distribués

... Notre troisième contribution consiste à introduire un ensemble de techniques for- melles pour la détermination et la sélection de test hors ligne pour les automates temporisés avec entrées et sorties. À cet égard, nous ... Voir le document complet

14

Modélisation, évaluation et validation des systèmes temps réel distribués

Modélisation, évaluation et validation des systèmes temps réel distribués

... 4.3.6 Compositional Performance Analysis La méthode Compositional Performance Analysis ( CPA ), implémentée dans l’outil SymTA/S [ 59 ], est basée sur la modélisation des évènements comme la méthode Real Time Cal- culus ... Voir le document complet

163

AgentSlang: une Plateforme pour Systèmes Interactifs Distribués Multi-Incarnation

AgentSlang: une Plateforme pour Systèmes Interactifs Distribués Multi-Incarnation

... 1 https://github.com/AgentSlang/agentslang.github.io D’autres solutions ont été proposées pour développer des sys- tèmes interactifs. En particulier, ICT Virtual Human Toolkit (VHT) 2 [5] et GRETA 3 [8] sont deux ... Voir le document complet

3

Outils logiciels pour la surveillance et la détection des fautes dans les systèmes distribués

Outils logiciels pour la surveillance et la détection des fautes dans les systèmes distribués

... Tenant compte de Paspect temps reel lie au controle, ainsi que du materiel mis a notre disposition, nous avons opte pour 1'utilisation d'un outil norame GARNET (Generating an Amalgam of [r] ... Voir le document complet

Vers des systèmes de fenêtrage distribués : l'évolution du drag-and-drop

Vers des systèmes de fenêtrage distribués : l'évolution du drag-and-drop

... Enn, les autres évolutions importantes à envisager concernent les modèles d'évènements. Ces modèles paraissent assez ouverts pour accueillir des extensions mais pour augmenter leur pouvoir d'expression sans augmenter ... Voir le document complet

165

Conception et mise en oeuvre de systèmes multi-agents ouverts et distribués

Conception et mise en oeuvre de systèmes multi-agents ouverts et distribués

... • Si les communications sont très coûteuses et si l'ouverture est égale- ment peu utilisée, l'approche distribuée est intéressante car elle réduit le nombre de communica[r] ... Voir le document complet

169

Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones

Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchrones

... Démonstration de C2 Pour les pro essus orre ts, l'exé ution IRIS (PR C ) est indistin- guable d'une exé ution dans laquelle les tous les pro essus fautifs sont défaillants par. panne fr[r] ... Voir le document complet

189

Décision collaborative dans les systèmes distribués : application à la e-maintenance

Décision collaborative dans les systèmes distribués : application à la e-maintenance

... Un couplage entre les environnements de gestion intégrée que sont les ERP (Enterprise Resource Planning) et les systèmes d’aide à la décision peut également être fait. Les ERP sont des outils qui permettent de ... Voir le document complet

193

Proposition d'une architecture pour l'expérimentation de systèmes distribués extensibles

Proposition d'une architecture pour l'expérimentation de systèmes distribués extensibles

... des systèmes de com- munication laisse présager, dans un avenir proche, l’émergence de nouvelles archi- tectures distribuées extensibles dont la puissance croît en fonction du nombre d’élé- ments ...en ... Voir le document complet

41

Show all 3663 documents...