Reifying the Semantic Domains of Component Contracts

Jean-Marc Jézéquel 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 : In domains such as automotive or avionics, software cannot any longer be produced as a single chunk, and engineers are contemplating the possibility of componentizing it. A component only exhibits its provided or required interfaces, which must be enriched to take into account extra-functional aspects. This defines multi-level {\em contracts} between components allowing one to properly wire them. Instead of defining an integrated language only making available a limited set of concepts for modeling extra-functional aspects, we propose to handle open-ended modeling of extra-functional aspects of real-time and embedded systems, based on meta-modeling techniques and Model Driven Engineering (MDE) for reifying their semantics. Then the designer can use off-the-shelf tools to perform various kinds of design time analysis.
Type de document :
Communication dans un congrès
5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, 2006, Braga, Portugal, Portugal. Springer SBM, 2006
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00512546
Contributeur : Didier Vojtisek <>
Soumis le : lundi 30 août 2010 - 17:51:45
Dernière modification le : mercredi 11 avril 2018 - 01:52:16
Document(s) archivé(s) le : jeudi 1 décembre 2016 - 11:43:27

Fichier

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

Identifiants

  • HAL Id : inria-00512546, version 1

Citation

Jean-Marc Jézéquel. Reifying the Semantic Domains of Component Contracts. 5th IFIP Working Conference on Distributed and Parallel Embedded Systems, DIPES'06, 2006, Braga, Portugal, Portugal. Springer SBM, 2006. 〈inria-00512546〉

Partager

Métriques

Consultations de la notice

256

Téléchargements de fichiers

106