Geodesic
Automatic data race error detection in systemC models
Modelirovanie i analiz informacionnyh sistem, Tome 18 (2011) no. 4, pp. 94-105

Voir la notice de l'article provenant de la source Math-Net.Ru

Hardware/software systems simulated by using the SystemC language are usually parallel and, therefore, may contain synchronization errors. One widespread type of synchronization errors is data races. In this paper we propose an approach to data race detection in SystemC programs which is based on the source code static analysis. We have developed some static analysis algorithms that can extract information for data race detection in a SystemC program without quantitative time. These algorithms can detect all the errors that exist in the program. The efficiency of our approach is shown by the evaluation results of the developed tool on a set of test SystemC programs.
Mots-clés : SystemC
Keywords: static analysis, data error race detection. 
@article{MAIS_2011_18_4_a8,
     author = {A. V. Zakharov and M. Yu. Moiseev},
     title = {Automatic data race error detection in {systemC} models},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {94--105},
     publisher = {mathdoc},
     volume = {18},
     number = {4},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a8/}
}
TY  - JOUR
AU  - A. V. Zakharov
AU  - M. Yu. Moiseev
TI  - Automatic data race error detection in systemC models
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2011
SP  - 94
EP  - 105
VL  - 18
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a8/
LA  - ru
ID  - MAIS_2011_18_4_a8
ER  - 
%0 Journal Article
%A A. V. Zakharov
%A M. Yu. Moiseev
%T Automatic data race error detection in systemC models
%J Modelirovanie i analiz informacionnyh sistem
%D 2011
%P 94-105
%V 18
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a8/
%G ru
%F MAIS_2011_18_4_a8
A. V. Zakharov; M. Yu. Moiseev. Automatic data race error detection in systemC models. Modelirovanie i analiz informacionnyh sistem, Tome 18 (2011) no. 4, pp. 94-105. http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a8/