Skip to Main content Skip to Navigation
Conference papers

Logical time @ work: the RT-Simex project

Julien Deantoni 1 Frédéric Mallet 1 Charles André 1 Frédéric Thomas 2
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
2 Obeo [Gif-sur-Yvette]
Abstract : This paper overviews the benefits of using logical time in the context of the RT-Simex project. We focus on the use of logical time to, first, graphically specify the functional and extra-functional system requirements; second, to verify that an execution is correct with regards to the requirements. The system requirements are expressed by using the UML MARTE profile conjointly with CCSL, its formal and tooled companion language.
Document type :
Conference papers
Complete list of metadatas

Cited literature [4 references]  Display  Hide  Download
https://hal.inria.fr/inria-00587151
Contributor : Team Kairos <>
Submitted on : Wednesday, April 20, 2011 - 10:07:33 AM
Last modification on : Thursday, January 21, 2021 - 10:46:02 AM
Long-term archiving on: : Thursday, July 21, 2011 - 2:38:50 AM

File

Vignette du document
deantoni_SAFA_2010.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00587151, version 1

Collections

CNRS | INRIA | I3S | UNICE | UNIV-COTEDAZUR

Citation

Julien Deantoni, Frédéric Mallet, Charles André, Frédéric Thomas. Logical time @ work: the RT-Simex project. Sophia Antipolis Formal Approach, Apr 2011, Sophia, France. ⟨inria-00587151⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

353

Files downloads

176

 

Contact                    Legal Notice                    Personal Data