Регистрация / Вход
Прислать материал

Технология автоматного программирования: применение и инструментальные средства.

Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта
Проект
02.435.11.1009
Организация
Университет ИТМО
Продолжительность работ
2005 - 2006, 13 мес.
Бюджетные средства
15 млн
Внебюджетные средства
0 млн

Разработка технологии и методов применения автоматного программирования, позволяющих формализовать ряд этапов процесса проектирования и реализации программного обеспечения, снизить роль субъективных факторов и повысить качество конечного программного продукта.
Разработка инструментальных средств автоматного программирования для проектирования и реализации сложных аппаратно-программных комплексов.
Разработка проектных и организационных схем использования технологии автоматного программирования для различных предметных областей применени

Соисполнители

Организация
ЗАО "СистемоТехника"

Этапы проекта

1
15.09.2005 - 08.12.2005
Проведены патентные исследования по ГОСТ 15.011-96.
Разработаны методы применения технологии автоматного программирования для задач логического управления.
Разработаны методы применения технологии автоматного программирования для реализации программ на процедурных языках программирования.
Разработаны методы применения технологии автоматного программирования для реализации программ на объектно-ориентированных языках программирования.
Разработана структура входных и выходных данных программного комплекса автоматного программирования (ПК АП).
Разработана архитектура ПК АП.
Разработана пояснительная записка к эскизному проекту.
Согласован и утвержден эскизный проект.
Развернуть
2
01.01.2006 - 30.06.2006
Разработаны методы перехода от словесных описаний сценариев работы программного обеспечения к формализованным требованиям на базе автоматного подхода.
Разработаны методические рекомендации и указания по разработке, базирующиеся на принципах автоматного программирования специальных проектных схем для создания программных комплексов в следующих областях приложений:
- системы управления с повышенными требованиями к надежности функционирования;
- встроенные системы;
- мобильные системы;
- клиент-серверные системы;
- Интернет-системы;
- визуализаторы алгоритмов;
- тренажеры и симуляторы.
Разработана структура программного комплекса автоматного программирования (ПК АП) и принципов взаимодействия его составных частей.
Окончательно определена конфигурация технических средств.
Разработана пояснительная записка к техническому проекту.
Согласован и утвержден технический проект.
Развернуть
3
01.07.2006 - 31.10.2006
Проведены дополнительные патентные исследования.
Разработан окончательный вариант ПК АП.
Проведены отладка и тестирование ПК АП.
Для ПК АП разработаны следующие программные документы:
- спецификация;
- общее описание;
- руководство системного программиста;
- руководство программиста;
- руководство оператора.
Проведены предварительные испытания ПК АП.
Проведены приемочные испытания ПК АП.
Предложено распространять созданный ПК АП по лицензии GPL с открытым исходным кодом.
Развернуть

Программа

Программа "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы

Программное мероприятие

1.3 Прикладные разработки в рамках системы приоритетных направлений
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
6 млн
Организация
Университет ИТМО
профинансировано
Продолжительность работ
2005 - 2006, 14 мес.
Бюджетные средства
6 млн
Организация
ФИЦ ИУ РАН
профинансировано
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
6 млн
Организация
Университет ИТМО
профинансировано
Тема
Технология автоматного программирования: применение и инструментальные средства
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
15 млн
Количество заявок
2
Тема
Разработки в области языков программирования и моделирования программного обеспечения, технологий и инструментальных средств проектирования программ
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
24 млн
Количество заявок
8
Тема
Технологии и программные средства создания систем автоматизации проектирования сложных технических объектов
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
6 млн
Количество заявок
4
Тема
Создание программно-аппаратных комплексов на базе вычислительных систем с арифметическими ускорителями для проектирования и эксплуатации сложных технических объектов атомной энергетики.
Продолжительность работ
2009 - 2010, 13 мес.
Бюджетные средства
15 млн
Количество заявок
1
Тема
Разработка технологии ресурсонезависимого параллельного программирования для многопроцессорных вычислительных систем различных классов.
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
3 млн
Количество заявок
2