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

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.
Document type :
Conference papers
Complete list of metadatas
Contributor : Axelle Pagnier <>
Submitted on : Tuesday, August 6, 2019 - 8:00:15 PM
Last modification on : Wednesday, August 7, 2019 - 1:23:32 AM


  • HAL Id : hal-02264345, version 1



Antonio Monzón, José-Luis Fernández-Sánchez, Jorge Ruíz-De-Castañeda. Applying Deadlock Risk Assessment in Architectural Models of Real-Time Systems. ERTS2 2010, Embedded Real Time Software & Systems, May 2010, Toulouse, France. ⟨hal-02264345⟩



Record views