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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [35 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01024478
Contributor : Frédéric Davesne <>
Submitted on : Wednesday, July 16, 2014 - 11:21:51 AM
Last modification on : Monday, October 28, 2019 - 11:00:21 AM
Long-term archiving on: Monday, November 24, 2014 - 3:56:46 PM

File

cbse.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

172

Files downloads

373