OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Design and model-checking techniques applied to real-time RTI time management

Chaudron, Jean-Baptiste and Noulard, Eric and Siron, Pierre Design and model-checking techniques applied to real-time RTI time management. (2011) In: 2011 Spring Simulation Multiconference - SpringSim'11, 4 April 2011 - 8 April 2011 (Boston, United States).

[img] (Document in English)

PDF (Author's version) - Depositor and staff only - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


The design and implementation of an RTI includes several HLA services, a very important being the time management. Several time management protocols exist ranging from the Chandy-Misra-Bryant (CMB) null message conservative algorithm up to optimistic time warp one. We are interested in enhancing the high-performance and/or real-time performance of our open source RTI (CERTI) including the time management protocol. For achieving these goals we explored two complementary approaches, first, design a new conservative time management algorithm which avoid the time creep problem of classical CMB and then apply model checking techniques and tools to existing and new RTI algorithm in order to formally ensure the validity and the complexity of the algorithms. We will present in this paper the new conservative time management algorithm and the model-checking techniques applied to predict the real-time performance.

Item Type:Conference or Workshop Item (Lecture)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:Université de Toulouse > Institut Supérieur de l'Aéronautique et de l'Espace - ISAE-SUPAERO (FRANCE)
French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Laboratory name:
Deposited On:15 Feb 2011 09:36

Repository Staff Only: item control page