Logical time @ work: the RT-Simex project - Archive ouverte HAL Access content directly
Conference Papers Year : 2010

Logical time @ work: the RT-Simex project

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.
Fichier principal
Vignette du fichier
deantoni_SAFA_2010.pdf (206.34 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00587151 , version 1 (20-04-2011)

Identifiers

  • HAL Id : inria-00587151 , version 1

Cite

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⟩
172 View
89 Download

Share

Gmail Facebook Twitter LinkedIn More