Analyse des d´ependances pour le d´eploiement...

Analyse des dependances pour le deploiementautonome

Projet : Safe AUtonomic Network Administration (SAUNA)

Meriem Belguidoum Antoine Beugnard Fabien Dagnat

Departement d’InformatiqueENST Bretagne

Journees des Doctorants 2005

IntroductionLe deploiement

Les dependances d’installationConclusion et perspectives

ContexteObjectifs

Contexte

CPUDiskSizeRAM....

processeur

Environnement

Materiels processeur

Disk ....

OS ....Logiciels

Installation

Composant

Analyse des dépendances

LanguageMode graphiqueDoc en ligne

Pourquoi?

Utilisateur

Mise à jour

ContexteObjectifs

Objectifs

Etudier les differents types de dependances liees audeploiement.

La prise en compte de l’evolution du systeme (besoind’autonomie)

La verification et la validation du deploiement (besoin d’unmodele formel).

ContexteObjectifs

1 Le deploiement

2 Les dependances d’installation

3 Conclusion et perspectives

Le monde du deploiementModelisation

1 Le deploiement

Le monde du deploiement

Ressources Mecanismes

Proprietes Politiques

... ...

Machine Postfix Installation

Coherence Securisee

Deploiement

Monde Reel vs Monde Formel

Monde Reel

Entite a deployer

Site de deploiement

Mecanisme de

deploiement

Monde Formel

Description abstraite

de dependence

de contexte

Raisonnement

Monde Reel

Entite a deployer

Site de deploiement

Mecanisme de

deploiement

Monde Formel

de dependence

de contexte

Raisonnement

Monde Reel

Entite a deployer

Site de deploiement

Mecanisme de

deploiement

Monde Formel

de dependence

de contexte

Raisonnement

Monde Reel

Entite a deployer

Site de deploiement

Mecanisme de

deploiement

Monde Formel

de dependence

de contexte

Raisonnement

Monde Reel

Entite a deployer

Site de deploiement

Mecanisme de

deploiement

Monde Formel

de dependence

de contexte

Raisonnement

Monde Reel

Entite a deployer

Site de deploiement

Mecanisme de

deploiement

Monde Formel

de dependence

de contexte

Raisonnement

Le monde du deploiementModelisation

Modelisation du deploiement

Ressource

entité deployable Site de déploiement

Activité déploiement

possède+*

ContraintesPropriétés

possède

effectuée dans

Politique

Descripteur

utiliseeffectuée sur

possède

possède+

DépendanceRègles de déploiement

utilise

Utilise

Contexte

Possède

Utilise

possède

Created with Poseidon for UML Community Edition. Not for Commercial Use.

Ressource

entité deployable Site de déploiement

Activité déploiement

possède+*

ContraintesPropriétés

possède

effectuée dans

Politique

Descripteur

utiliseeffectuée sur

possède

possède+

DépendanceRègles de déploiement

utilise

Utilise

Contexte

Possède

Utilise

possède

Created with Poseidon for UML Community Edition. Not for Commercial Use.

L’interet de l’etude des dependancesFormalisation des dependances d’installationLe principe de l’installation

1 Le deploiement

Pourquoi l’etude des dependances ?

Permettre le deploiement automatique.

Verifier la compatibilite d’un composant avec :

son environnement.les differents composants.

Assurer la coherence :

intra-composant.inter-composants.

Detecter les situations d’interblocage lies au deploiement descomposants.

Exemple du serveur de messagerie

postfixsize ≥ 1380

¬SM∧ lib

pmail ∨ MUA

Amavis AV

fetchmailsize ≥ 852

¬ poclient ∧ lib

ServeurPop

Popclient

procmailfetchmail ∨ MTA

¬ Smanager ∧ lib

size ≥ 248

Spam ∧ Sanitizer AntiSpam

Sylpheedsize ≥ 1508

¬ SylpheedDoc ∧ lib

spell-Dict Check

MTA MDA MUA AV AntiSpam

Les predicats et les dependances

Les predicats

[v ≥ V ]

P1 ∧ P2

P1 ∨ P2

Amavis

¬sendmail ∧ lib

procmail ∨ MUA

D2 : MTA

AV-MTA

Les predicats

[v ≥ V ]

P1 ∧ P2

P1 ∨ P2

Amavis

¬sendmail ∧ lib

procmail ∨ MUA

D2 : MTA

AV-MTA

Les predicats

[v ≥ V ]

P1 ∧ P2

P1 ∨ P2

Amavis

¬sendmail ∧ lib

procmail ∨ MUA

D2 : MTA

AV-MTA

Les predicats

[v ≥ V ]

P1 ∧ P2

P1 ∨ P2

Amavis

¬sendmail ∧ lib

procmail ∨ MUA

D2 : MTA

AV-MTA

Les predicats

[v ≥ V ]

P1 ∧ P2

P1 ∨ P2

Amavis

¬sendmail ∧ lib

procmail ∨ MUA

D2 : MTA

AV-MTA

Les predicats

[v ≥ V ]

P1 ∧ P2

P1 ∨ P2

Amavis

¬sendmail ∧ lib

procmail ∨ MUA

D2 : MTA

AV-MTA

Les dependances

D1 • D2

Amavis

¬sendmail ∧ lib

procmail ∨ MUA

D2 : MTA

AV-MTA

Les dependances

D1 • D2

Amavis

¬sendmail ∧ lib

procmail ∨ MUA

D2 : MTA

AV-MTA

Les dependances

D1 • D2

Amavis

¬sendmail ∧ lib

procmail ∨ MUA

D2 : MTA

AV-MTA

Le principe de l’installation

Mise à jourcontexte

non oui

⇒ (S, I)

composantDependances du Contexte

(D) Ctx(E , SD, SI )

InstallabiliteCtx ` D

Installation

Ctx ` D

ouinon

⇒ (S, I)

Installation

Ctx ` D

ouinon

⇒ (S, I)

Installation

Ctx ` D

non oui

⇒ (S, I)

Installation

Ctx ` D

non oui

Installation

Ctx ` D⇒ (S, I)

non ouiMise à jourcontexte

Installation

Ctx ` D⇒ (S, I)

1 Le deploiement

Conclusion

Caracterisation des dependances d’installation des composants

Traitement de l’installation avec la distinction entre :

Les dependances obligatoires, optionnelles et negatives.l’installabilite et l’installation effective des services.

Preuve formelle d’installabilite et d’installation.

Perspectives

Gestion de l’assemblage de composants.

Gestion de l’evolution du systeme.

Prouver les systemes de deduction proposes.

Integrer la notion de proprietes non-fonctionnelles.

Etudier les autres activites de deploiement.

Questions

Merci de m’avoir ecoute

Analyse des d´ependances pour le d´eploiement...

Documents

Transcript of Analyse des d´ependances pour le d´eploiement...

& h>d ^ ^ / E ^ D / > ^ W Z D / > ^

Représentations algébriques des codes convolutifs et des …departements.imt-atlantique.fr/data/sc/seminaires/... · 2010. 7. 12. · Repr´esentations alg´ebriques des codes convolutifs

P D Ouvrages d’ l’A Château d’

v £ ² Ò · '¨ >/ 'v £ ² Ò '¨>/( 4: #Ý >/>, 'v c £ d ¦ _ > E d 0 8 d d 0 3z3æ d £ u d ¥ å ¡ Ü î º ² Ò d 5ð0 ² Ò d

Résolution d’otites moyennes aiguës récurrentes …...2018/11/05 · Journal of Chiropractic Medicine 2008; 7: 86–93. 17. Kenney MJ and Ganta CK. Autonomic Nervous System and

Buchheit - Cardioespiratory and Autonomic Responses to 30-15 IFT - In Press JSCR

D D D D YJ & TJŒ -E D þJ O 50 TJŒ O b TJŒ O b O < D D D < 3 < …takawashigakuen.com/pdf/kouhou202004.pdf · 2020. 5. 19. · D D D D YJ & TJŒ -E D þJ O 50 TJŒ O b TJŒ O b

Une approche de construction d’EIAH fondée sur les DVA et ...departements.imt-atlantique.fr/data/informatique/...Diapositive 10 j6 SCARCE, un environnement fondé sur les DVA et

Ã›tablissements SPEDE FR 20201218...D dd hZ^ s/^ ^ W Z > Z '> D Ed KE ZE Ed > ^z^d D W> &KEE D Ed d [ , E' ZK/d^ [ D/^^/KE ' && d ^ ZZ U W Z d >/^^ D Ed d W Z EE

Estimation aveugle du résidu de porteuse appliquée aux ...departements.imt-atlantique.fr/...imad_02_10_08.pdf · Page 2 Rodrigue Imad Séjour d’ études à l’Université de

Support matériel, logiciel et cryptographique pour une ...departements.imt-atlantique.fr/data/informatique/seminairesDoctora… · Support mat¶eriel, logiciel et cryptographique

Autonomic Management of Multimodal Interaction: …iihm.imag.fr/publs/2012/EICS2012-Avouac-Lalanda-Nigay_.pdfAutonomic Management of Multimodal Interaction: DynaMo in action Pierre-Alain

d AdAdAdAdAd A · A dAdAdAdAdA d d AdAdAdAdAd A dA d AdAdAdAdAd A A dAdAdAdAdA d d AdAdAdAdAd A A dAdAdAdAdA d dAdAdAdAdAdA AdAdAdAdAdAd

ala - Hébergement gratuit d'imagesimg9.xooimage.com/files/4/7/0/metodo_completo_d...-apostol-2cdee1… · ·d ·d ·d ·d ·d ·d ·d ·d ·dedo ·dedo ·dedo. Las ... gorro de mago,

D d Mémoire

Do Majeur - gasmi.net · Gamme diatonique d t 128 d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d Secondes d t d d d d d d d d d d d d d d d d d d d d d d

Optimum resistance/Masse volumique Formules super … · Classe de masse volumique t/m3 D 1,9 D 1,7 D 1,5 D 1,8 D 1,5 D 1,2 D 0.9 D 0,5 D 1,5 D 1,2 0,9 D 0,4 D 0,3 Masse volumique

D 17 Pro / D 23 Pro / D 26 Pro / D 33 Pro

Z WKZd s/'/>E /d EK>M'/ W>/D EdK^z &KZd> /D/ EdK > ^/^d D ...

5 - Oregon · d d d d d d d d d d d d d d d d d d d dd d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d