Application of Deadlock Risk Evaluation of Architectural Models

Monzón, Antonio; Fernandez Sanchez, Jose Luis y Puente Alfaro, Juan Antonio de la (2011). Application of Deadlock Risk Evaluation of Architectural Models. "Software: Practice and Experience" ; ISSN 1097-024X. https://doi.org/10.1002/spe.1118.

Descripción

Título: Application of Deadlock Risk Evaluation of Architectural Models
Autor/es:
  • Monzón, Antonio
  • Fernandez Sanchez, Jose Luis
  • Puente Alfaro, Juan Antonio de la
Tipo de Documento: Artículo
Título de Revista/Publicación: Software: Practice and Experience
Fecha: Septiembre 2011
Materias:
Palabras Clave Informales: deadlock;software architecture;MBSE;UML;concurrency
Escuela: E.T.S.I. Telecomunicación (UPM)
Departamento: Ingeniería de Sistemas Telemáticos [hasta 2014]
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (2MB) | Vista Previa

Resumen

Software architectural evaluation is a key discipline used to identify, at early stages of a real-time system (RTS) development, the problems that may arise during its operation. Typical mechanisms supporting concurrency, such as semaphores, mutexes or monitors, usually lead to concurrency problems in execution time that are difficult to be identified, reproduced and solved. For this reason, it is crucial to understand the root causes of these problems and to provide support to identify and mitigate them at early stages of the system lifecycle. This paper aims to present the results of a research work oriented to the development of the tool called ‘Deadlock Risk Evaluation of Architectural Models’ (DREAM) to assess deadlock risk in architectural models of an RTS. A particular architectural style, Pipelines of Processes in Object-Oriented Architectures–UML (PPOOA) was used to represent platform-independent models of an RTS architecture supported by the PPOOA –Visio tool. We validated the technique presented here by using several case studies related to RTS development and comparing our results with those from other deadlock detection approaches, supported by different tools. Here we present two of these case studies, one related to avionics and the other to planetary exploration robotics. Copyright © 2011 John Wiley & Sons, Ltd.

Más información

ID de Registro: 11421
Identificador DC: http://oa.upm.es/11421/
Identificador OAI: oai:oa.upm.es:11421
Identificador DOI: 10.1002/spe.1118
URL Oficial: http://onlinelibrary.wiley.com/doi/10.1002/spe.1118/abstract
Depositado por: Memoria Investigacion
Depositado el: 27 Jul 2012 13:01
Ultima Modificación: 04 Mar 2015 16:06
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM