diapos 13 de Vincent Gaudel ... Offline et on-line mode, pour le meta modele aadl ... Techniques d'analyse aadl, mise en application avec cheddar ...description des composants, methodes d'analyse ... express mise en oeuvre de cheddar adl (voir son modele express ...) autre choix possible ... raisons ... m'inspirer du manuel de AADL, avec les regles ... les listes des tables et tables de matieres ... \\Référence a cheddar adl en express ... en fait, utiliser cheddar adl.exp pour faire ressortir tous les composants a exprimer ... set associative or fully associative corresponds to random, lru pseudo associative .. ajouter deux annexes pour les legalicy rule et pour les attributs ... voir la description de aadl ... revoir ma structure pour avoir software componenet hardware componenent comme des section , comme ds aadl standard .. ne pas oublier de faire pour chaque entite un dtd ou un xml schema des attributs formel ... mettre a la fin la dtd complete modifiee plus un exemple ... \\Definir network avant processor, et lier le processeur a un network ... idem dans l'interface graphique .. Voir comment gerer les sous attributs ... Associer legality rule et consistency rules .. gerer la notion de task group et de task ... revr la def du jitter et s'assurer que c'est uniquement pr les tache periodiques ... ajouter la liste des tableaux, ou chaque tableau est la dtd ou xmlschema des entites ... dans contribs, marte_to_cheddar_transformation, j'ai de bonnes definitions .... pour completer le rapport technique ... un adresse space est connecté a un seul processeur ... voir aussi le cas des resources ...