Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 2008

Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML

Résumé

The Unified Modeling Language (UML) standardized by the Object Management group (OMG) offers thirteen diagrams, but no facility to handle the requirement management phase which usually starts the development cycle of real-time systems. The SysML standard, including the concept of requirement diagram, has opened new avenues. Nevertheless both UML and SysML lack methodological support. This dissertation aims therefore to develop a methodology for real-time UML profiles as soon as the latter cover the upper phases (requirement capture - analysis - design) in the development cycle of real-time and distributed systems, and gives prime importance to formal verification of temporal requirements. The proposed methodology is instantiated on the TURTLE (Timed UML and RT-LOTOS Environment) profile. SysML requirement diagrams are extended with a chronogram-based visual language (TRDD = Timing Requirement Description Diagram). They are used to described non functional and temporal requirements. The latter are the starting point for automatic generation of observers whose role is to verify the requirements in question. The contributions presented throughout the dissertation are formalized and defined by meta-models. The results are not restricted to TURTLE. The proposed approach has been applied to secure group communication protocols (SAFECAST RNRT project).
En dépit de ses treize diagrammes, le langage UML (Unified Modeling Language) normalisé par l'OMG (Object Management Group) n'offre aucune facilité particulière pour appréhender convenablement la phase de traitement des exigences qui démarre le cycle de développement d'un système temps réel. La normalisation de SysML et des diagrammes d'exigences ouvre des perspectives qui ne sauraient faire oublier le manque de support méthodologique dont souffrent UML et SysML. Fort de ce constat, les travaux exposés dans ce mémoire contribuent au développement d'un volet " méthodologie " pour des profils UML temps réel qui couvrent les phases amont (traitement des d'exigences - analyse - conception) du cycle de développement des systèmes temps réel et distribués en donnant une place prépondérante à la vérification formelle des exigences temporelles. La méthodologie proposée est instanciée sur le profil TURTLE (Timed UML and RT-LOTOS Environment). Les exigences non-fonctionnelles temporelles sont décrites au moyen de diagrammes d'exigences SysML étendus par un langage visuel de type " chronogrammes " (TRDD = Timing Requirement Description Diagram). La formulation d'exigences temporelles sert de point de départ à la génération automatique d'observateurs dédiés à la vérification de ces exigences. Décrites par des méta-modèles UML et des définitions formelles, les contributions présentées dans ce mémoire ont vocation à être utilisées hors du périmètre de TURTLE. L'approche proposée a été appliquée à la vérification de protocoles de communication de groupes sécurisée (projet RNRT-SAFECAST).
Fichier principal
Vignette du fichier
Manuscrit_bfontan_version_LAAS.pdf (1.68 Mo) Télécharger le fichier
Loading...

Dates et versions

tel-00258430 , version 1 (22-02-2008)

Identifiants

  • HAL Id : tel-00258430 , version 1

Citer

Benjamin Fontan. Méthodologie de conception de systèmes temps réel et distribués en contexte UML/SysML. Réseaux et télécommunications [cs.NI]. Université Paul Sabatier - Toulouse III, 2008. Français. ⟨NNT : ⟩. ⟨tel-00258430⟩
766 Consultations
5607 Téléchargements

Partager

Gmail Facebook X LinkedIn More