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

Основные результаты исследования
Для класса многопоточного программного обеспечения с ограниченными разделяемыми ресурсами, в соответствии с поставленными целями исследова­ния в диссертационной работе получены следующие новые результаты:

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

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

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

- разработан набор шаблонов моделей (образцов проектирования) и про­граммных решений для повышения производительности моделирования при создании программ и для преодоления ограничений компь­ютерного пакета моделирования;

- разработано ПО ЦДУКТ и ПО ДЦ БРЗ с применением предложенных ме­тодик, шаблонов и программных решений.

Полученные результаты апробированы в условиях разработки ПО ЦДУК. Правильность предложенных методик, шаблонов и программных решений под­тверждается результатами успешной эксплуатации разработанного автором ПО, а также актами внедрения, приведенными в приложении. Сертифицированное на соответствие концепции «Единая Таксофонная Карта России» ПО ЦДУКТ успешно эксплуатируется в ОАО «Сибирьтелеком» (г. Новосибирск). ПО ДЦ БРЗ поставляется в комплекте с БРЗ клиентам ФГУП ПО «Север» (г. Новоси­бирск). Результаты, полученные в диссертационной работе, используются в учебном процессе факультета АВТ НГТУ.
ОСНОВНЫЕ ПУБЛИКАЦИИ ПО ТЕМЕ ДИССЕРТАЦИИ:

1. 
   Коротиков С.В. Применение сетей Петри в разработке программного обеспечения центров дистанционного управления и контроля / С. В. Коротиков, А. А. Воевода // Науч. вестн. НГТУ. – Новосибирск : Изд-во НГТУ, 2007. – № 4 (29). – С. 15–30.
   
2. 
   Коротиков С.В. Применение цветной иерархической сети Петри для про­верки согласованности UML-диаграмм на фазе проектирования ПО ЦДУК / С. В. Коротиков // Науч. вестн. НГТУ. – Новосибирск : Изд-во НГТУ, 2007. – № 2 (27). – С. 203–206.
   
3. 
   Воевода А.А. Применение сетей Петри при разработке протоколов / А. А. Воевода, С. В. Коротиков, Д.О. Саркенов // Науч. вестн. НГТУ. – Новосибирск : Изд-во НГТУ, 2004. – № 2 (17). – С. 183–188.
   
4. 
   Воевода А.А. О моделировании сис­темы дистанционного контроля и управления цветной временной сетью Петри в пакете CPN Tools: инициализация модели / А. А. Воевода, С. В. Коротиков, В. Хассоунех // Науч. вестн. НГТУ. – Новосибирск : Изд-во НГТУ, 2004. – № 3 (18). – С. 185–188.
   
5. 
   Астапчук В.А. О проблемах оптималь­ного построения распределенных информационных систем / В. А. Астапчук, А. А. Воевода, С. В. Коротиков // Науч. вестн. НГТУ. – Новосибирск : Изд-во НГТУ, 1999. – № 2 (7). – С. 177–178.
   
6. 
   Воевода А.А. О модификации полного покрывающего дерева и графа разметок сети Петри / А. А. Воевода, С. В. Коротиков // Науч. вестн. НГТУ. – Новосибирск : Изд-во НГТУ, 2005. – № 1 (19). – С. 171–172.
   
7. 
   Korotikov S.V. Automation works flow of payphones communication opera­tor’s / S.V. Korotikov // Proceedings of the 5 Korea-Russia international sym­posium on science and technology, KORUS 2001, Tomsk, Russia, 26 June –3 July 2001. – Tomsk, 2001. – Vol. 1. – P. 131–134. [Автоматизация потока работ оператора таксофонной связи]
   
8. 
   Korotikov S.V. Modeling of payphones management and control system us­ing the unified modeling language / S.V. Korotikov // Materials of the 6 Korea-Rus­sia international symposium on science and technology, KORUS 2002, Novosibirsk, Russia, 24–30 June 2002. – Novosibirsk, 2002. – Vol. 3. – P. 85. [Моделирование системы контроля и управления таксофонов с помощью унифицированного языка моделирования]
   
9. 
   Korotikov S.V. Optimal building of distributed information system for pay­phones control / S.V. Korotikov // Proceedings of the 4 Korea-Russia international symposium on science and technology, KORUS 2000, Ulsan, Rep. of Korea 2000. – Ulsan, 2000. – Pt. 2. – P. 150–155. [Оптимальное построение распределенной информационной системы управления таксофонами]
   
10. 
    Korotikov S.V. Using of Petri nets techniques in information systems de­sign / S.V. Korotikov // International Siberian workshop and tutorials on electron de­vices and materials. EDM 2003: proc., 4 annu., Erlagol, Altai, 1–4 july 2003.– No­vosibirsk, 2003.– P. 171–175. [Применение технологий сетей Петри в проектировании информационных систем]
    
11. 
    Коротиков С.В. Моделирование сеанса связи таксофона и ЦДУКТ с использованием сетей Петри / С. В. Коротиков, А. А. Воевода // Электронные средства и системы управления : материалы межд. науч.-практ. конф., Томск, 6–8 окт. 2004 г. : в 3 ч. – Томск : Изд-во Ин-та оптики атмосферы СО РАН, 2004. – Ч. 2. – С. 135–139.
    
12. 
    Коротиков С.В. Применение спецификации эквивалент­ности в моделировании сеанса связи таксофона и центра дистанци­онного контроля и управления таксофонами раскрашенной сетью Петри / С. В. Коротиков, Д. О. Саркенов // Сб. науч. тр. НГТУ. – Новосибирск : Изд-во НГТУ, 2007. – № 3 (49). – С. 97–104.
    
13. 
    Коротиков С.В. Представление логики взаимодействия таксофона и СКУТ в виде цветной иерархической сети Петри / С. В. Коротиков, А. А. Воевода // Сб. науч. тр. НГТУ. – Новосибирск : Изд-во НГТУ, 2004. – № 2 (36). – С. 147–148.
    
14. 
    Воевода А.А. О компактном представлении языков се­тей Петри / А. А. Воевода, С. В. Коротиков // Сб. науч. тр. НГТУ. – Новоси­бирск : Изд-во НГТУ, 2005. – № 1 (39). – С. 141–144.
    
15. 
    Коротиков С.В. Современные подходы к созданию и под­держке программ- ного обеспечения информационных систем / С. В. Короти­ков, А. В. Желтов // Сб. науч. тр. НГТУ. – Новосибирск : Изд-во НГТУ, 2001. – № 1 (23). – С. 64–69.
    
16. 
    Коротиков С.В. Применение цветных иерархических сетей Петри для верификации UML-диаграмм на этапе анализа требований к системе дистанци­онного контроля и управления / С. В. Коротиков // Сб. науч. тр. НГТУ. – Ново­сибирск : Изд-во НГТУ, 2007. – № 1 (47). – С. 81–92.
    
17. 
    Коротиков С.В. Применение шаблонов UML и сетей Петри при разра­ботке системной службы центра дистанционного управления и контроля / С.В. Коротиков // Сб. науч. тр. НГТУ. – Новосибирск : Изд-во НГТУ, 2007. – № 2 (48). – С. 135–144.
    
18. 
    Коротиков С.В. Проверка согласованности UML-диаграмм проекта службы контроля и управления ДЦ БРЗ с помощью сетей Петри / С. В. Короти­ков // Сб. науч. тр. НГТУ. – Новосибирск : Изд-во НГТУ, 2007. – № 2 (48). – С.51–62.
    

Подписано в печать 13.05.08 г. Формат 60 X 84/16

Бумага офсетная. Тираж 110 экз. Печ. л. 1,25.

Заказ № 723
Отпечатано в типографии

Новосибирского государственного технического университета

630092, г. Новосибирск, пр. К. Маркса, 20

тел./факс (383) 346-08-57