Composants avec Propriétés Temporelles

Sébastien Saudrais 1 Olivier Barais 1 Noël Plouzeau 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
Résumé : Cet article propose une approche pour le développement d'applications mettant en avant le support de propriétés temporelles pour les composants logiciels. Notre processus s'adresse aux développeurs qui (1) construisent des applications à partir de composants avec des contraintes de temps et de performance et/ou (2) con{\c c}oivent des composants logiciels pour ce type d'applications. A partir des spécifications temporelles de l'application, le processus vérifie l'assemblage des composants et génère un connecteur en Giotto préservant les pro- priétés temporelles.
Type de document :
Communication dans un congrès
Proceedings of the CAL 2006, 2006, Nantes, France, France. 2006
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00512552
Contributeur : Didier Vojtisek <>
Soumis le : lundi 30 août 2010 - 18:09:23
Dernière modification le : mercredi 16 mai 2018 - 11:23:06
Document(s) archivé(s) le : jeudi 1 décembre 2016 - 12:15:15

Fichier

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

Identifiants

  • HAL Id : inria-00512552, version 1

Citation

Sébastien Saudrais, Olivier Barais, Noël Plouzeau. Composants avec Propriétés Temporelles. Proceedings of the CAL 2006, 2006, Nantes, France, France. 2006. 〈inria-00512552〉

Partager

Métriques

Consultations de la notice

355

Téléchargements de fichiers

116