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

-л -.1 •!

- министерство просвещения нкраинн

•3 харьковский государственный технический университет радиоэлектроники

ЗОРИНА ЕЛЕНА ИВАНОВНА

ТЕХНОЛОГИЧЕСКИЕ АСПЕКТЫ

ПРОЕКТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ СИСТЕМ УПРАВЛЕНИЯ ГОМОГЕННЫМИ ОБЪЕКТАМИ Сна примере микропроцессорной централизации)

05.13.09 - математическое и программное обеспечение вычислительных мамин и систем

Автореферат

диссертации на соискание дченой степени кандидата технических наук

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

Харьков - 1996

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

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

Добрянский В.М.

Официальные оппоненты:

1. Доктор технических наук, профессор Алипов Н.В.

2. Кандидат технических наук, доцент Самсонкин В.Н.

Ведущая организация - Южная железная дорога Министерства

транспорта Украины, г.Харьков

Защита состоится " Ю " Сщ-£>гЛЛ> 1996 г. на заседании специализированного совета К 02.25.03 в Харьковском государственном техническом университете радиоэлектроники по адресу: 310726, г.Харьков, пр.Ленина, 14.

С диссертацией можно ознакомиться в библиотеке Харьковского государственного технического университета по адресу: 310726, г.Харьков, пр.Ленина, 14.

Автореферат разослан " " ^л<ои)ТО 1996 г.

Ученый секретарь ____

специализированного ученого совета В.В.Бескоровайный

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

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

В последние годы в ряде стран ведутся работы по созданию • микропроцессорных систем управления стрелками и сигналами на железнодорожном транспорте ( микропроцессорной централизации - МПЦ ). ХарГАЖГ (ХЖГ) в рамках мездународного сотрудничества участвует в разработке структуры технических средств МПЦ и методов нормирования их надежности и безопасности. Полученные рекомендации являются обобщением опыта ХИИТа по разработке микропроцессорной централизации, завершившейся созданием действующего макета. Технологические методы проектирования программного обеспечения (ПО) МПЦ, использовавшиеся при создании макета, не удовлетворяют современным требованиям. Такие аспекты, как повышение надежности разрабатываемого ПО и снижение его стоимости, не рассматривались вообще. Разработки велись для конкретной железнодорожной станции и носили "поисковый", экспериментальный характер, без учета внедрения системы в будущем на иной станции. МПЦ же обладает рядом особенностей, которые позволяют однажды разработанную автоматизированную систему использовать для других станций. Поэтому актуальной является задача разработки единой для всего множества станций технологии проектирования ПО, позво-

лявдей автоматизировать процесс генерации ПО МВД.

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

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

анализ характеристик качества ПО; оценка взаимозависимости надежности и стоимости ПО; анализ и поиск путей снижения стоимости и повышения надежности ПО;

исследование существующих технологий проектирования ПО и определение характеристик, влияющих на эффективность технологии проектирования и количество зтадав проектирования;

классификация объектов управления (ОУ) и введение понятия "гомогенных объектов управления";

анализ степени однородности (гомогенности) железнодорожных станций как ОУ;

разработка методики генерации ПО для систем управления (СУ) гомогенными объектами;

разработка схемы генерации ПО требуемой конфигурации СУ гомогенными объектами;

разработка технологии проектирования ПО микропроцессорной СУ стрелками и сигналами.

Объект и предмет исследования. Объектом исследования являются железнодорожные станции и другие аналогичные по структуре объекты. Предметом исследования является система управления гомогенными объектами (МПЦ).

Общая методика исследования. Теоретической основой исследования послужили научные труды и решения, принятые в области теории САПР, технологий проектирования ПО, теории надежности, качества программного продукта.

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

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

Выделены характеристики эффективности технологий проектирования ПО.

Произведена классификация ОУ и введено понятие гомогенных ОУ.

Предлокена методика проектирования ПО для гомогенных ОУ.

Разработана технология проектирования ПО МПЦ.

Практическая ценность работы состоит в том, что предложенная методика проектирования ПО СУ гомогенными объектами позволяет:

автоматизировать процесс генерации ПО ЩЦ на основе разработки единой для всего множества станций технологии проектирования ПО;

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

обеспечить необходимый уровень надежности разрабатывав-

мого ПО при снижении его стоимости.

Разработан пакет программ проектировщика описания станций.

Реализация работы. Диссертация выполнена в соответствии с планом научно-исследовательских работ, начатых в ХарГАЖТ "(ХИИТ) в рамках международного сотрудничества по заданию МПС СССР и продолженных на основании плана развития отрасли, утвержденного Министерством транспорта Украины и Унрзал1зницею. Отдельные проектные решения внедрены в:

НПО САУ (г.Харьков) при разработке ПО для модернизированных усройств логической обработки информации;

Московском государственном университете путей сообщения при создании; микропроцессорного устройства координатного сближения поездов в метрополитене, при разработке программ в рамках выполнения хоздоговорных НИР, а также в учебном процессе;

Международной академии электротехнических наук (г.Москва) при создании САПР электромеханическими агрегатами транспорта;

институте Кшротранссигналсвязь (г. Санкт-Петербург) при

разработке МПЦ.

Внедрение подтверждено соответствующими документами.

Апробация работы. Основные положения диссертационной работы докладывались и обсувдались на 48,49,53-56 научно-технических конференциях кафедр ХЖГа и специалистов железнодорожного транспорта, г.Харьков; республиканской научно-технической конференции "Методологические проблемы автоматизации проектирования и исследования систем",г.Севастополь, 1987г.; республиканской конференции "Микропроцессорные сис-

темы связи и управления на железнодорожном транспорте", 1990-1991гг.; республиканской школе-семинаре "Микропроцессорные системы связи и управления на железнодорожном транспорте", 1992г.; школе-семинаре "Микропроцессорные системы связи и управления на железнодорожном транспорте", 19931994гг.; на восьмой международной школе-семинаре "Перспективные системы управления на железнодорожном, промышленном и городском транспорте", 1995г. Диссертационная работа обсуждена и одобрена на совместном заседании кафедр "Микропроцессорные информационно-управляющие системы.!' и "Экономика транспорта" Харьковской государственной академии железнодорожного транспорта, протокол № 9 от 3 июля 1995г. и рекомендована к защите.

Публикации. По теме диссертации опубликовано 13 печатных работ. Результаты исследований отражены в отчетах о НИР.

Структура и объем работы. Диссертация состоит из введения, четырех глав, заключения, списка литературы из 129 наименований и трех приложений. Материал основной части диссертационной работы изложен на 18? страницах машинописного текста, включая 41 рисунок.

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

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

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

надежности программного обеспечения.

Произведен анализ технологий проектирования ПО и выявлены показатели, влияющие на эффективность технологии проектирования и конкретное количество ее этапов.

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

' Пусть В = {Ь1,Ь2,...,ЬК> - множество объектов, обладающих функциональной однородностью, с = {с1,с2»....с ,Р) -множество признаков, присущих любому из объектов Ь^ е в, 1=1,К, Р=£Г1Д2,...,Х1с}; Г^ = {с1,с2,...,ст) - множество допустимых функциональных связей между признаками и пусть Ец= {й^.й?,...,^^,!^} - характеристическое множество признаков объекта а Р = {р1,р2,...,р^> - множество функционально законченных текстов ПО, удовлетворяющих условию р^Ь^. Тогда, если = 1-Т7&, то р1 = р..,

что свидетельствует о достаточности единой технологии проектирования и разработки ПО для любого из объектов Ь^. При выполнении условия иВ^ * пВ^ тексты ПО для любого из объектов находятся в соотношении (*1е(Т71П) (з^ (1 ,к)) (р1 * р^) ив предельном случае (VI,д «= (ГЛс), 1^3)(р^ р^) являются уникальными.

Используя функциональную однородность ОУ, предлагается построить автоматиз1фованную систему генерации ПО СУ требуемой конфигурации по описанию конкретного объекта, исключающую этапы проектирования логики управляющих программных модулей, кодирования, тестирования, отладки. Эти этапы разрабатываются один раз для объектов подобного типа, что приво-

дат к снижению стоимости создания ПО, не уменьшая гфй этом надежности.

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

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

Функционально однородные объекты в дальнейшем будем именовать гомогенными (от греческого "homogenes" - однородный)1.

Будем считать объекты а и Ь гомогенными, если:

совокупности элементов а и b образуют кортежи над одним и тем же множеством М, то есть: а (а) = <а1,а2,...,а1с> « А; b(ß) = <p1,ß2,...,pm> « В; v ate М, 1 = 1,...,к; v р1<£ м, 3 = l,...,m, где а(а), b(ß) - кортеж а модели объектов а и кортеж ß модели объектов b соответственно;

А - множество кортежей длиной к над множеством Немощность множества А - = п^;

Словарь иностранных слов /Гл.ред;Ф.Н.Петров, 11-е изд.: М.: Русский язык, 1984.-с.137.

В - множество кортежей длиной ш над множеством М,

мощность множества В - ^ = пт; п - Мощность множества М; объекты а и Ь имеют одну область применения; архитектура объектов а и Ь идентична, то есть принципы построения связей между элементами в объекте а и элементами "в объекте Ъ едины;

управление объектами а и Ъ производится по одним общим законам.

Объекты а и Ь считаются равными (одинаковыми) только тогда, когда кортежи аир равны и соотношения между компонентами кортежа а совпадают с соотношениями между компонентами кортежа р.

Пусть а = <а1,а2,...,ак>, р = <р1,р2,...,рт> - два кортежа, представлящие собой формальные модели некоторых объектов а и ь.

Поставим во взаимно однозначное соответствие компонентам кортежа а некоторое множество К, а компонентам кортежа р~ множество Б, то есть

а = <а1,а2,...,сх1с> <—► И = {г^,!^,...,^}, р = <р1,р2,...,рю> <—* Б = С81,аг,...,зт), где <х1*~* г^ 5з> * = ПК, 3 =

Определим множество Ъ как

1 = Н и Б = {г1,й2,}, где пн-к г п £ шх{т,Ю, а множество ТГкак

т= гг= г*% = 1,з=17п, ь-з.

Тогда ТГ= Н2= 1,3=1"7Я,

и ■£"= б2= «а^з..», 1,3=1"7т, 1*3.

Так как И £ Ъ и Б г I, то "Й.ТЗ е 1.

Теперь совокупность соотношений между компонентами кортежа а можно определить как некоторое множество Р £ И £ "2, а для кортежа 0 - Т з ТГе Т, где Р и Т - отношения на множествах Н и Б. Если <г(,»гз> ? (<зь,з^> еТ), то г,? г^ (Б^ Т Б^), что читается как "г^з^" находится в отношении Р(Т) с г^(з^), а само выражение "г,Р г^'С'з^Т з^") и будем называть соотношением.

Так как 7 £ Н, Т 5 £ 1, то и Р,Т г 1. Тогда

соотношения между компонентами кортежа а и компонентами кортежа р будут равны, вели Р = Т.

Так как множества й я 8 определены в виде взаимно однозначного соответствия (1), то будут справедливы соотношения а. Р а. и ^ Т

Так как кортежи а и ¡3 являются моделями объектов а и Ь, то необходимым условием их равенства является равенство кортежей а и р. Отсюда следует, что й = Б и, соответственно, г = йиЗ = й = 3, Н = 5 = 2.

Так как соотношения сцРа. и р.-Тр.. по У1,3е{1,2,...,к),

■А 1 ^

принадлежащему одному и тому же множеству 7,, то достаточным условием равенства объектов а и Ь будет равенство отношений Р и Т на множестве Ъ.

Конструктивные выводы из приведенного доказательства сформулированы в виде следуадих формальных условий равенства объектов а и Ь:

«3^,02,...,ак> = <р1,р2,...,рк>,

с^Ра.. « г1; 1,3=1,к, Р1ТР3 е г? 1,3=Г7к7 ьм, Р = т,

Ъ = Н и Б,

й = С^}, Б = с^, в^«—> 1=1 ,к,

й = Б,

Р,Т £ г2- отношения на множестве Ъ. Объекты а и Ь различны тогда, когда не выполняется хотя бы одно условие гомогенности.

Выделение гомогенных объектов в отдельный класс дает возможность:

разработать методику проектирования ПО для гомогенных ОУ в целом;

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

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

применение методов минимизации условно-постоянной информационной составляющей и сведение ее к постоянной составляющей.

Разработана технология проектирования ПО СУ гомогенными объектами, основанная на следующих принципах:

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

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

прикладное программирование сводится к описанию особенностей конкретного ОУ;

информационная составляющая прикладного ПО генерируется автоматически.

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

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

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

А = и А,, (2)

1

а выражение

Ао = 5А1' <3>

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

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

Принцип функциональной избирательности формально отражается выражениями (2) и (3) и означает, что в структуре программного обеспечения конкретной системы управления всегда присутствует ядро А0, общее для всех объектов данного класса, дополненное некоторым подмножеством А^ с (А-А0),

характеризующим только данный объект. Тогда подмножество функциональных признаков А^. некоторой микропроцессорной СУ равно

\ = А0 и Ак, (4)

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

В = иВ., (5)

1

где В^ = (Ь^ЬЗ;,... ~ подмножество программных модулей,

реализующих функциональный признак а^.

Из библиотеки можно генерировать текст ПО для СУ конкретным объектом.

■ 1 ... I у —■—

В

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

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

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

Модель генерации ПО (например, при минимизации времени исполнения) тлеет следующий вид. Пусть: В = Цй^Ц - матрица инциденций функционально избыточного множества В (й^ = 1, если 1-й функциональный признак имеет 3~ю реализацию в виде программного модуля Ь^, в » 0 - в противном случае), Т = - матрица временных характеристик элементов

множества В (1;^ - время, необходимое для исполнения модуля ь^), М = - матрица пространственных характеристик эле-

ментов множества В (ц^ - объем памяти,

С =

занимаемый модулем Ь^),

Л»

|(У - матрица инциденций множества Вк,

где 1 е (1,2.....к), к - количество функциональных признаков конкретного ОУ, 3 е С1,2,...,1), 1 = шах Ь.

Требуется найти такую матрицу инциденций С, которая удовлетворяла бы следующим условиям:

при

К 1

3+ = 2 Е ■«11011 * МП (6)

х 1=1 3=1 13 13

V е., « а., (7)

¿=1 13 1

Д ¿^и * V (8)

си

(9)

& если € «»2...Д>, г*;}) (0^= 0); 0, если 1,

где ^ - запасы памяти.

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

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

МПЦ обладает следующими особенностями:

принадлежность МПЦ к высоконадежным управляющим системам;

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

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

Так как железнодорожная станция относится к классу гомо-

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

Произведен анализ затрат на разработку технологии проектирования ПО МПЦ, ориентированной на множество станций. Сделан вывод об экономической целесообразности разработки единой для всех ОУ технологии проектирована ПО.

Анализ опыта эксплуатации макета МПЦ показал, что требуют самостоятельной разработки следующие задачи:

исследование всего разработанного в настоящее время ПО с разграничением ПО, характерного для всех станций и ПО, характерного для конкретной станции;

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

Понятие гомогенности применяется к ПО СУ объектами, относящимися к классу гомогенных и к отдельным его частям, образованным при декомпозиции ПО на составляющие. Поэтому к типу гомогенных отнесена диалоговая подсистема МПЦ. в ней алгоритмы монитора системных сообщений, синтаксического контроля директив, массивы кодов директив и их числовых эк-

Бивалентов не.зависят от конкретной станции.

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

Разработана система проектирования подсистемы отображения информации - пакет программ проектировщика описания станции.

В заключении приведены основные выводы.

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

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

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

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

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

5. Разработана технология проектирования программного обеспечения микропроцессорной централизации, позволяющая автоматизировать процесс генерации программного обеспечения МПЦ.

6. Результаты внедрения отдельных проектных решений в НПО САУ (г.Харьков), Московском государственном университете путей сообщения, Международной академии электротехнических наук (г.Москва), Государственном проектно-изыскательском институте Гипротранссигналсвязь (г.Санкт-Петербург) подтверждают эффективность разработанной методики проектирования программного обеспечения систем управления гомогенными объектами и возможность практического использования теоретических результатов, полученных в данной диссертационной работе.

РАБОТЫ ПО ТЕМЕ ДИССЕРТАЦИИ

1. Кедрус В.А., Зорина Е.И., Северин С.Ф. Об одном алгоритме управления информационными потоками в автоматизированных системах управления сложными объектами //Проектирование автоматизированных систем контроля и управления сложными объектами: Тезисы докл. Всвсоюзн. школы Молодых ученых.-Харьков-Туапсе, 1984. - С.20-21.

2. Добрянский В.М., Зорина Е.И. Принципы унификации Закладного программирования для микропроцессорной централизации // Микропроцессорные системы управления и устройства контроля на ж.д. транспорте: Меквуз. сб. науч. тр./ ХМИТ.--Харьков, Д986. - С.88-91.

3;- Добрянский В.М., Зорина Е.И. Автоматизация приклад-

ного программирования для систем управления неизоморфными объектами // Методологические проблемы автоматизации проектирования и исследования систем: Тезисы докл. республ. научно-техн.•конфер.-Севастополь, 1987. - С.123-124.

4. Добрянский В.М., Зорина Е.И., Майдан Б.В. Алгоритмический способ контроля и восстановления вычислительного процесса при сбоях аппаратуры // Применение микропроцессорных устройств в системах железнодорожной автоматики: Сб. науч. тр./ХИИТ.-Харьков, 1988.-Вып.7.~ С.64-66.

б. Добрянский В.М., Зорина Е.И., Казанко В.В. Автоматизированное распределение функций между элементами управляющей микропроцессорной сети // Микропроцессорные системы связи и управления на железнодорожном транспорте: Тезисы докл. республ. конфэр.-Алушта-Киев, 1990. - С.40.

6. Добрянский В.М., Зорина Е.И., Казанко В.В. Технологические аспекты надежности программного обеспечения микропроцессорных систем // Микропроцессорные системы связи и управления на железнодорожном транспорте: Тезисы докл. республ. конфер.-Алушта-Киев, 1991. - С.33.

7. Добрянский В.М., Зорина Е.И. Принципы автоматизации проектирования программного обеспечения МПЦ: Тезисы докл. 53-й научно-техн. конфер. кафэдр ин-та и спец. ж.д. тр-та/ ХИИТ.-Харьков, 1991. - С.64..

8. Добрянский 8.М., Зорина Е.И. Принципы генерации программного обеспечения микропроцессорной централизации стрелок и сигналов // Микропроцессорные системы связи и управления на железнодорожном транспорте: Тезисы докл. республ. школы-семинара.-Алушта-Киев, 1992. - С.12-13.

5. Добрянский В.М., Зорина Е.И. Принципы функциональной

избыточности и функциональной избирательности при проектировании программного обеспечения МПЦ // Микропроцессорные системы связи и управления на железнодорожном транспорте: Тезисы докл.республ.школы-семинара.-Алушта-Киев, 1993. - С.36.!

10. Добрянский В.М., Зорина Е.И., Браило Ф.В. Автоматизированная система прикладного программирования для систем, управляющих гомогенными объектами. // Микропроцессорные системы связи и управления на железнодорожном транспорте: Тезисы докл.республ.школьг-се?«шара.-Алушта-Киев, 1993. - С.40.

И. Добрянский В.М., Зорина Е.И. О математической модели некоторого класса объектов // Элементы и устойства современных систем железнодорожной автоматики: Сб. науч. тр./ ХШТ.-Харьков, 1993.-Вып. 23. - С.29-32.

12. Добрянский В.М., Зорина Е.И. Технологические аспекты проектирования программного обеспечения микропроцессорной системы управления стрелками и сигналами // Микропроцессорные системы связи и управления на железнодорожном транспорте: Тезисы докл. школы-семинара,-Алушта-Харьков,

1994. - С.19-20.

13. Зорина Е.И. Технологические аспекты надежности программного обеспечения МПЦ // Перспективные системы управления на железнодорожном, промышленном и городском транспорте: Материалы 8-й международной школы-семинара,-Алушта-Харьков,

1995. -С.21.

SUMMARY

Zorina E.I. Technological aspects of the software design for the control systems of homogeneous objects (on example oi the microprocessor railway signalling). The dissertation lor getting the scientific degree of bachelor of technical

sciences on speciality 05.13.09 - mathematical methods and software for computers and systems. Kharkov State Technical University of Radioelectronlcs, Kharkov, 1996. The control object classiricatlon has been fulfilled and homogeneous object notation was introduced. The technology of the software design has been offered for the control systems of homogeneous objects. The practical application of the offered methods of the software dealgn for the control systems of homogeneous objects has been examined at the creation of the microprocessor railway signalling.

АННОТАЦИЯ

Зорина Е.И. Технологические аспекты проектирования программного обеспечения систем управления гомогенными объектами (на примере микропроцессорной централизации). Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.09 - математическое и программное обеспечение вычислительных машин и систем, Харьковский технический университет радиоэлектроники, Харьков, 1996. Произведена классификация объектов управления и введено понятие гомогенных объектов управления. Разработана технология проектирования програшного обеспечения систем управления гомогенными объектами. Рассмотрено ее практическое применение при разработке микропроцессорной централизации.

Ключевые слова: программное обеспечение систем управления, технология проектирования программного обеспечения, объект управления, микропроцессорная централизация.

Ответственный за выпуск Погасий С.А.

Подписано к печати 26.02.1996 г. Формат бумаги 60 х 90 1/16. Бумага писчая. Печать высокая Усл. печ. л. 1,0. Уч. изд. л. 1,25. Заказ N 204 Тираж 100

Компьютерно-издательский комплекс ХарГАЖГа. 310050 г.Харьков - 50, пл. Фейербаха, 7