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.
Similar content being viewed by others
REFERENCES
Shalyto, A.A., SWITCH-tekhnologii. Algoritmizatsiya i programmirovanie (SWITCH Technology: Algorithmization and Programming of Logic Control Problems), St. Petersburg: Nauka, 1998.
Shalyto, A.A., SWITCH Technology: Algorithmization and Programming of Logic Control Problems, Promyshl. ASU, Controllers, 1999, no. 9, pp. 33–37.
Harel, D.et al., STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Trans. Eng., 1990, no. 4, pp. 403–414.
Harel, D. and Politi, M., Modeling Reactive Systems with Statecharts, New York: McGraw-Hill, 1998.
Karpov, Yu.G., Teoriya algoritmov i avtomatov (Theory of Algorithms and Automata), St. Petersburg: St. Petersburg State Technical Univ., Nestor, 1998.
xjCharts. Release 2.0. User's Manual: Experimental Object Technologies, 1999.
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.
STATEFLOW for Use with Simmulink. User's Guide. Version 1, Math Works, 1998.
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.
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.
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.
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.
Burdonov, I.B., Kosachev, A.S., and Kulyamin, V.V., Application of Finite Automata to Program Testing, Programmirovanie, 2000, no. 2, pp. 12–28.
Ershov, A.P., Mixed Computations, V Mire Nauki, 1984, no. 6, pp. 28–42.
Varshavskii, V.I., Kollektivnoe povedenie avtomatov (Collective Behavior of Automata), Moscow: Nauka, 1973.
Workshop on Paradigms of Artificial Intelligence, Novosti iskusstvennogo intellekta, 1998, no.3, pp. 140–161.
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.
Gerr, R., New Turn, PC Magazine (Russian Edition), 1998, no. 10, pp.88–90.
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.
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.
Zaitsev, S.S., Opisanie i realizatsiya protokolov setei EVM (Description and Implementation of Protocols for Computer Networks), Moscow: Nauka, 1989.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Shalyto, A.A., Tukkel', N.I. SWITCH Technology: An Automated Approach to Developing Software for Reactive Systems. Programming and Computer Software 27, 260–276 (2001). https://doi.org/10.1023/A:1012392927006
Issue Date:
DOI: https://doi.org/10.1023/A:1012392927006