Кафедра «Технологии программирования»: Статьи: Алгоритмизация и программирование для систем логического управления и «реактивных» систем

Алгоритмизация и программирование для систем логического управления и «реактивных» систем

Список литературы

International standard IEC 1131-3. Programmable controllers. Part 3. Programming languages. International Electrotechnical Commission. 1993.
SIMATIC. Simatic S7/M7/C7. Programmable controllers. SIEMENS. Catalog ST 70. 1996.
TSX T607. Programming terminal. User's manual. Telemecanique. 1987.
Modicon catalog & specifier's guide. Modicon. AEG Schneider Automation. 1995.
Programmable controller. MELSEC - A. Programming manual. Type ACPU. Common instructions. Mitsubishi Electric.
ABB Procontic T200. Mid-range automation systems using modern technology. Asea Brown Boveri. 1994.
ET-PDS. Software for programmable logic controllers. Tosiba International (Europe) Ltd. 1995.
Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления. СПб.: Наука, 1998.
Гузик И.М. Стандарт МЭК 1131: язык GRAFCET - знакомство поближе //Schneider Automation Club. 1999. N6.
Лавров С.С. Лекции по теории программирования. Учебное пособие. СПб.: СПбГТУ, Нестор, 1999.
Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++. М.: Бином; СПб.: Невский диалект, 1998.
Фаулер М., Скотт К. UML в кратком изложении. Применение стандартного языка объектного моделирования. М.: Мир, 1999.
Клир Д. Абстрактное понятие системы как методологическое средство /Исследования по общей теории систем. М.: Прогресс, 1969.
Кузнецов Б.П. Структура и сложность модулей циклических программ //Автоматика и телемеханика. 1999. N2.
Odell J.J. Advanced object-oriented analysis & design using UML. NY: SIGS Books. 1998.
Таль А.А., Айзерман М. А., Розоноэр Л. И. и др. Логика. Автоматы. Алгоритмы. М.: Физматгиз, 1963.
Шалыто А.А. Использование граф-схем алгоритмов и графов переходов при программной реализации алгоритмов логического управления //Автоматика и телемеханика. 1996. N6, 7.
Глушков В.М. Синтез цифровых автоматов. М.: Физматгиз, 1962.
Yourdon E., Argila C. Case studies in object-oriented analysis & design. NJ: Yourdon Press, 1997. (Йордон Э., Аргила К. Структурные модели в объектно-ориентированном анализе и проектировании. М.: Лори, 1999).
Росс Д. Структурный анализ: язык для передачи понимания /Требования и спецификации в разработке программ. М.: Мир, 1984.
Chow T.S. Testing software design modeled by finite state machines //IEEE Trans. Soft. Eng. 1978. N3.
King D. et al. On object state testing /Proceeding The Eighteenth Annual Inter. Comp. Software & Applications Conf. Los Alamitos: IEEE Computer Sosiety Press, 1993.
Turner C.D., Robson D.J. The state-based testing of object-oriented programs /Conf. on Software Maintenance. Los Alamitos: IEEE Computer Sosiety Press, 1993.
Jorgenson P., Erickson C. Object-oriented integration testing //Communications of the ACM. 1994. N9.
Bunder R.V. The FREE-flow graph: implementation-based testing of objects using state-determined flows /Proc. 8th Annual Software Quality Week. San Francisco: Software Research Inc., 1995.
Бурдонов И.Б., Косачев А.С., Кулямин В.В. Использование конечных автоматов для тестирования программ //Программирование. 2000. N2.
Kurshan R.P. Computer-aided verification of coordinated prosesses - the aunomata-theoretic approach. Prenceton: Prenceton University Press, 1994.
Kurshan R.P. Program verification //Notices of the ACM. 2000. N5.
Шалыто А.А. Реализация алгоритмов логического управления программами на языке функциональных блоков //Промышленные АСУ и контроллеры. 2000. N4.
Martin R.C. Designing object-oriented C++ applications using the Booch method. NJ: Prentice-Hall, 1995.
Пригожин И., Стенгерс И. Порядок из хаоса. М.: Эдиториал УРСС, 2000.
Трахтенброт Б.А., Бардзинь Я.М. Конечные автоматы. Поведение и синтез. М.: Наука, 1970.
Гилл А. Введение в теорию конечных автоматов. М.: Наука, 1966.
Фридман А., Менон П. Теория и проектирование переключательных схем. М.: Мир, 1978.
Канер С., Фолк Д., Енг Кек Нгуен. Тестирование программного обеспечения. Киев: DiaSoft, 2000.
Руднев В.В. Система взаимосвязанных графов и моделирование дискретных процессов //Автоматика и телемеханика. 1984. N9.
Бадд Т. Объектно-ориентированное программирование в действии. СПб.: Питер, 1997.
Зайцев С.С. Описание и реализация протоколов сетей ЭВМ. М.: Наука, 1989.
Шалыто А.А., Туккель Н. И. SWITCH-технология - автоматный поход к созданию программного обеспечения "реактивных" систем /Телематика 2000. Тез. докл. международной научно-метод. конф. СПб.: СПбГИТМО (ТУ), 2000.
Калянов Г.Н. CASE. Структурный анализ (автоматизация и применение). М.: Лори, 1996.
Шульц Д., Шульц С. История современной психологии. СПб.: Евразия, 1998.
Functinal description. Warm-up & prelubrication logic. Generator control unit. Severnaya hull N431. Norcontrol. 1993.
Project 15640. AS 21. DG 1. Control. АМИЕ.95564.12М. St. Petersburg. ASS "Avrora". 1991.
Система управления турбокомпрессорным агрегатом "Ларина". Техническое описание. Приложение 1. АМИЕ.421417.010 ТО.01. СПб.: НПО "Аврора", 1998.
Autolog 32. Руководство пользователя. FF-Automation OY.
Баглюк Ю.В., Шалыто А.А. Программируемые логические контроллеры "Autolog". 124 примера программ на языке "ALPro", реализующих алгоритмы логического управления. СПб.: FF-Automation, 1999. На русском и английском языках.
Транслятор "CF - ALPro" для программирования контроллеров типа "Autolog". Руководство пользователя. NZF.TR 1.1PП (на русском языке); NZF.TR 2.1PП (на английском языке). FF-Automation, 1999.
Литов Д.В. Автомат или машина Тьюринга //Мир ПК. 1999. N3.
Баранов С.И. Синтез микропрограммных автоматов (граф-схемы и автоматы). Л.: Энергия, 1979.
Любченко В.С. Мы выбираем, нас выбирают... (к проблеме выбора алгоритмической модели //Мир ПК. 1999. N3.
Затуливетер Ю.С., Халатян Т.Г. Синтез общих алгоритмов по демонстрациям частных примеров (автоматная модель обобщения по примерам). М.: Ин-т проблем управления, 1997.
Матвеев В.И. Windows CE - новый этап в развитии PLC //Приборы и системы управления. 1999. N3.
Туккель Н.И., Шалыто А.А. Сравнение событийного и автоматного подходов к программированию задач логического управления /Телематика 99. Тез. докл. Всерос. научно-метод. конф. СПб.: СПбГИТМО (ТУ), 1999.
Шалыто А.А. Логическое управление. Методы аппаратной и программной реализации алгоритмов. СПб.: Наука, 2000.
Tukkel N. Programming with use of a SWITCH-technology //Euroxchange. Special student's issue. ISA. 1999. N2.
Шалыто А.А. Технология программной реализации алгоритмов логического управления как средство повышения живучести //Проблемы обеспечения живучести кораблей и судов. Тез. докл. научно-техн. конф. СПб.: НТО им. акад. А.Н. Крылова, 1992.
Shalyto A.A. Cognitive properties of hierarchical representations of complex logical structures //Archetecturs for semiotic modeling and situation analysis in large complex systems. 10th IEEE Intern. symposium on intellegent control. Monterey, California, 1995.
Шалыто А.А., Антипов В.В. Алгоритмизация и программирование задач логического управления техническими средствами. СПб.: Моринтех, 1996. Книжное издание и лазерный диск.
Bagljuk Y.V., Shalyto A.A. SWITCH-technology. Algorithmic and programming methods in solution the logic control problems of shipping equipment //Intern. conference on informatics and control. ICI & C'97. Proceedings. Vol.1. St. Petersburg, 1997.
Кузнецов О.П., Макаревский А.Я., Марковский А.В. и др. Ярус - язык описания работы сложных автоматов //Автоматика и телемеханика. 1972. N6, 7.
Кузнецов О.П. Графы логических автоматов и их преобразования //Автоматика и телемеханика. 1975. N9.
Кузнецов О.П., Шипилина Л.Б., Григорян А.К. и др. Проблемы разработки языков логического программирования и их реализация на микро-ЭВМ (на примере языка "Ярус-2") //Автоматика и телемеханика. 1985. N6.
Любашин А. Промышленные и встраиваемые системы. На "стандартном" пути //PC WEEK. 2000. N15.
ADAM-5510/P31 /Все необходимое для автоматизации на базе PC. Advantech. 1999. Т.91.
Programmable controllers fundamentals. Allen-Bradley Inc., 1985.
Micro Mentor: understanding and applying micro programmable controllers. Allen-Bradley Inc., 1995.
Jones C.T., Bryan L.A. Programmable controllers concepts and applications. International Programmable Controllers Inc., 1983.
Gilbert R.A., Llewellyn J.A. Programmable controllers - practices and concepts. Industrial Training Corporation, 1985.
Lloyd M. Grafset - graphical functional charts programming for programmable controllers //Measurement & Control Magazine. 1987. N9.
Bryan L.A., Bryan E.A. Programmable controllers: theory and implementation. Industrial Text Corp., 1988.
Webb J.W., Reis R.A. Programmable logic controllers: principles and applications. NJ: Prentice-Hall, 1995.
Wisnosky D.E. SoftLogic: overcoming funnel vision. Wizdom Controls Inc., 1996.
Highes T.A. Programmable controllers. Instrument Society of America (ISA) Publications, 1997.
Верников Г. Основы обследования деятельности организаций. Стандарт IDEF3 //READ.ME. 2000. N2.
Шалыто А.А. Программная реализация управляющих автоматов //Судостроит. пром-сть. Сер. Автоматика и телемеханика. 1991. Вып.13.
Боуэн Д., Хинчи М. Десять заповедей формальных методов //Мир ПК. 1997. N9, 10.
Series 90-70. State logic control system. User's manual. NA: GE Fanuc Automation. 1998.
Промышленные контроллеры фирмы "Matsushita". Matsushita Automation Controls.
Программное обеспечение для программируемых контроллеров и визуализации. Festo Cybernetic.
Мартынюк В.В. Об анализе графа переходов для операторной схемы //Журн. вычисл. математики и мат. физики. 1965. N2.
Карпов Ю.Г. Основы построения компиляторов. Учебное пособие. Л.: Изд-во ЛПИ, 1982.
Касьянов В.Н., Поттосин И.В. Методы построения трансляторов. Новосибирск: Наука, 1986.
Байцер Б. Архитектура вычислительных комплексов. Т.1. М.: Мир, 1974.
Буч Г. Объектно-ориентированное проектирование с примерами применения. Киев: Диалектика; М.: ИВК, 1992.
Страуструп Б. Язык программирования Си++. М.: Радио и связь, 1991.
Любченко В.С. Новые песни о главном (римейк для программистов) //Мир ПК. 1998. N6, 7.
Shlaer S., Mellor S. Object Lifecycles: Modeling the World in State. NJ: Prentice-Hall, 1992. (Шлеер С., Меллор С. Объектно-ориентированный анализ: моделирование мира в состояниях. Киев: Диалектика, 1993).
Harel D. Statecharts: A visial formalism for complex systems //Sci. Comput. Program. 1987. Vol.8.
Harel D. et al. STATEMATE: A working environment for the development of complex reactive systems //IEEE Trans. Eng. 1990. N4.
Douglass B.P. UML Statecharts. MA: I-Logix Inc., 1998.
Booch G., Rumbaugh J., Jacobson I. The Unified Modeling Language. User guide. MA: Addison-Wesley, 1998. (Буч Г., Рамбо Д., Джекобсон А. Язык UML. Руководство пользователя. М.: ДМК, 2000).
Unified Modeling Language (UML). Version 1.0. CA: Rational Software Corp., 1997.
Harel D., Pnueli A. On the development of reactive systems /Logic and model of computer systems. Ed. K.R. Apt. NY: Springer-Varlag, 1985.
Harel D. et al. On formal semantics of software /Pros. 2nd IEEE Symp. Logic in Computer Science. NY: IEEE Press, 1987.
Coleman D., Hayes E., Bear S. Introducing objectcharts, or how to use statecharts in object oriented design //IEEE Trans. Soft. Eng. 1992. N1.
Harel D., Naamad A. The STATEMATE semantics of statecharts //ACM Trans. Soft. Eng. Metodology. 1996. N10.
Harel D., Gery E. Executable object modeling with statecharts //Computer. 1997. N7.
Harel D., Politi M. Modeling reactive systems with statecharts. NY: McGraw-Hill, 1998.
Douglass B.P. Real-time UML: Developing efficient objects for embedded systems. MA: Addison-Wesley, 1998.
Douglass B.P. Doing hard time: Using object oriented programming and software patterns in real time applications. MA: Addison-Wesley, 1998.
Карпов Ю.Г. Теория алгоритмов и автоматов. Курс лекций. СПб.: СПбГТУ, Нестор, 1998.
Information processing systems. Open systems interaction. ESTELLE: a formal description technique based on an extended state transition model //International standard. ISO 9074, 1989.
Bochman G.V. Finite state description of communication protocols //Comput. Network Protocol Sympl. Liege, 1978, v.2.
Dantine A. Protocol representation with finite state models //IEEE Trans. on Commun. 1980. N4.
Brand D., Zafiropulo P. On communicating finite state machines //Journal ACM. 1983. N2.
ССITT Recomendation Z.100: CCITT Specification and description language (SDL) //COM X-R 26, ITU General Secretariat. Geneva, 1992.
Braek R., Haugen F. Engineering real time systems. NJ: Prentice-Hall, 1993.
Гольштейн Б.С. Сигнализация в сетях связи. М.: Радио и связь, 1997.
Иванов А., Кознов Д., Мурашова Т. Поведенческая модель RTST++ //Записки семинара кафедры системного программирования. CASE-средства RTST++. Вып.1. СПб.: Изд-во СПбГУ, 1998.
Парфенов В.В., Терехов А.Н. RTST-технология программирования встроенных систем реального времени //Системная информатика. Вып.5. Новосибирск: Наука, 1997.
Терехов А.Н. RTST-технология программирования встроенных систем реального времени //Записки семинара кафедры системного программирования. CASE - средства RTST++. Вып.1. СПб.: Изд-во СПбГУ, 1998.
Долгов П., Иванов А., Терехов А. и др. Объектно-ориентированное расширение технологии RTST //Записки семинара кафедры системного программирования. CASE - средства RTST++. Вып.1. СПб.: Изд-во СПбГУ, 1998.
Терехов А.Н., Романовский К.Ю., Кознов Д.В. и др. REAL: Методология и CASE-средство разработки информационных систем и программного обеспечения систем реального времени //Программирование. 1999. N5.
Кознов Д.В. Конечный автомат - основа для визуальных представлений поведения объектов /Объектно-ориентированное визуальное моделирование. СПб.: Изд-во СПбГУ, 1999.
Microsoft. Решения'99. Microsoft Corp. 1999. Вып.7.
Cook S., Daniels J. Designing object systems. Object-oriented modeling with syntropy. NJ: Prentice-Hall, 1994.
Rambaugh J., Blaha M., Premerlani W. et al. Object-oriented modeling and design. NJ: Printice-Hall. 1991.
Jacobson I. Object-oriented software engineering: A use case driven approach. MA: Addison-Wesley, 1992.
xjCharts. Release 2.0. User's Manual. Experimental Object Technologies. 1999.
STATEFLOW for use with Simmulink. User's guide. Version 1. MA: Math Works, Inc. 1998.
MATLAB. The language of technical computing. Version 5.2. MA: Math Works, Inc. 1998.
Зюбин В.Е. К пятилетию стандарта IEC 1131-3. Итоги и прогнозы //Приборы и системы управления. 1999. N1.
Герр Р. Новый поворот //PC Magazine /Russian Edition. 1998. N10.
Губанов Ю.А., Залманов С.З., Кузнецов Б.П. Управление автоматическими выключателями корабельной электроэнергетической системы /Третья международная конф. по морским интеллектуальным технологиям "Моринтех-99". СПб.: Моринтех, 1999, т.3.
Менделевич В.А. Непроцедурные языки - новое поколение средств разработки АСУ ТП //Промышленные АСУ и контроллеры. 2000. N1.
Кормен Т., Лейзерсон Ч., Ривест Р, Алгоритмы. Построение и анализ. М.: МЦНТО, 1999.
Odell J.J. Approaches to finite-state machine modeling //Journal of obiect-oriented programming. 1995. N1.
Heizinger T., Manna Z., Pnueli A. Timed transition systems. Technical report TR 92-1263. Dept. of Computer Science. Cornell University. 1992.
Ward P., Mellor S. Structured techniques for real-time systems. NJ: Yourdon Press - Prentice-Hall, 1985.
Hatley D., Pirbhai I. Strategies for real-time system specification. NY: Dorset House, 1987.
Drysinsky D. Visual programming. Better state. Product overview. Cupertino. California. R-Active Concepts, 1993.
Selic B. An efficient object-oriented variation of statecharts formalism for distributed real-time systems //CHDL'93: IFIP Conf. on hardware description languages and their applications. Ottawa, 1993.
Selic B., Gullekson G., Ward P. Real-time object-oriented modeling. NY: John Wiley & Sons Inc., 1994.
Borshchev A.V., Karpov Y.G., Roudakov V.V. COVERS - A tool for the design of real-time concurrent systems //Parallel Computing Technologies. Proceedings of the 3rd Inter. Conf. PACT-95. Lecture Note in Computer Science. 1995. N964.
Booch G., Rambaugh J. Unified method for object-oriented development. Documentation Set. Version 0.8. Rational Software Corp., 1996.
Сонкин В.Л., Мартинов Г.М., Любимов А.Б. Интерпретация диалога в Windows-интерфейсе систем управления //Приборы и системы управления. 1998. N12.
Ran A.S. Modeling states as classes /Proc. of the tools USA 94. Ed. M.Singh, B.Meyer. NJ: Prentice-Hall, 1994.
Ran A.S. Patterns of events /Pattern languages of programm design. Ed. J. O. Coplien, D. C. Schmidt. MA: Addison-Wesley, 1995.
Ilgum K., Kemmerer R., Porras P. State transition analysis: a rule-based intrusion detection approach //IEEE Trans. on Software Eng. 1995. N3.
Corbett J.C. Evaluating deadlock detection methods for concurrent software //IEEE Trans. on Software Eng. 1996. N3.
Alur R., Henzinger T., Pei-Hsin Ho. Automatic symbolic verification of embedded systems //IEEE Trans. on Software Eng. 1996. N3.
Heimdahl Mats P.E., Leveson N.G. Completeness and consistency in hierarchical state-based requirements //IEEE Trans. on Software Eng. 1996. N6.
Ardis M.A. et al. A framework for evaluaing specification methods for reactive systems experience report //IEEE Trans. on Software Eng. 1996. N6.
Corbett J.C. Timing analysis of Ada tasking programs //IEEE Trans. on Software Eng. 1996. N7.
Zave P., Jackson M. Where do operations come from? A multiparadigm specification technique //IEEE Trans. on Software Eng. 1996. N7.
Coen-Porisini A., Ghezzi C., Kemmerer R. Specification of real-time systems using ASTRAL //IEEE Trans. on Software Eng. 1997. N9.
Avrynin G.S., Corbett J.C., Dillon L.K. Analyzing partially-implemented real-time systems //IEEE Trans. on Software Eng. 1998. N8.
Птипьер К. Синхронный С++ для интерактивных приложений //Открытые системы. 1999. N3.
Любченко В.С. О бильярде с Microsoft Visual C++ 5.0 //Мир ПК. 1998. N1.
Любченко В.С. Задача Майхилла для Microsoft Visual C++ 5.0 (о синхронизации процессов в среде Windows) //Мир ПК. 2000. N2.
Секреты программирования игр /А. Ла Мот, Д. Ратклифф, М. Семинаторе и др. СПб.: Питер, 1995.
Шоломов Л.А. Основы теории дискретных логических и вычислительных устройств. М.: Наука, 1980.
Кузнецов О.П. Неклассические парадигмы в искусственном интеллекте //Изв. РАН. Теория и системы управления. 1995. N3.
Кук Д., Урбан Д., Хамилтон С. Unix и не только. Интервью с Кеном Томпсоном //Открытые системы. 1999. N4.
Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления //Промышленные АСУ и контроллеры. 1999. N9.
Шалыто А.А. SWITCH-технология. Алгоритмизация и программирование задач логического управления //Международная конф. по проблемам управления. М.: Ин-т проблем управления, 1999, т.3.
Гудман С., Хидетниеми С. Введение в разработку и анализ алгоритмов. М.: Мир, 1981.
Брукс Ф. Мифический человеко-месяц или как создаются программные системы. СПб.: Символ, 2000.
Липаев В.В. Документирование и управление конфигурацией программных средств. Методы и стандарты. М.: Синтег, 1998.
Непомнящий В.А., Рякин О.М. Прикладные методы верификации программ. М.: Радио и связь, 1988.
Woodcock J., Davies J. Using Z-specification. Refinement and proof. Oxford: Oxford University Press, 1995.
Варшавский В.И. Коллективное поведение автоматов. М.: Наука, 1973.
Круглый стол "Парадигмы искусственного интеллекта" //Новости искусственного интеллекта. 1998. N3.
Воас Д. Качество ПО: восемь мифов //Открытые системы. 1999. N9-10.
Антонов А.П., Мелехин В.Ф., Филиппов А.С. Обзор элементной базы фирмы ALTERA. СПб.: ЭФО, 1997.
Wirth N. Digital circuit design. NY: Springer-Verlag, 1995.
Wirth N. Hardware compilation: translating programs into circuits //Computer. 1998. June. (Открытые системы. 1998. N4-5).
Армстронг Д. Моделирование цифровых систем на языке VHDL. М.: Мир, 1992.
МАХ + PLUS II. AHDL. Version 6.0. CA: Altera, 1995.
Xilinx Foundation. M.1.5. CA: Xilinx, 1997.
Clare C.R. Designing logic systems using state machines. NY: McGraw-Hill, 1973.
A framework for hardware-software Co-Design of embedded systems //Technical report. Comp. Science Department. Univ. of California. Berkley. 1995.
Лекции лауреатов премии Тьюринга за первые двадцать лет 1966-1985. М.: Мир, 1993.
Дейкстра Э. Взаимодействие последовательных процессов //Языки программирования. М.: Мир, 1972.
Дейтел Х.М., Дейтел П.Д. Как программировать на С++. М.: Бином, 1999.
TSX Nano. PL7-07 language self-instruction manual. Groupe Schneider. 1997.
Поттосин И.В. О критериях добротности программ //Системная информатика. Вып.6. Новосибирск: Наука, 1998.
Герр Р. Отладка человечества //PC Magazine /Russian Edition. 2000. N5.
Черняк Л. XML, взгляд со стороны //Открытые системы. 2000. N4.
Астров В.В., Василенко В.С., Тотьменинов Л.В. Вопросы создания интегрированных систем управления ядерными энергетическими установками //Системы управления и обработки информации. СПб.: НПО "Аврора". 2000. Вып.1.
Боггс У., Боггс М. UML и Rational Rose. М.: Лори, 2000.
Романовский И.В. Дискретный анализ. СПб.: Невский диалект, 2000.
Тьюринг А. Может ли машина мыслить? Саратов: Колледж, 1999.
Фон Нейман Дж. Общая и логическая теория автоматов /В кн. Тьюринг А. Может ли машина мыслить? Саратов: Колледж, 1999.
Дейл Н., Уимз Ч., Хедингтон М. Программирование на С++. М.: ДМК, 2000.
Шалыто А.А., Туккель Н.И. SWITCH-технология - автоматный поход к созданию программного обеспечения "реактивных" систем //Промышленные АСУ и контроллеры. 2000. N10.
Кузнецов Б.П. Психология автоматного программирования //BYTE/Россия. 2000. N11.
Шалыто А.А. Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления //Известия РАН. Теория и системы управления. 2000. N6.
Приемы объектно-ориентированного проектирования. Паттерны проектирования /Э. Гамма, Р. Хелм, Р. Джонсон и др. СПб.: Питер, 2001.