Un environnement de conception de systèmes distribués basé sur UML

Ludovic Apvrille (1, 2) , Pierre Saqui-Sannes (3) , Renaud Pacalet (1, 2) , Axelle Apvrille (4)

1 LabSoC - System on Chip
2 COMELEC - Département Communications & Electronique
3 LAAS - Laboratoire d'analyse et d'architecture des systèmes
4 MISC Magazine

Cet article propose un nouvel environnement de d~veloppement des systkmes distribu6s, bas( sur le profil UMLTURTLE.Aux (tapes d'analyse et de conception qui firent l'objet de pre- cedents articles, nous ajoutons une 6tape de d(ploiement. I1 s'agit en l'occurrence de d6ployer des composants TURTLEsur des noeuds mat6riels d'ex(cution et de mod6liser les liens entre ces nceuds d'ex(cution. A 1'exemple des diagrammes TURTLEutilis(s en analyse et conception, les diagrammes de d6ploiement se voient dot6s d'une s6mantique formelle par traduction vers le langage RT-LOTOS.L'outil TFO01(TURTLEToolkit) est enrichi d' un g(n6rateur de code ex6cutable Java capable de prendre en compte les composants TURTLEd6ploy(s sur des noeuds et les liens entre les noeuds d'ex(cution. ~ool g(nbre maintenant du code r6seau qui utilise les protocoles de type UDPou RMIpour assurer les communications entre compo- sants. L'intrusion d'un pirate dans une session HTrPsdcurisde sert d'exemple ilIustratif de l'environnement propose.

Mots clés: Conception syst~me; M6thode formelle; S6curit6 Internet; Description systbme; Langage UML; S6mantiques; Programmation; Ddploiement inforrnatique.; Systbme rdparti

Domaines: Architectures Matérielles [cs.AR]; Informatique et langage [cs.CL]; Electronique; Modélisation et simulation; Cryptographie et sécurité [cs.CR]; Systèmes embarqués

Ludovic Apvrille, Pierre Saqui-Sannes, Renaud Pacalet, Axelle Apvrille. Un environnement de conception de systèmes distribués basé sur UML. Annals of Telecommunications - annales des télécommunications, 2006, 61 (11-12), pp.1347-1368. ⟨10.1007/BF03219900⟩. ⟨hal-02893108⟩