Integration of Time Issues into Component-Based Applications

Sébastien Saudrais 1 Noël Plouzeau 1 Olivier Barais 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Inthispaperwedescribeatechniqueforspecifyingtimerelatedprop- erties on traditional software components. We apply the separation of concerns paradigm to allow independent specification of timing and to integrate time- checking specialized tool support into conventional software design processes. We aim at helping the designer to specify time contracts and at simplifying the introduction of time properties in the component behaviour description. We pro- pose to handle timing issues in a separate and specific design activity, in order to provide means of formal computation of time properties for component assem- blies without modifying in depth existing design processes.
Type de document :
Communication dans un congrès
CBSE, Jul 2007, Boston, United States. 2007
Liste complète des métadonnées

Littérature citée [26 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00477509
Contributeur : Noël Plouzeau <>
Soumis le : jeudi 29 avril 2010 - 13:36:33
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : jeudi 30 septembre 2010 - 16:03:06

Fichier

CBSE_2007_Saudrais_et_al_46080...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00477509, version 1

Citation

Sébastien Saudrais, Noël Plouzeau, Olivier Barais. Integration of Time Issues into Component-Based Applications. CBSE, Jul 2007, Boston, United States. 2007. 〈inria-00477509〉

Partager

Métriques

Consultations de la notice

307

Téléchargements de fichiers

154