Skip to Main content Skip to Navigation

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

Abstract : 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).
Complete list of metadatas

Cited literature [88 references]  Display  Hide  Download
Contributor : Arlette Evrard <>
Submitted on : Friday, February 22, 2008 - 10:25:02 AM
Last modification on : Monday, October 19, 2020 - 11:12:46 AM
Long-term archiving on: : Thursday, May 20, 2010 - 7:28:09 PM


  • HAL Id : tel-00258430, version 1


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. ⟨tel-00258430⟩



Record views


Files downloads