ИЗВЕСТИЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ СЕВЕРО-КАВКАЗСКИЙ РЕГИОН. 2017; 3: 70-75
http://dx.doi.org/10.17213/0321-2653-2017-3-70-75
ПРОЕКТ РуСи ДЛЯ ОБУЧЕНИЯ И СОЗДАНИЯ ВЫСОКОНАДЕЖНЫХ ПРОГРАММНЫХ СИСТЕМ
Терехов Андрей Николаевич – д-р физ.-мат. наук, профессор, зав. кафедрой «Системное программирование», Санкт-Петербургский государственный университет, г. Санкт-Петербург, Россия. E-mail: a.terekhov@spbu.ru
Терехов Михаил Андреевич – студент, Санкт-Петербургский государственный университет, г. Санкт-Петербург, Россия. E-mail: st054464@student.spbu.ru
Аннотация
Проект РуСи преследует две цели – облегчить изучение программирования школьниками и студентами и создать среду для разработки высоконадежного программного обеспечения, максимально защищенного от попыток проникновения вирусов и других атак. Эти цели достигаются путем введения ограничений на входной язык и существенным расширением статического и динамического контроля среды программирования. Хотя ограничений (и расширений тоже!) входного языка довольно много, в основе лежит широко распространенный язык Си, что позволяет надеяться на широкое применение проекта РуСи.
Ключевые слова: язык Си; защищенное программирование; контроль типов; динамический контроль; среды программирования.
Полный текст: [in elibrary.ru]
Ссылки на литературу
- Niklaus Wirth, Jürg Gutknecht. Project Oberon The Design of an Operating System and Compiler, Edition 2005, URL:http://www.ethoberon.ethz.ch/WirthPubl/ProjectOberon.pdf (дата обращения 01.05.2017)
- Bertrand Meyer. Touch of Class, Learning to Program Well with Objects and Contracts. Springer-Verlag Berlin; Heidelberg, 2009, 876 р. (русский перевод: Бертран Мейер, Почувствуй класс, Учимся программировать хорошо с объектами и контрактами. М.: Интуит, Бином, 2011.
775 c.) - Revised Report on the Algorithmic Language ALGOL 68, Springer Berlin Heidelberg, 1976 (русский перевод: Пересмотренное сообщение об Алголе 68. М.: Мир, 1979. 533 с.)
- Kernighan B.W., Ritchie D.M. The C Programming Language. Englewood Cliffs, NJ: Prentice Hall, 1978, 2nd edition 1988 (русский перевод: Брайан Керниган, Деннис Ритчи. Язык программирования C. М.: Вильямс. 2006. 304 с.)
- Terekhov A., Luchin R., Filippov S. Educational Cybernetical Construction Set for Schools and Universities, Advances in Control Education, Vol. 9. Part. 1
- Блог проекта ТРИК URL: http://blog.trikset.com/ (дата обращения 01.05.2017)
- Alexandrescu A. The D programming language, Boston: Adison-Wesley, 2010 (русский перевод: Андрей Александреску, Язык программирования D, СПб.; М.: Символ, 2012. 536 с.)
- Grossman D., Hicks M., Trevor J., Morrisett G. «Cyclone: A Type-Safe Dialect of C.» C/C++ Users Journal 23. № 1 (2005): 6 – 13.
- Robert C. Seacord. Secure Coding in C and C++, Second Edition, Addison-Wesley, 2013 (русский перевод: Роберт С. Сикорд, Безопасное программирование на С и С++: 2-е изд. М.: Вильямс. 2016. 496 с.)
- Набор инструментов для создания интерфейсов URL:http://www.fltk.org/ (дата обращения 01.05.2017)