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

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

Description

Title: Applying Deadlock Risk Assessment in Architectural Models of Real-Time Systems
Author/s:
  • Monzón, Antonio
  • Fernandez Sanchez, Jose Luis
  • Ruíz de Castañeda, Jorge
Item Type: Presentation at Congress or Conference (Article)
Event Title: 5th International Congress Embedded Real Time Software and Systems, ERTS 2010
Event Dates: 19/05/2010 - 21/05/2010
Event Location: Toulouse, Francia
Title of Book: Proceedings of the 5th International Congress Embedded Real Time Software and Systems, ERTS 2010
Date: 2010
Subjects:
Freetext Keywords: Software Architecture, Real-Time, UML, Concurrency, Deadlock.
Faculty: E.T.S.I. Industriales (UPM)
Department: Ingeniería de Organización, Administración de Empresas y Estadística
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 (389kB) | Preview

Abstract

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.

More information

Item ID: 8202
DC Identifier: http://oa.upm.es/8202/
OAI Identifier: oai:oa.upm.es:8202
Official URL: http://www.erts2010.org/
Deposited by: Memoria Investigacion
Deposited on: 04 Aug 2011 11:44
Last Modified: 20 Apr 2016 17:04
  • 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