Cycle de vie d'un modèle et définition de l'automate du client gem-graph. #2

New Issue

Open

opened 2023-10-16 15:10:22 +02:00 by neox · 0 comments

neox commented

2023-10-16 15:10:22 +02:00

Owner

Création d'un modèle.
- essais de courte durée pour mettre en évidence les erreurs reproductibles.
- les outils :
  - Renvoyer au client des copies des états locaux auxquels aucune règle ne s'adapte.
  - Tracer une règle (obtenir des informations chaque fois qu'elle est appliquée).
  - Déclencher une seule transition en un point choisi de l'espace global.
  - ...
Mise au point
- essais prolongés adaptés au repérage des erreurs aléatoires.
- ...
Confrontation à la réalité
- Lorsque le modèle produit des résultats suffisament reproductibles.

Un sous-groupe Gem-graph-lab disposant d'un moteur monothread localisé dans le client (peu performant mais indépendant) devrait être spécialisé dans le dépistage des erreurs reproductibles.

Certaines fonctionnalités, indispensables à ce travail, sont, en effet, incompatibles avec le fonctionnement du moteur du serveur.

Ex (voir les issues serveur #25, #26 et #27 - liste non limitative) :

Le serveur devrait être dédié aux calculs haute performance et longue durée nécessaires à la recherche d'erreurs aléatoires puis à l'étude de l'adéquation du modèle (confronté à la réalité).

- Création d'un modèle. * essais de courte durée pour mettre en évidence les erreurs reproductibles. * les outils : - Renvoyer au client des copies des états locaux auxquels aucune règle ne s'adapte. - Tracer une règle (obtenir des informations chaque fois qu'elle est appliquée). - Déclencher une seule transition en un point choisi de l'espace global. - ... - Mise au point * essais prolongés adaptés au repérage des erreurs aléatoires. * ... - Confrontation à la réalité * Lorsque le modèle produit des résultats suffisament reproductibles. --- Un sous-groupe Gem-graph-lab disposant d'un moteur monothread localisé dans le client (peu performant mais indépendant) devrait être spécialisé dans le dépistage des erreurs reproductibles. Certaines fonctionnalités, indispensables à ce travail, sont, en effet, incompatibles avec le fonctionnement du moteur du serveur. Ex (voir les issues serveur #25, #26 et #27 - liste non limitative) : Le serveur devrait être dédié aux calculs haute performance et longue durée nécessaires à la recherche d'erreurs aléatoires puis à l'étude de l'adéquation du modèle (confronté à la réalité).