Programming and Computer Software

, Volume 27, Issue 5, pp 260–276 | Cite as

SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems

  • A. A. Shalyto
  • N. I. Tukkel'

Abstract

A technology for developing software for reactive systems is proposed that supports the stages of the subject domain investigation, analysis, design, implementation, debugging, certification, and documenting. The technology is based on the automaton approach.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

REFERENCES

  1. 1.
    Shalyto, A.A., SWITCH-tekhnologii. Algoritmizatsiya i programmirovanie (SWITCH Technology: Algorithmization and Programming of Logic Control Problems), St. Petersburg: Nauka, 1998.Google Scholar
  2. 2.
    Shalyto, A.A., SWITCH Technology: Algorithmization and Programming of Logic Control Problems, Promyshl. ASU, Controllers, 1999, no. 9, pp. 33–37.Google Scholar
  3. 3.
    Harel, D.et al., STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Trans. Eng., 1990, no. 4, pp. 403–414.Google Scholar
  4. 4.
    Harel, D. and Politi, M., Modeling Reactive Systems with Statecharts, New York: McGraw-Hill, 1998.Google Scholar
  5. 5.
    Karpov, Yu.G., Teoriya algoritmov i avtomatov (Theory of Algorithms and Automata), St. Petersburg: St. Petersburg State Technical Univ., Nestor, 1998.Google Scholar
  6. 6.
    xjCharts. Release 2.0. User's Manual: Experimental Object Technologies, 1999.Google Scholar
  7. 7.
    Terekhov, A.N., Romanovskii, K.,Yu., Koznov, D.V., Dolgov, P.S., and Ivanov A.N., RTST++: Methodology and a CASE Tool for the Development of Information Systems and Software for Real-Time Systems, Programmirovanie, 1999, no.5, pp. 44–51.Google Scholar
  8. 8.
    STATEFLOW for Use with Simmulink. User's Guide. Version 1, Math Works, 1998.Google Scholar
  9. 9.
    Booch, G., Rumbaugh, J., and Jacobson, I., The Unified Modeling Language User Guide, Reading: Addison-Wesley, 1999. Translated under the title Yazyk UML. Rukovodstvo pol'zovatelya, Moscow: DMK, 2000.Google Scholar
  10. 10.
    Zatuliveter, Yu.S. and Khalatyan, T.G., Sintez obshchikh algoritmov po demonstratsiyam chastnykh primerov (avtomatnaya model' obobshcheniya po primeram) (Synthesis of General Algorithms by Specific Examples (Automaton Model of Generalization by Examples)), Moscow, Inst. Probl. Upravl., 1997.Google Scholar
  11. 11.
    Goodman, S. and Hidetniemi, S., Introduction to the Design and Analysis of Algorithms, New York: McGraw-Hill, 1977. Translated under the title Vvedenie v razrabotku i analiz algoritmov, Moscow: Mir, 1981.Google Scholar
  12. 12.
    Brooks, F., The Mythical Man-Month: Essays on Software Engineering, Reading: Addison—Wesley, 1995. Translated under the title Mificheskii cheloveko-mesyats ili kak sozdayutsya programmnye sistemy, St. Petersburg: Simvol, 2000.Google Scholar
  13. 13.
    Burdonov, I.B., Kosachev, A.S., and Kulyamin, V.V., Application of Finite Automata to Program Testing, Programmirovanie, 2000, no. 2, pp. 12–28.Google Scholar
  14. 14.
    Ershov, A.P., Mixed Computations, V Mire Nauki, 1984, no. 6, pp. 28–42.Google Scholar
  15. 15.
    Varshavskii, V.I., Kollektivnoe povedenie avtomatov (Collective Behavior of Automata), Moscow: Nauka, 1973.Google Scholar
  16. 16.
    Workshop on Paradigms of Artificial Intelligence, Novosti iskusstvennogo intellekta, 1998, no.3, pp. 140–161.Google Scholar
  17. 17.
    Dijkstra, E., Interaction of Sequential Processes, Programming Languages, Genuis, F., Ed., London: Macdonald, 1968. Translated under the title Yazyki programmirovaniya, Moscow: Mir, 1972, pp. 9—86.Google Scholar
  18. 18.
    Gerr, R., New Turn, PC Magazine (Russian Edition), 1998, no. 10, pp.88–90.Google Scholar
  19. 19.
    Shalyto, A.A., Logicheskoe upravlenie. Metody apparatnoi i programmnoi realizatsii algoritmov (Logic Control: Methods of Hardware and Software Implementation of Algorithms), St. Petersburg: Nauka, 2000.Google Scholar
  20. 20.
    Cook, D., Urban, D., and Hamilton, S., Unix and Not Only Unix: An Interview with K. Thompson, Open Systems, 1999, no. 4, pp. 35–47.Google Scholar
  21. 21.
    Zaitsev, S.S., Opisanie i realizatsiya protokolov setei EVM (Description and Implementation of Protocols for Computer Networks), Moscow: Nauka, 1989.Google Scholar

Copyright information

© MAIK “Nauka/Interperiodica” 2001

Authors and Affiliations

  • A. A. Shalyto
    • 1
  • N. I. Tukkel'
    • 1
  1. 1.Federal Scientific and Production Center “Avrora,”St. Petersburg State Institute of Precise Mechanics and Optics (Technical University)Russia

Personalised recommendations