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

https://hal.inria.fr/inria-00477509
Contributor : Noël Plouzeau <>
Submitted on : Thursday, April 29, 2010 - 1:36:33 PM
Last modification on : Friday, November 16, 2018 - 1:30:09 AM
Long-term archiving on : Thursday, September 30, 2010 - 4:03:06 PM

File

CBSE_2007_Saudrais_et_al_46080...
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00477509, version 1

Citation

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⟩

Share

Metrics

Record views

347

Files downloads

227