Geodesic
Synchronous model of automaton program
Modelirovanie i analiz informacionnyh sistem, Tome 14 (2007) no. 1, pp. 11-18.

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

This article presents a model of automaton program that satisfies synchronous model requirements. A formal automaton program model lets to use an existing technologies and tools of synchronous programs verification for checking automaton programs. An Esterel language and an Esterel Technologies Inc. toolbox will be used to build a program verifier. 
@article{MAIS_2007_14_1_a1,
     author = {S. V. Kubasov and V. A. Sokolov},
     title = {Synchronous model of automaton program},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {11--18},
     publisher = {mathdoc},
     volume = {14},
     number = {1},
     year = {2007},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2007_14_1_a1/}
}
TY  - JOUR
AU  - S. V. Kubasov
AU  - V. A. Sokolov
TI  - Synchronous model of automaton program
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2007
SP  - 11
EP  - 18
VL  - 14
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2007_14_1_a1/
LA  - ru
ID  - MAIS_2007_14_1_a1
ER  - 
%0 Journal Article
%A S. V. Kubasov
%A V. A. Sokolov
%T Synchronous model of automaton program
%J Modelirovanie i analiz informacionnyh sistem
%D 2007
%P 11-18
%V 14
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2007_14_1_a1/
%G ru
%F MAIS_2007_14_1_a1
S. V. Kubasov; V. A. Sokolov. Synchronous model of automaton program. Modelirovanie i analiz informacionnyh sistem, Tome 14 (2007) no. 1, pp. 11-18. http://geodesic.mathdoc.fr/item/MAIS_2007_14_1_a1/

[1] D. G. Shopyrin, A. A. Shalyto, “Sinkhronnoe programmirovanie”, Informatsionno-upravlyayuschie sistemy, 2004, no. 3, 35–42

[2] A. Benveniste, P. Caspi, S.A. Edwards, N. Halbwachs, P. le Gurnic, R. de Simone, “The Synchronous Languages 12 Years Later: Invited Paper”, Proceedings of the IEEE, 91:1, January (2003), 64–83 | DOI

[3] C. Andre, “Representation and Analysis of Reactive Behaviors: A Synchronous Approach”, Computational Engineering in Systems Applications (CESA), IMACS Multiconference (Lille, France, 1996, July), 1996, 19–29

[4] T. Barros, Formal specification and verification of distributed component systems, PhD thesis: defence date: 25.11.2005, Universite de Nice; INRIA Sophia Antipolis, France, 2005, 158 pp.

[5] N. Halbwachs, “Synchronous programming of reactive systems, a tutorial and commented bibliography”, Tenth International Conference on Computer-Aided Verification, CAV'98 (Vancouver (B.C.), Canada), LNCS, 1427, Springer Verlag, 1998, 1–16 | MR

[6] G. Berry and the Esterel Team, The Esterel v5 Language Primer, version v5_91, Dokumentatsiya k programmnomu obespecheniyu Esterel Compiler, version 5.91, Ecole des Mines de Paris (EMP), ARMINES, and INRIA, 2000

[7] G. Berry, The Esterel v5_91 System Manual, Dokumentatsiya k programmnomu obespecheniyu Esterel Compiler, version 5.91, Ecole des Mines de Paris (EMP), ARMINES, and INRIA, 2000

[8] B. P. Kuznetsov, “Psikhologiya avtomatnogo programmirovaniya”, BYTE /~Rossiya, 2000, no. 11, 22–29

[9] V. S. Gurov, M. A. Mazin, A. S. Narvskii, A. A. Shalyto, “UML. SWITCH-Tekhnologiya. Eclipse”, Informatsionno-upravlyayuschie sistemy, 2005, no. 6(13), 12–17

[10] V. S. Gurov, A. S. Narvskii, A. A. Shalyto, “Ispolnyaemyi UML iz Rossii”, PC Week/RE, 2005, no. 26, 18–19

[11] A. A. Shalyto, N. I. Tukkul, “SWITCH-Tekhnologiya — avtomatnyi podkhod k sozdaniyu programmnogo obespecheniya \guillemotleft reaktivnykh\guillemotright sistem”, Programmirovanie, 2001, no. 5, 45–62 | Zbl

[12] A. S. Naumov, Ob'ektno-orientirovannoe programmirovanie s yavnym vydeleniem sostoyanii: Bakalavrskaya rabota, SPbGU ITMO, SPb., 2004, 209 pp.

[13] A. A. Shalyto, N. I. Tukkel, “Programmirovanie s yavnym vydeleniem sostoyanii”, Mir PK, 2001, no. 8, 116–121; No 9, 132–138