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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/inria-00512552
Contributor : Didier Vojtisek <>
Submitted on : Monday, August 30, 2010 - 6:09:23 PM
Last modification on : Friday, November 16, 2018 - 1:22:29 AM
Long-term archiving on : Thursday, December 1, 2016 - 12:15:15 PM

File

Saudrais06a.pdf
Files produced by the author(s)

Identifiers

  • 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. ⟨inria-00512552⟩

Share

Metrics

Record views

372

Files downloads

125