Component Simulation-based Substitutivity Managing QoS Aspects

Pierre-Cyrille Heam 1 Olga Kouchnarenko 1 Jérôme Voinot 1
1 CASSIS - Combination of approaches to the security of infinite states systems
FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174), INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Several scientific bottlenecks have been identified in existing component-based approaches. Among them, we focus on the identification of a relevant abstraction for the component expression and verification of properties like substitutivity: When is it possible to formally accept or reject the substitution of a component in a composition? This paper suggests max/plus automata to tackle this problem when considering a new factor -- Quality of Service (QoS). Four notions of simulation-based substitutivity managing QoS aspects are proposed, and related complexity issues on max/plus automata are investigated.
Type de document :
Communication dans un congrès
Carlos Canal and Corina Pasareanu. Formal Aspects On Component Softwre - FACS'08, Sep 2008, Malaga, Spain. 260 (2010), pp.109-123, 2010, Electr. Notes Theor. Comput. Sci. 〈10.1016/j.entcs.2009.12.034〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00329909
Contributeur : Olga Kouchnarenko <>
Soumis le : lundi 13 octobre 2008 - 15:56:18
Dernière modification le : vendredi 6 juillet 2018 - 15:06:09

Lien texte intégral

Identifiants

Citation

Pierre-Cyrille Heam, Olga Kouchnarenko, Jérôme Voinot. Component Simulation-based Substitutivity Managing QoS Aspects. Carlos Canal and Corina Pasareanu. Formal Aspects On Component Softwre - FACS'08, Sep 2008, Malaga, Spain. 260 (2010), pp.109-123, 2010, Electr. Notes Theor. Comput. Sci. 〈10.1016/j.entcs.2009.12.034〉. 〈inria-00329909〉

Partager

Métriques

Consultations de la notice

186