Skip to Main content Skip to Navigation
Conference papers

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

Cited literature [26 references]  Display  Hide  Download
Contributor : Noël Plouzeau <>
Submitted on : Thursday, April 29, 2010 - 1:36:33 PM
Last modification on : Thursday, January 7, 2021 - 4:16:54 PM
Long-term archiving on: : Thursday, September 30, 2010 - 4:03:06 PM


Files produced by the author(s)


  • HAL Id : inria-00477509, version 1


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



Record views


Files downloads