Технология автоматного программирования: применение и инструментальные средства.
Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта
Проект
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 с открытым исходным кодом.
Разработан окончательный вариант ПК АП.
Проведены отладка и тестирование ПК АП.
Для ПК АП разработаны следующие программные документы:
- спецификация;
- общее описание;
- руководство системного программиста;
- руководство программиста;
- руководство оператора.
Проведены предварительные испытания ПК АП.
Проведены приемочные испытания ПК АП.
Предложено распространять созданный ПК АП по лицензии GPL с открытым исходным кодом.
Программа
Программа "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы
Программное мероприятие
1.3 Прикладные разработки в рамках системы приоритетных направлений
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
6 млн
Организация
МГТУ им. Н.Э.Баумана
профинансировано
Технология генетического программирования для генерации автоматов управления системами со сложным поведением
профинансировано
профинансировано
профинансировано
Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными аппаратами
Продолжительность работ
2009 - 2011, 25 мес.
Бюджетные средства
2,1 млн
Организация
Университет ИТМО
профинансировано