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, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
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.
Type de document :
Communication dans un congrès
Sophia Antipolis Formal Approach, Apr 2011, Sophia, France. 2010, <http://www-sop.inria.fr/oasis/SAFA/Safa2010/04_DeAntoni_SAFA2010_final.pdf>
Liste complète des métadonnées


https://hal.inria.fr/inria-00587151
Contributeur : Team Aoste <>
Soumis le : mercredi 20 avril 2011 - 10:07:33
Dernière modification le : lundi 5 octobre 2015 - 16:57:26
Document(s) archivé(s) le : jeudi 21 juillet 2011 - 02:38:50

Fichier

deantoni_SAFA_2010.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00587151, version 1

Collections

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. 2010, <http://www-sop.inria.fr/oasis/SAFA/Safa2010/04_DeAntoni_SAFA2010_final.pdf>. <inria-00587151>

Partager

Métriques

Consultations de
la notice

232

Téléchargements du document

102