Сообщается о цели, задачах и первых результатах работ по возрождению русского языка программирования, известного в Отечестве как ЛЯПАС - ЛогическийЯзык для Представления Алгоритмов Синтеза. Возрождение ориентировано насоздание доверенного системного и прикладного программного обеспечения автоматизированного синтеза безопасных компьютерных систем логического управления критически важными объектами (космическими системами, ядерными установками, вооружёнными силами и т.п.). Среди рассматриваемых задач важноеместо занимает и аппаратная реализация ЛЯПАСа как ЛЯПАС-машины, иликомпьютера с ЛЯПАСными операциями в качестве машинных команд, выполняемых непосредственно на схемном уровне.
Скачать электронную версию публикации
Загружен, раз: 90
- Title К возрождению русского языка программирования
- Headline К возрождению русского языка программирования
- Publesher
Tomsk State University - Issue Прикладная дискретная математика 3(17)
- Date:
- DOI
Ключевые слова
безопасные компьютерные системы логического управления, доверенное программное обеспечение, ЛЯПАС, LYaPAS, trusted software, trusted hardware, secure computer systems, logic controlАвторы
Ссылки
Wollinger T., Guajardo J., and Paar C. Cryptography on FPGAs. State of the art implementations and attacks / / ACM Trans. on Embedded Computing Systems. 2004. V. 3. No. 3. P. 534-574.
Зотов В. Ю. Проектирование цифровых устройств на основе ПЛИС фирмы XILINX в САПР WtbPACK ISE. М.: Горячая линия-Телеком, 2003.
Соловьёв В. В. Проектирование функциональных узлов цифровых систем на программируемых логических устройствах. Минск: ПК ООО Бестпринт, 1996. 252 с.
Закревский А. Д. Машина для решения логических задач типа синтеза релейных схем / / Синтез релейных устройств. Труды Междунар. симп. по теории релейных устройств и конечных автоматов. М.: Наука, 1965. С. 346-356.
Торопов Н. Р. Язык программирования ЛЯПАС / / Прикладная дискретная математика. 2009. №2(4). С.9-25.
Tratnik I. Seminar «Analiza in primerjava jezikov za podro'je digitalne tehnike». Lljubljani: Univerzav, 1979. 63 c.
Michalski A. and Wiewiorowski T. Odra Ljapas. Warszawa: Computation-Centre Polish Academy of Sciences, 1970. 33 p.
Nadler N. User Group for Russian Programming Language / / IEEE, Newsletter for Computer-Aided Design. 1971. Iss.3.
Charles J. and Albright Jr. An interpreter for the language LYaPAS. University of North Carolina at Chapel Hill: Department of Computer Science, 1974. 127 p.
LYaPAS: A programming language for logic and coding algorithms / ed. M. A. Gavrilov and A.D. Zakrevskii. New York; London: Academic Press, 1969. 475 p.
Панкратова И. А., Быкова С. В., Николаева С. В., Оранов А. М. Система автоматического синтеза комбинационных схем СИНТЕЗ-Ф / / Управляющие системы и машины. 1991. №1. С. 3-9.
Автоматизация проектирования цифровых устройств / под ред. С. С. Бадулина. М.: Радио и связь, 1981. 238 с.
Синтез асинхронных автоматов на ЭВМ / под ред. А. Д. Закревского. Минск: Наука и техника, 1975. 184 с.
Закревский А. Д., Торопов Н. Р. Система программирования ЛЯПАС-М. Минск: Наука и техника, 1978. 240 с.
Закревский А. Д. Язык программирования ЛЯПАС-М / / Вычислительная техника в машиностроении. Минск: Ин-т техн. кибернетики АН БССР, 1974. С. 99-111.
Закревский А. Д. Алгоритмы синтеза дискретных автоматов. М.: Наука, 1971. 512 с.
Труды Сибирского физико-технического института. Вып. 48. Автоматизация синтеза дискретных автоматов. Томск: Изд-во Том. ун-та, 1966.
Логический язык для представления алгоритмов синтеза релейных устройств / под ред. М.А. Гаврилова. М.: Наука, 1966. 342 с.
Закревский А. Д. Алгоритмический язык ЛЯПАС и автоматизация синтеза дискретных автоматов. Томск: Изд-во Том. ун-та, 1966. 266 с.
К возрождению русского языка программирования | Прикладная дискретная математика. 2012. № 3(17).
Скачать полнотекстовую версию
Полнотекстовая версияЗагружен, раз: 247