Application of Deadlock Risk Evaluation of Architectural Models

Monzón, Antonio and Fernandez Sanchez, Jose Luis and 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.

Description

Title: Application of Deadlock Risk Evaluation of Architectural Models
Author/s:
  • Monzón, Antonio
  • Fernandez Sanchez, Jose Luis
  • Puente Alfaro, Juan Antonio de la
Item Type: Article
Título de Revista/Publicación: Software: Practice and Experience
Date: September 2011
ISSN: 1097-024X
Subjects:
Freetext Keywords: deadlock;software architecture;MBSE;UML;concurrency
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 (2MB) | Preview

Abstract

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.

More information

Item ID: 11421
DC Identifier: http://oa.upm.es/11421/
OAI Identifier: oai:oa.upm.es:11421
DOI: 10.1002/spe.1118
Official URL: http://onlinelibrary.wiley.com/doi/10.1002/spe.1118/abstract
Deposited by: Memoria Investigacion
Deposited on: 27 Jul 2012 13:01
Last Modified: 04 Mar 2015 16:06
  • 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