Top PDF 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
... La méthode B est une méthode formelle qui couvre toutes les étapes de développement du logiciel, de la spécification jusqu’à la génération de code exécutable, par une succession ...
128
KORRIGAN : un formalisme et une méthode pour la spécification formelle et structurée de systèmes mixtes
... de spécification formelle est d’une grande importance pour le développement de systèmes logiciels et ceci tout particulièrement pour la conception et la vérification de systèmes dits ...
249
Spécification formelle de systèmes temps réel répartis par une approche flots de données à contraintes temporelles
... la spécification des systèmes ...de vérification dédié au langage Lustre et Xeve est un environnement de vérification dédié au langage ...
203
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] ...
199
Spécification des objets partagés dans les systèmes répartis sans-attente
... définition formelle d’une sémantique opération- nelle adaptée aux langages de programmation ...les systèmes répartis, dont la séquentialité, la concur- rence, la préemption et le conflit, tout en ...
207
Vérification formelle de systèmes d'information
... de systèmes informatiques plus rigoureuses notamment en les automatisant [21, ...la spécification de systèmes dynamiques [59, 77], les premières approches de vérification formelle de ...
249
Contribution à la conception et à l'implémentation d'un langage de spécification formelle dédié à la e-maintenance des systèmes de production par l'approche des Systèmes Multi-Agents
... d'ABC, méthode de Wilson). Mais nous insistons sur notre propre méthode qui est basée sur l'approximation des moindres carrés a n de présenter le scripte de l'agent dit de ...
160
Rapport d'avancement sur la vérification formelle des algorithmes de ParcourSup
... les systèmes de gestion de bases de ...preuve formelle du code implémentant les algorithmes : le langage Java est un langage qui autorise des mutations mémoires et du partage en mémoire de données mutables, ...
41
Vérification formelle des systèmes multi-agents auto-adaptatifs
... 2.2. La simulation : un moyen incontournable pour la validation entre chaque variable macroscopique et l’ensemble des variables microscopiques qui l’influencent. Il est nécessaire également de choisir l’opérateur de ...
157
SPÉCIFICATION ET VÉRIFICATION DES SYSTÈMES EMBARQUÉS TEMPS RÉEL EN UTILISANT LA LOGIQUE DE RÉÉCRITURE
... la spécification formelle de notre système temps réel dans le module temporisé RT-Maude, la dernière étape consistera à tester l'exactitude (correctness) du système concerné en utilisant une ...
171
2017 — Modélisation et spécification formelle de contexte et sa prédiction dans les systèmes diffus : une approche basée sur la logique temporelle et le modèle stochastique
... la vérification de consistance de connaissances en utilisant des règles axiomatiques définies dans Flora-2 (qui est un langage de base de connaissance orientée objet et une plateforme de développement des ...
211
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)
... Ensuite nous avons conçu un méta-modèle pour représenter la sémantique de ces concepts et leurs associations. Nous avons défini une fonction " sens " sous formes de règles de transformation pour assurer le passage ...
126
Spécification et transformation de langages de points de vue des systèmes répartis ouverts
... une méthode, mais bien un ensemble de concepts de spécification et de ...sémantique formelle du modèle de référence ODP pour la rendre plus ...
139
Décomposition formelle des spécifications centralisées Event-B : application aux systèmes distribués BIP
... La méthode Event-B ne supporte pas d’une façon native des mécanismes de réutilisation très utiles pour le développement formel des systèmes ...la spécification (contexte abstrait) et ...
176
Vérification formelle de programmes de génération de données structurées
... une méthode élémentaire pour la génération automatique de données de ...cette méthode de test est particulièrement bien adaptée à la détection d’erreurs dans des programmes portant sur des structures de ...
194
Qbricks, un environnement pour la vérification formelle en informatique quantique *
... intégralement écrites par l’utilisateur. La deuxième difficulté vient de la combinaison des types et des spécifications : les annotations de types sont complexes et les preuves doivent être don- nées pour permettre au ...
9
Du modèle de processus d’affaires à la spécification des exigences en contexte de systèmes intelligents : application de la méthode CommonKADS
... la méthode CommonKADS en l’appliquant à une situation réelle du Fonds d’investissement étudiant de l’Université de Sherbrooke ...La méthode de recherche adoptée pour mener ce travail est la recherche en ...
100
Génération automatique d'observateurs pour la vérification formelle d'exigences temporelles
... Figure 1. Positionnement de la génération automatique des observateurs La synthèse d’observateur peut être ainsi résumée. Les informations du TRDD permettent de construire un squelette de comportement de l’observateur ...
2
Mécanismes d'introspection pour la vérification semi-formelle de modèles au niveau système
... Pour calculer le surcoût, la méthode utilisée est la suivante: dans un premier temps, on mesure le temps d’exécution d’une simulation sans observateurs, puis avec l’ensemble des observat[r] ...
159
Modèles, méthodes et outils pour les systèmes répartis multiéchelles
... Les systèmes informatiques sont des systèmes de plus en plus complexes, répartis sur plusieurs niveaux d’infrastructures des Technologies de l’Information et de la Com- munication ...ces ...
164