Projet d'Ingénierie / QL

Pierre-Edouard PORTIER

Séance 3
H4211
Guillaume ABADIE
Thierry CANTENOT
Juliette COURLET
Rémi DOMINGUES
Adrien DUFFY-CROISSARD
Ahmed KACHKACH

Architecture du système


Modèle des concepts du Drone


Modèle des concepts du Contrôleur

Modèle de protocole du drone


Modèle de protocole de contrôleur maison

Spécification OCL des opérations



Opération : Controleur_Client::affecterProduit(balance:Balance, prod:Produit)
Cas d'utilisation : Affecter un produit à une balance
Messages :
  IHM_Gestion_Des_Balances::afficherProduitsAffectes(balances:Liste<Balance>, produits:Liste<Produit>)
Préconditions :  self.balances^contient(balance)
Postconditions :  self.IHM_Gestion_Des_Balances^afficherProduitsAffectes(balances, produits)

Algorithme d'optimisation de chemins

Algorithme d'optimisation de chemins


Algorithme d'optimisation de chemins

Algorithme d'optimisation de chemins

Algorithme d'optimisation de chemins

Cache des distances

  • Pour M nœuds aillant des livraisons
  • Pour N nœuds au total dans le réseau
  • Pre-calcul des M^2 distances
  • Dijkstra calcule les distances de tout point à partir d'un
  • Donc seulement M exécutions de Dijkstra
  • Complexité de O(M N^2)
  • Exécuté une seule fois


self.paths_from = dict()

for node_id in self.deliveries_per_node: 
    self.paths_from[k] = self.network.dijkstra_from_node(node_id)

self.paths_from[warhouse_id] = self.network.dijkstra_from_node(warhouse_id)

Procédures de contrôle qualité




- Mise en place de modèles des modèles.

Respect de la charte graphique et textuelle !!



 Mise en place de modèles des modèles.



Spécification OCL


Opération : 
Cas d'utilisation : 
Messages :
Préconditions : 
Postconditions :


Redéfinitions des objets à tracer

Inter-modèles 

Entre le modèle de l'environnement et le modèle des protocoles

  • Les mêmes sous-systèmes doivent se retrouver : présence obligatoire de tous les sous-systèmes, et nommage identique
  • Tous les messages d'un sous-système dans le MdE doivent se retrouver dans le modèle du protocole, même nommage.


Entre le modèle des concepts et le modèle des opérations

  • Les objets définis doivent se retrouver dans les opérations


Redéfinitions des objets à tracer

Inter-modèles


Entre les CdU et le modèle des opérations

  • On doit retrouver les mêmes CdU.
  • Lier à l'aide d'un tableau les CdU et leur opération associée, afin de pouvoir naviguer entre modèle et garder les connexions


Entre Modèle du protocole et modèle des opérations :

  • Si il existe un état non déterministe, il devra être réglé dans la définition déclarative des opérations.

Redéfinitions des objets à tracer


Entre le modèle des concepts et le modèle du protocole
  • Les transitions internes doivent être réalisables avec les objets/attributs présents dans le modèle des concepts

Répartition des tâches

Itération courante
Prochaine itération





Avancement


Dossier d'initialisation (100%)
Procédures de contrôle qualité (100%)
Procédure d'assurance de la traçabilité entre modèles (100%)
Architecture système (100%)
Description des cas d'utilisation (100%)
Modèles de l'environnement (100%)
Modèles des concepts (100%)
Modèles de protocole (60%)
Spécification OCL des opérations (80%)
Algorithme d'optimisation de chemin (60%)






Des questions?
Made with Slides.com