Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Application of Deadlock Risk Evaluation of Architectural Models
Año:2012
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
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.
Internacional
Si
JCR del ISI
Si
Título de la revista
Software: Practice and Experience
ISSN
ISSN 0038-0644
Factor de impacto JCR
0,519
Información de impacto
Volumen
42
DOI
0.1002/spe.1118
Número de revista
9
Desde la página
1137
Hasta la página
1163
Mes
SEPTIEMBRE
Ranking
76/104
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Jose Luis Fernandez Sanchez (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Sistemas dinámicos
  • Departamento: Ingeniería de Organización, Administración de Empresas y Estadística
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)