Skip to Main content Skip to Navigation
Habilitation à diriger des recherches

Conception basée modèle des systèmes temps réel et distribués

Abstract : Real-time and distributed systems capture complex problems in terms of architecture design and behavior description. Because of their life-criticality and prototyping costs, these systems have stimulated research work on formal modeling language and model-based validation techniques that enable early detection of design errors. Nevertheless, formal modeling languages have incompletely succeeded in industry. The advent of the OMG-based Unified Modeling Language (UML) has open new avenues for an integration of formal modeling languages into a design methodology that might receive greater acceptance among practitioners. Relying on former experience with the formal description technique Estelle and timed extensions of Petri Nets, the main output of our research activity over the last five years is a real-time UML profile named TURTLE (Timed UML and RT-LOTOS Environment). TURTLE supersedes UML 2.0 by its extension of UML analysis and design diagrams, its formal semantics expressed in RT-LOTOS, and its toolkit (diagram editor and formal validation tool combining simulation capabilities and verification based on reachability analysis). The TURTLE methodology typically applies to real-time system design and communication architecture validation. This approach has been successfully applied on space-based systems and authentication protocols.
Document type :
Habilitation à diriger des recherches
Complete list of metadata

Cited literature [102 references]  Display  Hide  Download
Contributor : Emilie Marchand Connect in order to contact the contributor
Submitted on : Friday, October 21, 2005 - 9:34:10 AM
Last modification on : Tuesday, October 19, 2021 - 11:16:23 PM
Long-term archiving on: : Friday, April 2, 2010 - 10:16:27 PM


  • HAL Id : tel-00010707, version 1


Pierre de Saqui-Sannes. Conception basée modèle des systèmes temps réel et distribués. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse - INPT, 2005. ⟨tel-00010707⟩



Record views


Files downloads