![]() |
Система СОКРАТ |
![]() |
Уже в рамках ИСИ были начаты работы по системе СОКРАТ, являющейся окружением программирования для встроенных ЭВМ. Научный руководитель: И.В. Поттосин, ответственный исполнитель: С.Б. Покровский, разработчики: М.И.Анисков, Т.Б. Болтаев, Н.Г. Глаголева, А.В. Грабарь, П.Г. Емельянов, Л.А. Захаров, П.А. Земцов, В.Н. Касьянов, Т.В. Кузьминов, Д.В. Лесков, Е.В. Налимов, В.К. Сабельфельд, Г.Г. Степанов, С.В. Тен, О.Б. Томе, В.А. Цикоза, С.К. Черноножкин, В.И. Шелехов. Система является результатом экспериментальной разработки, имеющей целью создать интегрированный набор инструментов для построения программного обеспечения повышенной степени эффективности и надежности. Ориентирована на кросс-средства разработки ПО (в предположении, что архитектура целевой машины может быть изменена без существенной переработки системы) и предполагает включение в реальные технологии разработки ПО для встроенных ЭВМ таких подходов и методов, которые раньше не применялись из-за отсутствия поддерживающих их инструментов, но обладают дополнительными возможностями обеспечения эффективности и надежности создаваемого ПО. Создается как открытая, пополняемая система. Текущий состав компонентов, доведенных до определенной степени завершенности, следующий:
|