SRMP: a software pattern for deadlocks prevention inreal-time concurrency models - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

SRMP: a software pattern for deadlocks prevention inreal-time concurrency models

Résumé

Model-based approaches for the development of software intensive real-time embedded systems allow early verification of timing properties at the design phase. At this phase, the Real-Time Operating System (RTOS) may not be chosen, hence some assumptions on the software platform are made to achieve timing verifications such as schedulability analysis of tasks describing the application. Among these assumptions, the synchronization protocol which is used to manage the concurrent access to resources that are shared between tasks. A classical solution is to consider the Priority Ceiling Protocol (PCP) synchronization protocol to avoid deadlocks. However, when this protocol is not provided by the target RTOS on which the application will be deployed, the concurrency model becomes not implementable and a new synchronization protocol must be considered. In this paper, we propose the Shared Resource Merge Pattern (SRMP) which aims to prevent deadlocks when the use of PCP protocol is not allowed by the target RTOS. The application of this pattern on the concurrency model must guarantee that the timing properties of the real-time application are still met.
Fichier non déposé

Dates et versions

hal-01157237 , version 1 (27-05-2015)

Identifiants

Citer

Rania Mzid, Chokri Mraidha, Jean-Philippe Babau, Mohamed Abid. SRMP: a software pattern for deadlocks prevention inreal-time concurrency models. the 10th international ACM Sigsoft conference on Quality of software architectures, QoSA'14, Jun 2014, Lille, France. pp.139-144, ⟨10.1145/2602576.2602591⟩. ⟨hal-01157237⟩
335 Consultations
0 Téléchargements

Altmetric

Partager

More