"H.И.Туккель, А.А.Шалыто "SWITCH-технология - автоматный подход к созданию программного обеспечения "реактивных" систем"" - читать интересную книгу автора

моделями;
- несмотря на достаточно высокую трудоемкость
проведения "подробной" сертификации при применении
"полных" протоколов большого объема, этот способ
существенно более конструктивен, чем другие подходы;
- порождаемый некоторыми событиями протокол или его
часть является соответствующим сценарием. Таким образом,
сценарий строится автоматически при анализе программы, а
не вручную при ее синтезе, как это предлагается делать в
других подходах [7]. Ручное построение всей совокупности
сценариев и формальный синтез системонезависимой части
программы по ним для задач со сложной логикой практически
не осуществимы.
Использование предлагаемой технологии подтверждает
следующее высказывание: "то, что не специфицировано
формально, не может быть проверено, а то что не может
быть проверено, не может быть безошибочным" [11].

СПИСОК ЛИТЕРАТУРЫ
1.Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование
задач логического управления. СПб.: Hаука, 1998. 628 с.
2.Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование
задач логического управления //Промышленные АСУ и контроллеры.
1999. №9. С. 33-37.
3.Harel D. et al. STATEMATE: A working environment for the
development of complex reactive systems //IEEE Trans. Eng. 1990.
№4. P. 403-414.
4.Harel D., Politi M. Modeling reactive systems with statecharts.
NY: McGraw-Hill, 1998. 258 p.
5.Карпов Ю.Г. Теория алгоритмов и автоматов. Курс лекций. СПб.:
СПбГТУ, Hестор, 1998. 129 с.
6.xjCharts. Release 2.0. User's Manual. Experimental Object
Technologies. 1999. 95 p.
7.Терехов А.H., Романовский К.Ю., Кознов Д.В. и др. REAL:
Методология и CASE-средство разработки информационных систем и
программного обеспечения систем реального времени //Известия РАH.
Программирование. 1999. №5. С. 44-51.
8.STATEFLOW for use with Simmulink. User's guide. Version 1. MA:
Math Works, Inc. 1998. 477 p.
9.Затуливетер Ю.С. Халатян Т.Г. Синтез общих алгоритмов по
демонстрациям частных примеров (автоматная модель обобщения по
примерам). М.: Ин-т проблем управления, 1997. 72 с.
10.Гудман С., Хидетниеми С. Введение в разработку и анализ
алгоритмов. М.: Мир, 1981. 366 с.
11.Зайцев С.С. Описание и реализация протоколов сетей ЭВМ. М.:
Hаука, 1989. 112 с.


Рекомендована кафедрой
компьютерных технологий