автореферат диссертации по информатике, вычислительной технике и управлению, 05.13.11, диссертация на тему:Методы и программные средства управления конфигурациями проектов разработки встроенных систем

На правах рукописи

ООЗ166338

Налютин Никита Юрьевич

МЕТОДЫ И ПРОГРАММНЫЕ СРЕДСТВА УПРАВЛЕНИЯ КОНФИГУРАЦИЯМИ ПРОЕКТОВ РАЗРАБОТКИ ВСТРОЕННЫХ

СИСТЕМ

05 13 11 - математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей

АВТОРЕФЕРАТ диссертации на соискание ученой степени кандидата технических наук

Автор

О 3 ДПР ¿ссз

Москва-2008

Работа выполнена в Московском инженерно-физическом институте (государственном университете)

Научный руководитель кандидат технических наук,

доцент Синицын Сергей Владимирович

Официальные оппоненты доктор технических наук, профессор,

Романов Михаил Петрович. Московский государственный институт радиотехники, электроники и автоматики (технический университет)

кандидат физико-математических наук Грачев Андрей Юрьевич Филиал корпорации «ИнтерСистемз Интернэшнл Корпорейшн», г. Москва.

Ведущая организация Государственный научный центр

Федеральное государственное унитарное предприятие «Государственный научно-исследовательский институт авиационных систем»

Защита диссертации состоится 23 апреля 2008 г в 15 часов 00 минут на заседании диссертационного совета Д 212 130.03 в Московском инженерно-физическом институте (государственном университете) по адресу 115409, г. Москва, Каширское шоссе, 31.

С диссертацией можно ознакомиться в библиотеке института

Автореферат разослан марта 2008 г

Ученый секретарь диссертационного совета д.т н, профессор

Шумилов Ю Ю.

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

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

Процесс управления конфигурациями в различных отраслях регламентируется такими международными стандартами, как ВО-178В, А8 9100В, АБ 9006В, КО 10007, КОЛЕС ТО 15846, ВО/ГЕС 15408 и пр Более того, его применение строго обязательно при разработке высококритичных систем, к надежности которых предъявляются повышенные требования, в частности при разработке авиационных встроенных систем для гражданской авиации

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

В процессе эволюции проекта документы вступают в различные типы отношений, в общем случае представимые в виде ориентированного графа Однако традиционная структура документации проекта представляет собой отношение частичного порядка и фактически задает структуру дерева объектов.

Задачи управления и вычисления состояний конфигураций призваны поддержать функции управления проектом, деятельность коллектива исполнителей и группы сопровождения На базе механизма вычисления состояний решаются задачи оценки сроков проекта, выявления узких мест, вычисления экономических показателей проекта, прогноза выполнимости проекта, контроля соблюдения технологии

Анализ наиболее развитых инструментальных систем управления конфигурациями показывает, что почти все они обеспечивают решение

задач идентификации, управления изменениями, создания базовых версий

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

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

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

Для достижения этой цели в работе необходимо решить следующие задачи

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

• предложить и построить исчисление для задания структуры конфигурации, основанное на натуральном выводе Генцена, и соответствующую ему модель конфигураций,

• построить и исследовать модель вычисления состояний объектов и конфигураций, основанную на натуральной семантике,

• предложить эвристический подход к оценке близости конфигурации к моменту изменения состояния и исследовать его адекватность,

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

• разработать \УеЬ-ориентированную систему, включающую в себя элементы управления конфигурациями (определение структуры объектов конфигурации и вычисление состояний),

• экспериментально проверить разработанные методы и программные средства

Методы исследования. При разработке математического аппарата в диссертационной работе используются методы теории графов, теории аксиоматических систем и формального вывода, математической логики При разработке программного обеспечения (ПО) используются методы объектно-ориентированного, \¥еЬ-ориентированного и клиент-серверного программирования, а также паттерны проектирования

Научная новизна работы заключается в следующем

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

• предложена модель определения структуры конфигурации и вычисления состояния объектов конфигураций, основанная на математическом аппарате формального вывода,

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

• предложен эвристический метод оценки степени завершенности работ над конфигурацией, что дает возможность приближенной оценки трудоемкости при планировании работ в проектах разработки программных систем

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

разработке методики внедрения и сопровождения системы управления конфигурациями на предприятии

Реализация результатов. Разработанные решения в виде программно-информационной системы поддержки документооборота масштаба предприятия, поддерживающей механизмы создания конфигураций документов и вычисления их состояний, были внедрены на предприятии авиационной отрасли ООО «ДС «БАРС», а также в МИФИ для сопровождения учебного курса на кафедре №22 «Кибернетика»

Методы вычисления состояний объектов конфигураций использовались в ЗАО «АСТ» при выполнении работ по проектам Федеральной службы по экологическому, технологическому и атомному надзору.

На защиту выносятся:

• Исчисление для задания структуры конфигураций, основанное на натуральном выводе Генцена и соответствующая ему модель конфигураций.

• Метод вычисления состояний конфигураций, основанный на натуральном выводе Генцена и построенный в терминах операционной семантики

• Доказательства теорем о принадлежности конфигураций к классу индуктивно определяемых понятий и возможности формульного задания структуры конфигурации, а также теоремы о свертке структуры конфигурации

• Эвристический подход для оценки степени близости конфигурации к моменту изменения состояния и оценки степени завершенности работ над конфигурацией.

• Обобщенная архитектура объектов управления конфигурациями

• Программная реализация системы управления документами, включающая в себя средства вычисления состояний конфигураций документов, технология ее сопровождения и внедрения

Апробация работы. Теоретические положения и практические результаты были доложены на следующих конференциях и семинарах

• Научные сессии МИФИ 2003-2008 (г Москва, 2003 - 2008 гг),

• XII-XVI Международные научно-технические семинары «Современные технологии в задачах управления, автоматизации и обработки информации» (г Алушта, 2003 -2007 гг ),

• InterSystems Симпозиум 2004 и 2005 (г Москва, 2004 - 2005 гг)

• IV и V Открытые всероссийские конференции «Преподавание ИТ в России» (Москва, 2006 г , Тверь, 2007 г )

• XV Всероссийская научно-практическая конференция «Проблемы информационной безопасности в системе высшей школы» (г Москва, 2008 г.)

Публикации. По тематике диссертационной работы было опубликовано 22 работы, в том числе 18 тезисов докладов [1-18], два учебных пособия [21-22], две статьи в журналах по списку ВАК [19-20]

Структура работы. Диссертация содержит четыре главы, введение и заключение, 53 рисунка, 16 таблиц, 11 приложений. Общий объем без приложений 149 с (с приложениями 226 с) Список использованных источников содержит 152 наименования

ОСНОВНОЕ СОДЕРЖАНИЕ РАБОТЫ

Во введении обосновывается актуальность работы, определяются цели и задачи работы

В первой главе проводится анализ современных методов и проблем управления конфигурациями при разработке встроенных систем (ВС), в частности встроенных авиационных систем

Встроенные системы в работе рассматриваются как класс систем, при разработке которых обязательно применение управления конфигурациями Это обусловлено следующими факторами жизненный цикл ВС и этап сопровождения ВС имеют значительную продолжительность, цена ошибки ВС, выявленной на поздних этапах жизненного цикла, очень высока; перед введением ВС в эксплуатацию она подвергается обязательной сертификации В ходе сертификации подтверждается определенный уровень качества ВС- Процесс управления конфигурациями обеспечивает гарантию того, что программные продукты и процессы жизненного цикла соответствуют заданным требованиям за счет управления всеми данными проекта

В работе проведен сравнительный анализ требований, предъявляемых к процессу управления конфигурациями различными отраслевыми стандартами и стандартами качества DO-178B, AS9100 В, AS9006 В (авиационные ВС), ГОСТ Р 51904-2002 (ВС общего назначения), ISO 9001, ISO 10007 (различные виды программных систем) Сравнение проводилось по таким параметрам,

как требования к идентификации, вычислению статусов (состояний), аудиту и инспекциям, выпуску продукции, управлению процессом, обеспечению коллективной работы, поддержки трассируемости По результатам анализа выявлено, что деятельность по управлению и вычислению статусов является основой для полномасштабного управления конфигурациями на всех этапах жизненного цикла разработки и эксплуатации ВС

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

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

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

Даже с учетом указанного ограничения задача в данной постановке позволяет вычислять состояния широкого класса конфигураций, в том числе конфигураций проектной документации и конфигураций работ по проекту необходимо вычислить состояние конфигурации С(о,, ,оп), состоящей из объектов о,, ,оп, состояния

которых равны 515 ^„соответственно Состояния з,, е , где

Яу - перечислимое конечное множество возможных состояний

Для решения этой задачи предлагается задавать функцию = , реализующую процесс вычисления Функция -дискретная и определена на дискретном множестве х х

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

Во второй главе для решения задачи в предложенной постановке вводятся формальная система для задания иерархической структуры конфигурации и методы вычисления состояний конфигураций на заданной структуре

Структура конфигурации задается в рамках следующей формальной алгебраической системы.

Алфавит а,,. - элементарные объекты конфигурации

(ОК); - операции над ОК, С,,. ,Сп,Стс/,. - сигнатуры функций-конструкторов для создания конфигураций, скобки (,)

Термы каждый элементарный ОК есть терм, если ах,...,ап -термы, то С(йГ), ,ап) - терм; если а.^а2 - термы, то (а, а а2), и (а, v а2) — термы, каждый элементарный ОК может входить в терм не более чем один раз, никаких других термов, кроме определенных выше, не существует

Формулы всякий терм есть формула, (А{ лА2) и (А1 V А^) суть

формулы, если Ал и А^ - формулы.

Аксиомы все элементарные ОК.

Функции (а, ла2) и (а} Vа2)

А В . . а В . .

Правша вывода -(V); -(л), где а - элементарные

А v В а а (В)

ОК, а А, В - формулы

Для задания конфигурации, имеющей древовидную структуру, используется модель, сопоставляющая элементарные конфигурации формулам теории (рис 1)

а\/Ь

алЬ

Рис. 1. Алгебраический вид элементарных иерархических конфигураций

Формальное доказательство формул, задающих структуру конфигурации (рис. 2), определяет семантику функций-конструкторов С, создающих конфигурации из элементарных ОК, входящих в них. Элементарные ОК являются параметрами функции-конструктора, а возвращаемое значение представляет собой созданную конфигурацию.

е /

й е + f

<*(.е + Л 8

с d(e + f) + g Ъ сЩе + П + Е) а ¿>(с(Л(е+ /) + £» а(Ъ(с(а(е + /) + 8)))

Рис. 2. Построение конфигурации по дереву вывода

В работе показано, что конфигурация является индуктивно определяемым понятием. Приведенные ниже теоремы доказываются как следствия теорем об индуктивно определенных понятиях и теоремы о Ьаг-индукции Брауэра.

Теорема 1 (о соответствии формулы и дерева). Каждой формуле 7% задающей конфигурацию, соответствует дерево конфигурации Т.

Теорема 2 (о включении конфигураций). Каждая конфигурация С может являться также объектом конфигурации, идентифицируемым корневой вершиной дерева конфигурации.

Теорема 3 (о свертке конфигурации). Вместо любого конечного поддерева V в дерево конфигурации может быть подставлен конструктор, создающий данное конечное поддерево.

Метод вычисления состояний конфигураций основан на построении алгебры, носителем которой являются всевозможные ОК, сигнатурой - конструкторы новых ОК и функции вычисления статусов.

Состояния элементарных OK задаются функцией Statedef Adef —» Vdef, которая определяет связь между объектом и его

состоянием При вычислении состояний конфигураций используется принцип композиционное™, т е состояния сложных объектов должны определяться состояниями их компонентов Таким образом, вычисление состояний конфигураций проходит на основании функции Statedef, поэтому правила натуральной семантики приобретают вид

Statedef > Stately ] = a, Statedef > State[xn ]-а„

Stated^f>State[C(x1,x2, . ,x„)] = f(a1,a2,. ,a„) где запись State^ > А означает, что А выводимо при условии Statedef, а функция /(гг,,а2, . ,ап) задает состояние конфигурации С(х,,х2, ,хи), элементы которой имеют состояния аиа2, . ,ап

Алгоритм вычисления состояния конфигурации включает в себя следующие шаги

• фиксируется функция Statedef,

• определяется цель вывода, те конфигурация, состояние которой необходимо вычислить,

• проводится построение дерева вывода с помощью рассматриваемых правил, в процессе которого означиваются состояния элементов конфигурации;

• процесс построения дерева вывода завершается на элементарных ОК, состояния которых заданы с помощью функции Statedef;

• в конечном итоге, на основе полученной в процессе вывода информации делается заключение о состоянии конфигурации

В работе также предлагается расширение метода вычисления состояния конфигураций, основанное на применении функции State^

к типам ОК, а не к конкретным экземплярам ОК

Предложенный метод вычисления состояния конфигураций имеет ограничение, на практике велики интервалы времени между сменой состояния, что затрудняет оперативную оценку Предложенная в работе эвристическая оценка COEF близости конфигурации к моменту изменения состояния основана на ранжировании вклада каждого состояния каждого типа элемента конфигурации в ее общую завершенность и на вычислении общей завершенности как

M = 1 —!-, где сг - сложность z-ro элемента конфигурации, а

рг — вес его состояния

В третьей главе рассмотрены подходы к проектированию и разработке инструментальных средств, реализующих методы вычисления состояний при управлении конфигурациями Предлагаются реляционная и объектная модели данных обобщенного объекта конфигурации, жизненный цикл разработки и сопровождения системы управления конфигурациями Приведены основные результаты и особенности разработки системы, функционирующей под управлением постреляционной СУБД Caché

Реляционная модель данных обобщенного объекта конфигурации построена на языке 1-го порядка, определена аксиоматика модели Данные, необходимые для реализации механизма вычисления состояний помещаются в сущностях «Модель Поведения», «Состояние» и «Переход».

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

Контейнеры классов обобщенной системы соответствуют основным объектам и субъектам, участвующим в процессе управления конфигурациями и, в частности, в процессе вычисления состояний ОК

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

Система реализована как Web-приложение, работающее под управлением постреляционной СУБД Caché При реализации системы были предложены конструктивные решения, учитывающие необходимость в оперативном сборе и обработке информации о сбоях системы, в унификации пользовательского интерфейса системы при работе с документами различных типов

Поскольку в реальных проектах разработки ВС участвуют десятки и даже сотни человек, работающих с различными конфигурациями, то возникает немаловажная задача обеспечения мультидоступа в условиях N, где Ь - количество лицензионных единиц для доступа к серверу, а N - количество пользователей Решение задачи Ь = Ы при ТУ" > 100 не эффективно с финансовой точки зрения в силу прогрессивной шкалы стоимости лицензий на СУБД. Предложенный в работе механизм уменьшения времени непроизводительного удержания лицензий позволил сократить затраты на закупку лицензий на 25-50 % в зависимости от средней продолжительности сеанса работы с системой. Так, по результатам практических исследований, число лицензий, необходимых для доступа 200 пользователей при среднем времени сеанса 10 мин, сократилось с 32 до 25

В четвертой главе приводятся данные реальных экспериментов по анализу свойств предложенной эвристической оценки СОЕР, результаты внедрения и использования программной системы управления документами на предприятии авиационной отрасли и в учебном процессе

Для экспериментальной проверки адекватности эвристики СОЕБ был выбран проект по тестированию встроенной системы обеспечения спутниковой связи самолета с землей, выполняемый на предприятии с устоявшимся и регламентированным стандартами процессом разработки программного обеспечения, что позволило уменьшить влияние неоднородности коллектива на проводимые оценки Основные параметры проекта, подвергавшиеся оценке завершенность проекта (в процентах) и накопленная трудоемкость проекта в зависимости от количества завершенных объектов, входящих в его конфигурацию

Эвристика применялась на конфигурациях проекта, различавшихся по количеству ОК и по степени их сложности, и в том числе на уже завершенных конфигурациях, что позволило определить адекватность оценочных параметров реальным Среднеквадратичное отклонение оценочной завершенности проекта находилось в пределах 10 % относительно реальных значений, оценка накопленной трудоемкости на конфигурациях большого размера оказалась завышенной в 2 раза

Такое расхождение объясняется заниженной оценкой производительности участников проекта, принятой при расчете Расчет трудоемкости в соответствии с методологией СОСОМО, напротив, показал заниженные в 2-2,5 раза результаты

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

Внедрение программной системы управления документами с элементами управления конфигурациями на предприятии авиационной отрасли позволило проверить ее эксплуатационные свойства. Предприятие характеризуется широким диапазоном длительности периода контроля состояния документов, наличием четко определенных технологических процессов и значительной точностью метрик оценки длительности работ.

В соответствии с актом о внедрении система обеспечивает работу более 200 пользователей в четырех офисах предприятия, расположенных в нескольких городах РФ. За время ее эксплуатации в течение 3,5 лет было создано более 3000 документов, интенсивность использования системы - более 600 сеансов в месяц.

В указанных условиях внедрение системы дало следующие результаты: в 3,25 раза снизилось количество не выполняемых в срок работ (рис. 3), эффективность работы процессов, входящих в систему менеджмента качества предприятия, возросла на 15%. Внедрение системы позволило успешно сертифицировать предприятие на соответствие требованиям авиационного стандарта качества АБ9100В.

Рис. 3. Количество и линия тренда доли просроченных документов в

2004-2007 гг.

§100% *

: 80%

60% . ла%

_ _ — ....... . -.----— ........... _ . - __ ......^^гот^лдат^соспот-*^

---Г". I Г". Г^ Г-. г-. г. Г-

)ооооооооосооаоосос.о6ооаоаосоаос-т)осососооа

Год и месяц

Для экспериментальной проверки в условиях высокой неопределенности при оценке трудоемкости выполняемых работ система была внедрена в учебный процесс кафедры «Кибернетика» МИФИ для сопровождения выполнения коллективного студенческого проекта по курсу «Технология программирования» По итогам внедрения отмечается значительное увеличение степени достоверности данных об индивидуальном вкладе каждого студента в коллективный учебный проект, что позволило более справедливо оценивать их работу Кроме того, повысилась оперативность получения преподавателем информации о состоянии выданных заданий и статуса проекта в целом

В заключении отражены основные результаты, полученные в данной работе

В приложениях содержатся стандарты на разработку программной системы БМБ, выдержки из проектной документации, отчеты о внедрении системы, акты о внедрении системы и использовании результатов диссертационного исследования

ОСНОВНЫЕ РЕЗУЛЬТАТЫ РАБОТЫ

Основные результаты, полученные автором диссертационного исследования, состоят в следующем.

• Выполнено исследование особенностей инструментальной поддержки процесса управления конфигурациями при разработке встроенных систем Поставлена задача вычисления состояний конфигураций

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

• Разработан метод вычисления состояния конфигурации, основанный на определении натуральной семантики функций, построено расширение метода при помощи системы типов

• Разработаны архитектура объектов конфигураций, пользовательский интерфейс и функциональная структура системы управления документами, основанной на принципах управления конфигурациями

• Реализована программная система управления документами, включающая в себя средства задания структуры конфигураций документов и вычисления состояний конфигураций

• Проведено полномасштабное внедрение разработанной программно-информационной системы на предприятии авиационной отрасли ООО «ДС «БАРС», а также внедрение в учебный процесс МИФИ, результаты работы использованы в ЗАО «ACT» при выполнении проектов Федеральной службы по экологическому, технологическому и атомному надзору

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

Основные положения диссертационной работы опубликованы в печатных работах [1-20]. Положения диссертации отражены также в учебных пособиях [21-22]

ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ

1 Налютин H Ю, Петухова Е А Использование XML в проектах СУБД Caché // Научная сессия МИФИ-2003 Сборник научных трудов -Т2 -М. МИФИ,2003 -С 39-40

2 Налютин H Ю, Синицын С В Управление конфигурациями проектной документации // Научная сессия МИФИ-2003 Сборник научных трудов - Т.2 - М.. МИФИ, 2003. - С 72-73

3 (Система информационного обеспечения службы технической поддержки / Гречкин Т Ю , Налютин H Ю , Полян Е Л, Попов А Е , Петухова ЕА. // Научная сессия МИФИ-2003 Сборник научных трудов -Т 13.-М. МИФИ, 2003 -С 23-24

4 Налютин H Ю, Синицын С В Выявление модели управления конфигурациями проектной документации // Современные технологии в задачах управления, автоматики и обработки информации. Труды ХП Международного научно-технического семинара -М Изд-воМЭИ, 2003 -С 77-78

5 Налютин H Ю, Синицын С В Средства управления документооборотом на IT-предприятии // Научная сессия МИФИ-2004 Сборник научных трудов - Т 2. - M • МИФИ, 2004 - С 8990

6 Налютин H Ю, Петухова Е А Приемы защитного программирования на языке Cache Object Script // Научная сессия

МИФИ-2004 Сборник научных трудов - Т 2 - М • МИФИ, 2004 -С 101-102

7 Налютин Н Ю , Петухова Е А Методы экранного отображения упорядоченных структур документов // Современные технологии в задачах управления, автоматики и обработки информации Труды XIII Международного научно-технического семинара - Ч. I - М . Изд-во ЦПИ при мехмате МГУ им М В Ломоносова, 2004 - С

105-106

8 Налютин Н Ю , Синицын С В. Математическая модель процессов конфигурационного управления // Современные технологии в задачах управления, автоматики и обработки информации Труды ХШ Международного научно-технического семинара - Ч I - М Изд-во ЦПИ при мехмате МГУ им М В. Ломоносова, 2004 - С

106-108

9 Налютин Н Ю, Синицын С.В Математическая модель конфигурационного управления разработкой программных систем // Научная сессия МИФИ-2005. Сборник научных трудов. -Т2 -М МИФИ, 2005 - С 62-63

10 Налютин НЮ, Синицын С В Средства конфигурационного управления автоматизированной системы поддержки управления предприятием // Современные технологии в задачах управления, автоматики и обработки информации Труды XIV Международного научно-технического семинара Сентябрь 2005 г, Алушта -Самара Самарский государственный аэрокосмический университет, 2005 - С 62

11 Налютин Н Ю, Синицын С.В Идентификация и классификация объектов при управлении их конфигурациями // Научная сессия МИФИ-2006 Сборник научных трудов - Т 2 - М.. МИФИ, 2006 -С 96-97

12 Налютин Н.Ю, Синицын С В Вычисление состояний в динамически изменяемых конфигурациях объектов разработки программных систем // Современные технологии в задачах управления, автоматики и обработки информации Труды XV международного научно-технического семинара - М МИФИ, 2006 - С 86

13. Аспекты технологической подготовки современных инженеров-разработчиков программного обеспечения / Синицын С В, Налютин Н Ю, Петухова Е А, Садчиков С.М [Электронный

ресурс] - М АПКИТ, 2006 - Режим доступа http //www it-education ru/2006/reports/Smitsyn htm - Загл с экрана

14 Налютин НЮ, Синицын С В Метод описания и алгоритмы обработки структуры конфигураций объектов разработки программных систем // Научная сессия МИФИ-2007 Сборник научных трудов Т2 -М МИФИ, 2007 - С 55-57

15 Индивидуальная подготовка ИТ-специалистов / Синицын СВ., Петухова Е А., Садчиков С М, Налютин Н.Ю // 5-я Открытая конференция "Преподавание информационных технологий в России". Сборник докладов -Тверь, 2007 -С 145-151.

16 Налютин НЮ, Синицын С В Подход к вычислению состояний конфигураций объектов разработки программных систем // Современные технологии в задачах управления, автоматики и обработки информации Труды XVI Международного научно-технического семинара Сентябрь 2007 г, Алушта. - Тверь ТвГУ, 2007.-С. 71

17 Налютин НЮ, Синицын С В Вычисление состояний конфигураций объектов разработки программных систем // Научная сессия МИФИ-2008- Сборник научных трудов. - Т 11 - М. МИФИ, 2008 -С 106-107

18. Налютин НЮ, Синицын С В Управление конфигурациями при разработке защищенных программных систем // XV Всероссийская научная конференция «Проблемы информационной безопасности в системе высшей школы» Сборник научных трудов - М МИФИ, 2008 -С. 106-107

19 Вопросы автоматизации контроля знаний при подготовке современных ИТ специалистов / Синицын С В , Налютин Н Ю, Петухова Е А , Садчиков СМ// Открытое образование - 2006 -№4 - С 70-77

20 Налютин Н Ю, Синицын С В Проблемы управления конфигурациями в процессе разработки программного обеспечения встроенных систем // Программные продукты и системы - 2008 -№ 1 - С 26-29

21. Синицын СВ, Налютин НЮ Операционные системы Учебное пособие-М МИФИ, 2006 -214 с

22 Синицын С В., Налютин Н Ю Верификация программного обеспечения Учебное пособие - М Интернет-университет информационных технологий, БИНОМ Лаборатория знаний, 2008 -368 с

Подписано в печать 19 03 2008 г Печать трафаретная

Заказ № 173 Тираж 100 экз

Типография «11-й ФОРМАТ» ИНН 7726330900 115230, Москва, Варшавское ш, 36 (495) 975-78-56, (499) 788-78-56 www autoreferat ru

СОДЕРЖАНИЕ.

ВВЕДЕНИЕ.

ГЛАВА 1. Современные методы управления конфигурациями при разработке встроенных программных систем.

1.1. Процессы разработки встроенных систем.'.

1.2. Общая характеристика процесса управления конфигурациями.

1.3. Требования отраслевых и международных стандартов к процессу управления конфигурациями.

1.3.1 Процессы управления конфигурациями по ГОСТ Р 51904-2002.

1.3.2, Процессы управления конфигурациями по DO-178В.

1.3.3 Процессы управления конфигурациями по ISO 9001:2000/is0 10007.

1.3.4 Процессы управления конфигурациями по AS 9100В / AS 9006В.

1.3.5 Сравнительная характеристика требований DO-178В, ISO 9001:2000/is0 10007 и AS 9100В.

1.4. Компоненты современных систем управления конфигурациями.

1.5. Современные модели процесса управления конфигурациями.

1.6. Цель и задачи диссертационного исследования-.

ГЛАВА 2. Теоретические аспекты метода управления конфигурациями при разработке встроенных систем.

2.1. Построение математической модели конфигураций объектов разработки ВС

2.1.1 Основные определения.

2.1.2 Структура конфигурации как формальная теория.

2.1.3 Древовидные конфигурации как модель формальной теории.

2.1.4 Процесс создания конфигурации при помощи правил вывода.

2.2. Построение математической модели вычисления состояний объектов конфигурации.

2:2.1 Основные определения алгебраической модели вычисления состояний конфигураций.

2.2.2 Вычисление состояний ОК.

2.2.3 Типизация конфигураций.

2.3. Эвристический метод оценки степени завершенности конфигурации.

2.4. Выводы по главе.

ГЛАВА 3. Проектирование инструментальных средств управления конфигурациями.

3.1. Реляционная модель обобщенного объекта конфигурации.

3.2. Объект конфигурации как абстрактный класс данных.

3.3. Жизненный цикл разработки и сопровождения системы управления конфигурациями.

3.4. Проектирование и реализация системы DMS.

3.4.1 Общая характеристика системы DMS.

3.4.2 Инструментальные средства реализации.

3.4.3 Особенности применения метода вычисления состояний конфигураций в системе DMS.

3.4.4 Особенности реализации системы DMS.

3.5. Выводы по главе.

ГЛАВА 4. Экспериментальная проверка и внедрение разработанных методов и инструментальных средств.

4.1. Экспериментальная проверка эвристического метода оценки степени завершенности конфигурации COEF.

4.2. Внедрение, опытная и промышленная эксплуатация системы на предприятии ООО «ДС «БАРС».

4.2.1 Методика внедрения и сопровождения системы.

4.2.2 Процесс внедрения.

4.2.3 Общая статистика работы системы DMS на предприятии

ООО «ДС «БАРС».

Актуальность. В процессе разработки программных систем образуется множество взаимосвязанных между собой результатов проекта проекта - требований, исходных текстов, объектных файлов, описаний тестов и т.п. Согласованные совокупности таких объектов принято называть конфигурациями, а процесс поддержания их изменений и целостности в течение жизненного цикла проекта — управлением конфигурациями.

Процесс управления конфигурациями в различных отраслях регламентируется такими международными стандартами, как DO-178B [67], AS9100B [3], AS9006B [2], IS010007 [43], ISO/IEC TR 15846 [47], ISO/IEC 15408 [45], IEEE 1042 [40] и пр. Более того, его применение строго обязательно при разработке высококритичных систем, к надежности которых предъявляются повышенные требования, в частности - при разработке авиационных встроенных систем для гражданской авиации.

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

В процессе эволюции проекта документы вступают в различные типы отношений, которые в общем случае представимы в виде ориентированного графа. Однако традиционная структура документации проекта представляет собой отношение частичного порядка и фактически задает структуру дерева объектов.

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

Анализ наиболее развитых инструментальных систем управления конфигурациями показывает, что почти все они обеспечивают решение задач идентификации, управления изменениями, создания базовых версий.

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

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

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

Для достижения этой цели в работе решены следующие задачи:

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

- предложено и построено исчисление для задания структуры конфигурации, основанное на натуральном выводе Генцена и соответствующая ему модель конфигураций;

- построена и исследована модель вычисления состояний ОК и конфигураций, основанная на натуральной семантике;

- предложен эвристический подход к оценке близости конфигурации к моменту изменения состояния и исследована его адекватность;

- разработана обобщенная архитектура объектов конфигураций в терминах реляционного и объектно-ориентированного подхода с использованием паттернов проектирования;

- разработана Web-ориентированная система, включающая в себя элементы управления конфигурациями: определение структуры объектов- конфигурации и вычисление состояний;

- разработанные методы и программные средства экспериментально проверены.

Методы исследования. При разработке математического аппарата в диссертационной работе используются методы теории графов, теории аксиоматических систем и формального вывода, математической логики. При разработке программного обеспечения

ПО) используются методы объектно-ориентированного, Web-ориентированного и клиент-серверного программирования, а также паттерны проектирования.

Научная новизна работы. Научная новизна работы заключается в следующем:

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

- предложена модель определения структуры конфигурации и вычисления состояния объектов конфигураций (ОК), основанная на математическом аппарате формального вывода;

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

- предложен эвристический метод оценки степени завершенности работ над конфигурацией, что дает возможность приближенной» оценки трудоемкости при планировании работ в проектах по разработке ПС.

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

Внедрение и сопровождение программных средств на предприятия авиационной отрасли ООО «ДС «БАРС» в течение более чем 3 лет позволило отметить значительное повышение эффективности работы персонала по сравнению с предыдущими системами. Программная система соответствует требованиям стандартов качества ISO 9001:2000 и AS 9100В, что было подтверждено при сертификации предприятия на соответствие этим стандартам.

Методы вычисления состояний объектов конфигураций, предложенные в работе, использовались в ЗАО «АСТ» при выполнении работ по проектам Федеральной службы по экологическому, технологическому и атомному надзору.

Внедрение программной системы в учебный процесс кафедры №22 «Кибернетика» МИФИ для обеспечения проектного документооборота при выполнении студентами учебного коллективного курсового проекта по курсу «Технология программирования» позволило значительно повысить эффективность и оперативность обмена между студентами запросами на изменение и отчетами о проблемах. Также система позволила отслеживать состояние работ в студенческом проекте и служила общим репозиторием управляющих документов. По итогам внедрения отмечается значительное увеличение степени достоверности данных об индивидуальном вкладе каждого студента в коллективный учебный проект, что позволило более справедливо оценивать их работу. Кроме того повысилась оперативность получения преподавателем информации о состоянии выданных заданий и статуса проекта в целом.

Положительный опыт использования программной системы подтвержден соответствующими актами о внедрении.

На защиту выносятся:

- исчисление для задания структуры конфигураций, основанное на натуральном выводе Генцена и соответствующая ему модель конфигураций;

- метод вычисления состояний конфигураций, основанный на натуральном выводе Генцена и построенный в терминах операционной семантики;

- доказательства теорем о принадлежности конфигураций к классу индуктивно определяемых понятий и возможности» формульного задания структуры конфигурации, а также теоремы о свертке структуры конфигурации;

- эвристический подход для оценки степени близости конфигурации к моменту изменения состояния и оценки степени завершенности работ над конфигурацией;

- обобщенная архитектура объектов управления конфигурациями;

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

Апробация работы. Теоретические положения и практические результаты докладывались на следующих конференциях, семинарах и выставках:

- Научная сессия МИФИ 2003-2008 (г. Москва, 2003 - 2008 гг.) [105, 125, 127-129, 131, 132, 134,138, 147];

- XII-XVI Международные научно-технические семинары «Современные технологии в задачах управления, автоматизации и обработки информации» (г. Алушта, 2003 - 2007 гг.) [126,130, 133, 135, 137];

- InterSystems-Симпозиум 2004, 2005 (г. Москва, 2004 - 2005 гг.) (см. приложение 11);

- IV и V Открытая всероссийская конференция «Преподавание ИТ в России» (Москва, 2006 г., Тверь, 2007 г.) [148, 150];

- XV Всероссийская научно-практическая конференция «Проблемы информационной безопасности в системе высшей школы» (г. Москва, 2008 г.) [139].

Публикации. По теме диссертации и смежным темам опубликовано

- 2 печатные работы в реферируемых журналах, рекомендованных ВАК для публикации результатов кандидатских и докторских диссертаций [136, 149]

- 2 учебных пособия [145, 146]

- 18 тезисов докладов в сборниках научных трудов конференций [105, 125-139, 147, 148]

Структура и объем работы. Диссертация содержит 4 главы, введение и заключение, 53 рисунка, 16 таблиц, 11 приложений. Общий объем без приложений: 149 стр. (с приложениями 226 стр.). Список использованных источников содержит 152 наименования.

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

ЗАКЛЮЧЕНИЕ

В работе решена задача создания математического и программно-алгоритмического обеспечения процедур управления конфигурациями при разработке встроенных систем с точки зрения управления состояниями объектов конфигурации.

В результате работы над диссертацией получены следующие результаты:

1. Выполнено исследование особенностей инструментальной поддержки процесса управления конфигурациями при разработке встроенных систем. Поставлена задача вычисления состояний конфигураций.

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

3. Разработан метод вычисления состояния конфигурации, основанный на определении натуральной семантики функций, построено расширение метода при помощи системы типов.

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

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

6. Проведено полномасштабное внедрение разработанной программно-информационной системы на предприятии авиационной отрасли ООО «ДС «БАРС», проведено внедрение в учебный процесс МИФИ, результаты работы использованы в ЗАО «АСТ» при выполнении проектов Федеральной службы по экологическому, технологическому и атомному надзору.

1. Ambriola V. et al. The evolution of configuration management and version control // Software Engineering Journal Volume 5, 1.sue 6. - November 1990. - Pp. 303-310

2. AS9006B. Aerospace Software Supplement for AS9100B. G-14 Americas Aerospace Quality Group (AAQG), SAE. - 2004. - 24 p.

3. AS9100B. Quality Management Systems. Aerospace. Requirements. G-14 Americas Aerospace Quality Group (AAQG). - SAE. - 2004. - 39 p.

4. Asklund U. Configuration Management for Distributed Development in an Integrated Environment. Doctoral dissertation. Department of Computer Science, Lund Institute of Technology, Lund University. - 2002. - 218 p.

5. B. Westfechtel. A Graph-Based System for Managing Configurations of Engineering Design Documents. — International Journal of Software Engineering & Knowledge Engineering, vol. 6, no. 4. 1996. - Pp. 549-583.

6. Berczuk S.P., Appleton B. Software Configuration Management Patterns: Effective Teamwork, Practical Integration. Addison Wesley Professional. - 2002. - 256 p.

7. Bershoff E.H., Henderson V.D., Siegel S.G. Principles of Software Configuration Management. Prentice Hall, Englewood Cliffs, New Jersey. - 1979. - 385 p.

8. Borger E., Stark S. Abstract State Machines. A Method for High-Level System Design and Analysis. Springer. - 2003. - 420 p.

9. Borland StarTeam. A Complete Software Change & Configuration Management (SCM) Tool. Электронный ресурс. Borland Inc., 2007. - Режим доступа: http://www.borland.com/us/products/starteam/. — Загл. с экрана.

10. Brown N. et al. Little Book of Configuration Management. AIRLIE Software'Council. -1998.-28 p.

11. Business Process Exectution Language for Web Services version 1.1. IBM, BEA Systems, Microsoft, SAP AG, Siebel Systems. - 2003. - 136 p.

12. Business Process Modelling Notation (BPMN) Specification. Object Management Group. -2006.-308 p.

13. Cagan M., Weber D. Task-based configuration management. Continuus, 1996. - Режим доступа: http://www.continuus.com/developers/developersACEA.html. - Загл. с экрана.

14. Christensen Н.В. The Ragnarok Architectural Software Configuration Management Model. -Proc. of the 32nd Hawaii International Conference on System Sciences. 1999. - pp. 1-7.

15. CMMI for Development, Version 1.2. Technical Report CMU/SEI-2006-TR-008. Software Engineering Institute, Carnegie Mellon University. - 2006. - 573 p.

16. Conradi R., Westfechtel B. Version Models for Software Configuration Management // ACM Computing Surveys, vol. 30, no. 2. 1998. - Pp. 232-282.

17. CVS — Concurrent Versions System vl.11.22. Электронный ресурс. Ximbiot LLC, 2006. - Режим доступа: http://ximbiot.com/cvs/manual/cvs-l.ll.22/cvs.html. - Загл. с экрана.

18. Dart S. Adopting an Automated Configuration Management Solution. Proc. The Eight International Workshop on Computer-Aided Software Engineering. Toronto, Ontario. Invited speech.-1995.-15 p.

19. Dart S. Best Practice for a Configuration Management Solution. Proc. of the' 6th International Workshop on Software Configuration Management (SCM6), Berlin, Germany. -1996.-Pp. 239-255.

20. Dart S. Concepts in Configuration Management Systems. Proc. 3rd International Workshop on Software Configuration Management, Trondheim, Norway. - 1991. - Pp. 1-18.

21. Dart S. Spectrum of functionality in configuration management systems. Technical Report CMU/SEI-90-TR-11. Software Engineering Institute, Carnegie Mellon University. - 1990. -43 p.

22. Dart S. The Past, Present and Future of Configuration Management, CMU/SEI-92-TR-8. -Software Engineering Institute, Carnegie Mellon University. 1992

23. Dunwoodie B. Serena's Acquisition of Merant Approved. Электронный ресурс. CMS Wire, 2004. - Режим доступа: http://www.cmswire.com/cms/ma/serenas-acquisition-of-merant-approved-000304.php. — Загл. с экрана.

24. Eaton D. Configuration Management Tools Summary. Электронный ресурс. Dave Eaton, 2007. - Режим доступа: http://www.daveeaton.com/scm/CMTools.html. — Загл. с экрана.

25. Embedded system. Электронный ресурс. — Wikipedia, 2007. — Режим доступа: http://en.wikipedia.org/wiki/Embeddedsystem. — Загл. с экрана.

26. Estublier J. et al. Impact of software engineering research on the practice of software configuration management // ACM Transactions on Software Engineering and Methodology. Vol. 14, No. 4, October 2005. - pp. 1-48.

27. Estublier J. et al. Impact of the research community on the field of software configuration management: summary of an impact project report // ACM SIGSOFT Software Engineering Notes. Volume 27, Issue 5. September 2002. - Pp. 31-39

28. Feiler P., Downey G. Transaction-Oriented Configuration Management. Technical Report CMU/SEI-90-7. Carnegie Mellon University, Pittsburgh, Pennsylvania. - 1990. - 60 p.

29. Feiler P.H. Configuration Management Models in Commercial Environments. Technical Report CMU/SEI-91-7. Carnegie Mellon University, Pittsburgh, Pennsylvania. - 1991. -54 p.

30. Flora-Holmquist A.R. et al. The virtual finite-state machine design and implementation paradigm // Bell Labs Technical Journal, Volume 2, Issue 1. 2002. - Pp. 96-113

31. Future of the embedded systems technology. Report G-229R. Global Information Inc. -2006.

32. Hall R.S., Heimbigner D., Wolf A.L. Specifying the Deployable Software Description Format in XML. SERL Technical Report CU-SERL-207-99. Software Engineering Research Laboratory, Department of Computer Science University of Colorado. - March 1999.

33. Hass A.M.J. Configuration Management Principles and Practice. — Addison Wesley Professional. 2002. - 432 p.

34. Heiman D. Worldwide Software Configuration Management Tools Competitive Analysis, 2003: 2002 Shares and Current Outlook. IDC Bulletin #29613. - June 2003.

35. Heimann P., Krapp C.-A., Westfechtel В., Joeris G. Graph-Based Software Process Management // International Journal of Software Enginering & Knowledge Engineering, vol. 7,no. 4.-1997.-Pp. 431-455.

36. Hromkovic J., Nagl M, Westfechtel B. Graph-Theoretic Concecpts in Computer Science. -Proc 30th International Workshop, Bad Honnef, Germany, LNCS 3353. Springer-Verlag. -2004.

37. IBM Rational Clear Case V7. Электронный ресурс. IBM Corp., 2007. - Режим доступа: http://www-306.ibm.com/software/awdtools/clearcase/. - Загл. с экрана.

38. IBM Rational Clear Quest. Электронный ресурс. IBM Corp., 2007. - Режим доступа: http://wvvw-306.ibm.com/software/awdtools/clearquest/. — Загл. с экрана.

39. IEEE 1042-1987. IEEE Guide to Software Configuration Management. Institute of Electrical and Electronics Engineers. - 1987. - 92 p.

40. IEEE 1074-1997. IEEE Standard for Developing Software Life Cycle Processes. Institute of Electrical and Electronics Engineers. - 1997. - 96 p.

41. IEEE 1074-2006. IEEE Standard for Developing a Software Project Life Cycle Process. -Institute of Electrical and Electronics Engineers. 2006. — 110 p.

42. ISO 10007. Quality management. Guidelines for configuration management. — International Organization for Standardization. 1995. - 14 p.

43. ISO 12207:1995, Information technology. Software life cycle processes. International Organization for Standardization. - 1995. - 64 p.

44. ISO/IEC 15408:2005. Common Criteria for Information Technology Security Evaluation. -International Organization for Standardization. 2005.

45. ISO/IEC 15909-1:2004. Software and system engineering. High-level Petri nets. Part 1: Concepts, definitions and graphical notation. — International Organization for Standardization. 2004. - 38 p.

46. ISO/IEC TR 15846. Information technology. Software life cycle processes. Configuration management. International Organization for Standardization. — 1998. - 24 p.

47. Kahn G. Natural Semantics. Proc. of the Symposium on Theoretical Aspects of Computer Science. Springer-Verlag. - 1987. - Pp. 22-39.

48. Kleene S.C., Vesley R.E. The foundations of intuitionistic mathematics: especially in relation to recursive functions. North-Holland. - 1965.

49. Louridas P. Version Control // IEEE Software. Jan/Feb 2006. - Pp. 104-107.

50. Michael Barr's Embedded Systems Glossary. Электронный ресурс. — Netrino, LLC, 2007.- Режим доступа: http://www.netrino.com/Publications/Glossary/index.php. Загл. с экрана.

51. Milner R. The polyadic Pi-calculus: a tutorial. Technical Report ECSLFCS 91-180, Computer Science Department, University of Edinburgh, UK. 1991.

52. Milner R., Parrow J., Walker D. A Calculus of Mobile Processes Part I. LFCS Report 8985. University of Edinburgh. - 1989.

53. Milner R., Parrow J., Walker D. A Calculus of Mobile Processes Part II. LFCS Report 8986. University of Edinburgh. - 1989.

54. Moreira M.E., Software Configuration Management Implementation Roadmap. Wiley. -2004. - 260 p.

55. Muravyev A. Programming Languages: Constructions and Semantics. Proc. of 7th International Workshop on Computer Science and Informational Technologies, CSIT'2005, Ufa.-Pp. 52-56.

56. Nguyen T.N. Configuration management for designs of software systems. Proc. of the 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, IEEE Computer Society. - 2005. - Pp. 236-243.

57. Nguyen T.N. Object-Oriented Software Configuration Management. Proc. of 22nd IEEE International Conference on Software Maintenance. IEEE Computer Society. - 2006. - Pp. 351-354.

58. Ohst D., Kelter U. A Fine-grained Version and Configuration Model in Analysis and Design.- Proc. of the International Conference on Software Maintenance-2002. IEEE Computer Society. -2002. Pp. 521-527.

59. Paulk M.C. Practices of High Maturity Organizations. Proc. 1999 SEPG Conference, Atlanta, Georgia, 8-11 March 1999. - 1999. - Pp. 1-25

60. Perforce Software The Fast Software Configuration Management System. Электронный ресурс. - Perforce, 2007. — Режим доступа: http://www.perforce.com. - Загл. с экрана.

61. Practice Standard for Work Breakdown Structures. Project Management Institute. - 2006. -111 p.

62. PRINCE2 Maturity Model. Version 1.0. Электронный ресурс. OGC, 2006. - Режим доступа: http://www.ogc.gov.uk/documents/PRINCE2MaturityModelVersionl .pdf. -Загл. с экрана.

63. Razor Product Overview. Электронный ресурс. — Visible Systems Inc., 2006. — Режим доступа:http://www.visible.com/Products/Brochures/Razor/Razor%20Product%200verview.pdf. — Загл. с экрана.

64. RTCA/DO-178B. Software considerations in airborne system and equipment certification. -RTCA Inc.- 1992.- 138 p.

65. Santos P. Software Configuration Management // Dr. Dobb's Journal. July 27, 2006.

66. Sciore E. Versioning and Configuration Management in an Object-Oriented Data Model // VLDB Journal №3/1994. pp. 77-106.

67. Serena Software Inc. Электронный ресурс. Serena Software, 2007. - Режим доступа: http://www.pvcs.com. — Загл. с экрана.

68. Software Configuration Management SCM - from AccuRev. Электронный ресурс. -AccuRev, 2008. - Режим доступа: http://www.accurev.com. - Загл. с экрана.

69. Taramaa J. Practical development of software configuration management for embedded systems. Technical Research Centre of Finland, Espoo. - 1998. - 149 p.

70. Tichy W. Tools for Software Configuration Management. The German Chapter of the AMC Vol. 30 International Workshop on Software Version and Configuration Control, Grassau, Germany. - Teubner Verlag, Stuttgart, Germany. - 1988. - Pp. 1-20.

71. Tideway Configuration Management Maturity Levels. Электронный ресурс. — Tideway Systems, 2006. Режим доступа: http://www.tideway.com/whatwedo/tidewaycmml. -Загл. с экрана.

72. US Government Protection Profile for Database Management Systems in Basic Robustness Environments. National Security Agency Information Assurance Directorate. — December 2003.-95 p.

73. Van der Hoek A., Carzaniga A., Heimbigner D., Wolf A.L. A Reusable, Distributed Repository for Configuration Management Policy Programming. Technical Report CU-CS-864-98. Department of Computer Science, University of Colorado. - 1998.

74. Version Control and Configuration Management Features Breakdown. Электронный ресурс. Reliable Software LLC, 2006. - Режим доступа: http://wvvw.relisoft.com/coop/vcsbreakdown.html. - Загл. с экрана.

75. Visual Source Safe 2005. Электронный ресурс. Microsoft Corp., 2006. - Режим доступа: http://msdn.microsoft.com/ssafe/. - Загл. с экрана.

76. Wagner F. Modeling Software with Finite State Machines: A Practical Approach. -Auerbach Publications. 2006. - 392 p.

77. Wagner F. VFSM Executable Specification. In proc. CompEuro '92 (Computer Systems and Software Engineering) Proceedings, The Hauge, Netherlands. — 1992. — Pp. 226-231.

78. Westfechtel B. Structure-Oriented Merging of Revisions of Software Documents. Proc. 3rd International Workshop on Software Configuration Management, Trondheim, Norway. -1991.-Pp. 40-58.

79. Whitehead E.J. Jr. An Analysis of the Hypertext Versioning Domain. Dissertation. -University of California, Irvine. 2000. - 259 p.

80. Whitehead E.J. Jr. Design Spaces for Link and Structure Versioning. Proc. of the twelfth ACM conference on Hypertext and Hypermedia. - 2001. - Pp. 195-204.

81. Yu L., Ramaswamy S. A Configuration Management Model for Software Product Line // INFOCOMP: Journal of Computer Science. Vol. 5, No. 4, December 2006. - Pp. 1-8.

82. Zeller A., Snelting G. Unified Versioning through Feature Logic // ACM Transactions on Software Engineering and Methodology. Vol. 6(4), October 1997. - Pp. 398-441.

83. Zeng, F., Jin, Y. Study on product configuration based on product model // The International Journal of Advanced Manufacturing Technology. — Volume 33, Numbers 7-8, July 2007. — Pp. 766-771

84. Zhong L.H., Chen Y., Liu Y. et al. The XML data Model of Software Configuration Management and Research on its Prototype // Computer Engineering and Application. Vol 19/2001.

85. Zimmermann T. et al. Mining Version Histories to Guide Software Changes. // IEEE Transactions on Software Engineering. Vol. 31, No. 6, June 2005.

86. Zina S. et al. Generic modeling and configuration management in Product Lifecycle Management. Proc. of IMACS Multiconference on Computational Engineering in Systems Applications. Bejing, China. - 2006. - Pp. 1252-1258.

87. Автоматы. Сборник статей под редакцией К. Э. Шеннона и Дж. Маккарти. М.: Издательство иностранной литературы, 1956. - 403 с.

88. Аткинсон М. и др. Манифест систем объектно-ориентированных баз данных // СУБД. -№ 4, 1995

89. Ахо А., Сети Р., Ульман Дж. Компиляторы: принципы, технологии и инструменты. -М.: Издательский дом «Вильяме», 2001. 768 с.

90. Бабкин Е. А. Бобрышев Е. А. Иерархическое событийно-автоматное моделирование // Информационные технологии моделирования и управления: №1 (35). Воронеж: Научная книга, 2007. - С. 39-48.

91. Бабкин Е. А. Бобрышев Е. А. О событийных моделях дискретных систем. -Современные проблемы информатики в моделировании и анализе сложных систем: Сб. трудов. Вып. 12. Воронеж: Научная книга, 2007. - С. 141-149.

92. Беккер Й. и др. Менеджмент процессов. М. Эксмо, 2007. - 348 с.

93. Бобрышев, Д. Н. Управление конфигурацией технических систем. М.: Сов.радио, 1978.-182 с.

94. Боэм Б., Браун Дж., Каспар X., Характеристики качества программного обеспечения. — М.: Мир, 1981.-208 с.

95. Волков И., Галахов И. Архитектура современной информационно-аналитической системы // Директор ИС. № 3,2002. - С. 32-36.

96. Горбунов-Посадов М.М. Конфигурации программ. М. : Малип, 1994. - 272 с.

97. ГОСТ 13377-75. Надежность в технике. Термины и определения. М.: Изд-во стандартов. —1975.

98. ГОСТ 27.002-89. Надёжность в технике. Основные понятия. Термины и определения. -М.: Издательство стандартов, 1990. 37 с.

99. ГОСТ Р 51904-2002. Программное обеспечение встроенных систем. Общие требования к разработке и документированию. — М.: Госстандарт России, 2002. — 94 с.

100. ГОСТ Р ИСО 9001-2001. Системы менеджмента качества. Требования. М.: ИПК Изд-во стандартов, 2001. - 140 с.

101. Гречкин Т.Ю., Налютин Н.Ю., Полян E.JI, Попов А.Е, Петухова Е.А. Система информационного обеспечения службы технической поддержки. В сб. Научная сессия МИФИ-2003. Т.13. -М.: МИФИ, 2003. С. 23-24.

102. Гросс М., Лантен А. Теория формальных грамматик. М.: МИР, 1971. - 294 с.

103. Гросс М., Лантен А. Теория формальных грамматик. М.: МИР, 1971. - 295 с.

104. Дубина О. Обзор паттернов проектирования. Электронный ресурс. CitForum, 2005. - Режим доступа: http://www.citforum.ru/SE/project/pattern/. — Загл. с экрана.

105. Елепов Б. С., Чистяков В. М. Управление процессами использования информационных ресурсов. Новосибирск : Наука, 1989. - 235 с.

106. Зашихин А.С. Объектно-ориентированная СУБД Jasmine. Jasmine Studio. М.: Бином, 2004. - 320 с.

107. Кериевски Дж. Рефакторинг с использованием шаблонов (паттернов проектирования). М.: «Вильяме», 2006. — 400 с.

108. Кирстен В. и др. СУБД Cache: Объектно-ориентированная разработка приложений. СПб.: Питер, 2001. - 384 с.

109. Колчин А.Ф. и др. Управление жизненным циклом продукции. М.: Анахарсис, 2002.-304 с.

110. Кречетов Н.Е., Петухова Е.А., Скворцов В.И., Умников А.В., Щукин Б.А. Постреляционная технология Cache для реализации объектных приложений. — М.: МИФИ, 2001.-152 с.

111. Круковский М.Ю. Концепция построения моделей композитного документооборота // Математичш машини i системи. 2/2004. - С. 149-163.

112. КТ-178А. Квалификационные требования часть 178А. Жуковский.:АОЗТ "ИСПАС". -1997.

113. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. М. Энергоатомиздат. 1988. - 480 с.

114. Ларман К. Применение UML 2.0 и шаблонов проектирования. -М.: «Вильяме», 2006.-736 с.

115. Липаев В. В. Сопровождение и конфигурационное управление версиями сложных программных средств. — М.:Изд-во университета «Станкин», 2000. 86 с.

116. Липаев В. В. Сопровождение и управление конфигурацией сложных программных средств. М.: СИНТЕГ, 2006. - 354 с.

117. Липаев В.В. Документирование и управление конфигурацией программных средств. Методы и стандарты. М.: Синтег, 1998. - 220 с.

118. Максимов А. В. Иерархическое конфигурационное управление ,в системе автоматизации разработки крупных программных комплексов: автореферат диссертации на соискание ученой степени канд. физ.-мат.наук: 05.13.11. М., 1993. — 12 с.

119. Мелихов А.Н. Ориентированные графы и конечные автоматы. М.: Наука, 1971. -416 с.

120. Налютин Н.Ю., Петухова Е.А. Использование XML в проектах СУБД Cache. В сб. Научная сессия МИФИ-2003. Сборник научных трудов. Т.2. М.: МИФИ. - 2003. - С. 39-40.

121. Налютин Н.Ю., Петухова Е.А. Приемы защитного программирования на языке Cache Object Script. В сб. Научная сессия МИФИ-2004. Сборник научных трудов. В 15 томах. Т.2. М.: МИФИ, 2004. - С. 101-102.

122. Налютин НЛО., Синицын С.В. Вычисление состояний конфигураций объектов разработки программных систем. В сб. Научная сессия МИФИ-2008. Сборник научных трудов. Т.11.-М.: МИФИ, 2008.-С. 106-107.

123. Налютин Н.Ю., Синицын С.В. Идентификация и классификация объектов при управлении их конфигурациями. В сб. Научная сессия МИФИ-2006. Сборник научных трудов. Т.21 М:: МИФИ, 2006; - С. 96-97.

124. Налютин Н.Ю., Синицын С.В; Математическая модель конфигурационного управления разработкой программных систем. В сб. Научная сессия МИФИ-2005. Сборник научных трудов. Т.2. М.: МИФИ, 2005. - С. 62-63.

125. Налютин Н.Ю., Синицын С.В. Метод описания и алгоритмы обработки структуры конфигураций объектов разработки программных систем. В сб. Научная сессия1: МИФИ-2007. Сборник научных трудов. Т.2, М:: МИФИ; 2007. С. 55-57.

126. Налютин НЛО., Синицын С.В; Средства управления документооборотом на IT-предприятии. В сб. Научная сессия; МИФИ-2004. Сборник научных трудов. Т.2. М.: МИФИ; 2004.-С. 89-90.

127. Непейвода Н.Н. Прикладная логика. — Новосибирск: Изд-во Новосибирского университета, 2000. 521 с.

128. Нестеров П. В. Информационные аспекты стандартизации и управления качеством продукции. — М.: Стандарты, 1990. 152 с.

129. Орлов С.А. Технологии разработки программного обеспечения; Учебное пособие. — СПб.: Питер, 2003. 480 с.

130. Правиц Д. Натуральный вывод. М.: Лори-пресс. — 1997, 107 с.

131. Садовников В.И., Эпштейн В.Л. Потоки информации в системах управления. М.: Энергия, 1974.-240 с.

132. Синицын С.В., Налютин Н.Ю. Верификация программного обеспечения: Учебное пособие. — М.: Интернет-Университет Информационных Технологий; БИНОМ. Лаборатория знаний, 2008. 368 с.

133. Синицын С.В., Налютин Н.Ю. Операционные системы. Учебное пособие. М.: МИФИ, 2006.-214 с.

134. Синицын С.В., Налютин Н.Ю. Управление конфигурациями проектной документации. В сб. Научная сессия МИФИ-2003. Сборник научных трудов. Т.2. — М.: МИФИ, 2003.-С. 72-73.

135. Синицын С.В., Налютин Н.Ю., Петухова Е.А., Садчиков С.М. Вопросы автоматизации контроля знаний при подготовке современных ИТ специалистов // Открытое образование № 4/2006. С. 70-77.

136. Синицын С.В., Петухова Е.А., Садчиков С.М., Налютин Н.Ю. Индивидуальная подготовка ИТ-специалистов. В сб. 5-я открытая конференция "Преподавание информационных технологий в России". Сборник докладов. Тверь, 2007. - С. 145151.

137. Состояние (шаблон проектирования). Электронный ресурс. Wikipedia, 2007. -Режим доступа: http://ru.wikipedia.org/wiki/CocTOflHHe (шаблон проектирования). -Загл. с экрана.

138. Френкель А.А., Бар-Хиллел И. Основания теории множеств. М.: КомКнига, 2006. - 552 с.