Geodesic
Checkup оf logical structure correctness for multitask software applications
News of the Kabardin-Balkar scientific center of RAS, no. 1 (2011), pp. 213-216 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

A method is suggested that serves for checking the structure of multitask software application with mutex synchronization in case of possible opportunity of actual tasks mutual blocking. The method is based on development and analysis of special multi-fraction oriented graphs where the number of peaks increases linearly with task number.
Keywords: multitask software applications, mutual resources, synchronization mechanisms, system state graph, deadlocks, clinches. 
@article{IZKAB_2011_1_a37,
     author = {V. V. Nikiforov and V. I. Shkirtil},
     title = {Checkup {\cyro}f logical structure correctness for multitask software applications},
     journal = {News of the Kabardin-Balkar scientific center of RAS},
     pages = {213--216},
     year = {2011},
     number = {1},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/IZKAB_2011_1_a37/}
}
TY  - JOUR
AU  - V. V. Nikiforov
AU  - V. I. Shkirtil
TI  - Checkup оf logical structure correctness for multitask software applications
JO  - News of the Kabardin-Balkar scientific center of RAS
PY  - 2011
SP  - 213
EP  - 216
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/IZKAB_2011_1_a37/
LA  - ru
ID  - IZKAB_2011_1_a37
ER  - 
%0 Journal Article
%A V. V. Nikiforov
%A V. I. Shkirtil
%T Checkup оf logical structure correctness for multitask software applications
%J News of the Kabardin-Balkar scientific center of RAS
%D 2011
%P 213-216
%N 1
%U http://geodesic.mathdoc.fr/item/IZKAB_2011_1_a37/
%G ru
%F IZKAB_2011_1_a37
V. V. Nikiforov; V. I. Shkirtil. Checkup оf logical structure correctness for multitask software applications. News of the Kabardin-Balkar scientific center of RAS, no. 1 (2011), pp. 213-216. http://geodesic.mathdoc.fr/item/IZKAB_2011_1_a37/

[1] “Portable Operating System Interface (POSIX)”, System Application Program Inter face. IEEE Std 1003, v. 13-1, 1996, 488 pp.

[2] V. V. Nikiforov, V. I. Shkirtil, “Spetsifikatsiya sredstvami yazyka XML sistemy interfeisov v prilozheniyakh realnogo vremeni”, Trudy SPIIRAN, 11 (2009), 159–175

[3] N. Pitts-Moultis, Ch. Kirk, XML, BKhV-Peterburg, SPb., 2001, 736 pp.

[4] Dzh. Piterson, Mir, M., 1984, 263 pp.

[5] V. V. Nikiforov, V. I. Shkirtil, “Marshrutnye seti graficheskii formalizm predstavleniya struktury programmnykh prilozhenii realnogo vremeni”, Trudy SPII RAN, 14 (2009), 7–28