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 metadata

Cited literature [26 references]  Display  Hide  Download
Contributor : Noël Plouzeau Connect in order to contact the contributor
Submitted on : Thursday, April 29, 2010 - 1:36:33 PM
Last modification on : Tuesday, June 15, 2021 - 4:16:13 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⟩



Les métriques sont temporairement indisponibles