A new approach to detect potential race conditions in component-based systems - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

A new approach to detect potential race conditions in component-based systems

Abstract

When programming software applications, developers have to deal with many functional and non-functional requirements. During the last decade, especially in the augmented reality field of research, many frameworks have been developed using a component-based approach in order to fulfil the non-functional requirements. In this paper, we focus on such a specific requirement: race conditions issues in component-based systems. We present a heuristic that analyses data flows and detects components that may be subject to race conditions. A toy example introducing the problem and the solution is developed and implemented under the ARCS (for Augmented Reality Component System) framework. We also show the results of our algorithm on real size applications using up to 70 components and compare those results with some obtained by developers who had to make exactly the same work by hand.
Fichier principal
Vignette du fichier
cbse.pdf (744.27 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01024478 , version 1 (16-07-2014)

Identifiers

Cite

Jean-Yves Didier, Malik Mallem. A new approach to detect potential race conditions in component-based systems. 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France. pp.97--106, ⟨10.1145/2602458.2602470⟩. ⟨hal-01024478⟩
90 View
555 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More