On the Requirements for Quality Composability Modeling and Analysis

Fernández Briones, Javier and Miguel Cabello, Miguel Angel de and Silva Gallino, Juan Pedro and Alonso Muñoz, Alejandro Antonio (2010). On the Requirements for Quality Composability Modeling and Analysis. In: "13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW '10", 05/05/2010 - 06/05/2010, Carmona, España. ISBN 978-1-4244-7218-5.

Description

Title: On the Requirements for Quality Composability Modeling and Analysis
Author/s:
  • Fernández Briones, Javier
  • Miguel Cabello, Miguel Angel de
  • Silva Gallino, Juan Pedro
  • Alonso Muñoz, Alejandro Antonio
Item Type: Presentation at Congress or Conference (Article)
Event Title: 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW '10
Event Dates: 05/05/2010 - 06/05/2010
Event Location: Carmona, España
Title of Book: Proceedings of the 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW '10
Date: 2010
ISBN: 978-1-4244-7218-5
Subjects:
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos [hasta 2014]
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (189kB) | Preview

Abstract

Real-time, embedded and safety-critical systems have to meet some quality criteria in order to provide certain reliance on its operation. The quality of a system depends on the complex composition of the quality of its subsystems. Quality composability depends on matchmaking the provided and required quality specifications. To allow for flexibility during the system design, we study composability as a configuration problem. We allow options of quality specifications to represent design choices, deployment choices, operation modes or component adaptability. This kind of assessments of system architectures is very important e.g., for COTS development. The contributions of this paper are: to study the modeling requirements to model composability analysis, to compare two modeling approaches, and to show how a model-driven environment can leverage composability assessments. The two modeling approaches, QoS-FT + OCL and MARTE + VSL, are used to attach quality specifications to system models. However, our ultimate goal is to evaluate these specifications, and we have implemented tool-support to evaluate composability using constraint satisfaction techniques.

More information

Item ID: 6904
DC Identifier: http://oa.upm.es/6904/
OAI Identifier: oai:oa.upm.es:6904
Official URL: http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=5479519
Deposited by: Memoria Investigacion
Deposited on: 12 May 2011 12:26
Last Modified: 20 Apr 2016 16:01
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM