Applying Deadlock Risk Assessment in Architectural Models of Real-Time Systems

Monzón, Antonio; Fernandez Sanchez, Jose Luis y Ruíz de Castañeda, Jorge (2010). Applying Deadlock Risk Assessment in Architectural Models of Real-Time Systems. En: "5th International Congress Embedded Real Time Software and Systems, ERTS 2010", 19/05/2010 - 21/05/2010, Toulouse, Francia.

Descripción

Título: Applying Deadlock Risk Assessment in Architectural Models of Real-Time Systems
Autor/es:
  • Monzón, Antonio
  • Fernandez Sanchez, Jose Luis
  • Ruíz de Castañeda, Jorge
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 5th International Congress Embedded Real Time Software and Systems, ERTS 2010
Fechas del Evento: 19/05/2010 - 21/05/2010
Lugar del Evento: Toulouse, Francia
Título del Libro: Proceedings of the 5th International Congress Embedded Real Time Software and Systems, ERTS 2010
Fecha: 2010
Materias:
Palabras Clave Informales: Software Architecture, Real-Time, UML, Concurrency, Deadlock.
Escuela: E.T.S.I. Industriales (UPM)
Departamento: Ingeniería de Organización, Administración de Empresas y Estadística
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 (389kB) | Vista Previa

Resumen

Software Architectural Assessment is a key discipline to identify at early stages of a real-time system (RTS) synthesis the problems that may become critical in its operation. Typical mechanisms supporting concurrency, such as semaphores or monitors, usually lead to concurrency problems in execution time difficult to identify, reproduce and solve. 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 creation of a tool to assess deadlock risk in architectural models of a RTS. A concrete architectural style (PPOOA-UML) was used to represent PIM (Platform Independent Models) of a RTS architecture supported by the PPOOA-Visio CASE tool. A case study was used to validate the deadlock assessment tool created. In the context of one of the functions of a military transport aircraft, the auto-tuning function of the communications system was selected for the assessment of the deadlock risk. According to the results obtained some guidelines are outlined to minimize the deadlock risk of the system architecture.

Más información

ID de Registro: 8202
Identificador DC: http://oa.upm.es/8202/
Identificador OAI: oai:oa.upm.es:8202
URL Oficial: http://www.erts2010.org/
Depositado por: Memoria Investigacion
Depositado el: 04 Ago 2011 11:44
Ultima Modificación: 20 Abr 2016 17:04
  • 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