Божко В.І. МЕТОДИКА ДЕКОМПОЗИЦІЇ ПРОЕКТУ ПРОГРАМНОЇ ПІДСИСТЕМИ РОЗПОДІЛЕНОЇ ІНФОРМАЦІЙНОЇ СИСТЕМИ.

Однієї з основних проблем при створенні розподілених інформаційних систем (РІС) є забезпечення високого рівня функціональної безпеки (ФБ) її програмної підсистеми (ПП) [1]. Для сучасних РІС характерної є необхідність відмовостійкої реалізації механізмів міжпроцесної взаємодії яка потребує  автоматизації процесу відновлення функціональності системи при відповідному рівні оперативності. До різкого зниження рівня ФБ у розподілених інформаційних системах приводять наступні проблеми міжпроцесної взаємодії: координації, «перегони» даних, нескінченної відстрочки, взаємоблокування, ненадійність мережі обміну даними [2]. Ці проблеми обумовлюються гетерогенністю мереж, і навіть якщо РІС не є гетерогенної, то залишається проблема взаємодії між декількома процесами або потоками.

Таким чином, актуальною є задача забезпечення заданого (гарантованого) рівня ФБ ПП у РІС.

Для розв'язку цієї задачі на різних етапах життєвого циклу ПП застосовуються традиційні методи підвищення ФБ: перевірка проекту експертами; застосування засобів проектування програм, профілактичний супровід; захист ПП від помилок. Етап проектування ПП є визначальним при створенні РІС, тому застосування відомих механізмів міжпроцесної взаємодії [2], повинне гарантувати необхідний рівень її ФБ.

Крім того, аналіз сучасних платформ розробки ПП РІС,  демонструє що реалізація деяких властивостей відмовостійкості не забезпечується, і якщо в них виникає необхідність, то розробник повинен сам реалізовувати ці механізми (або за рахунок специфічного проектування ПП) або користуватися готовими рішеннями за рамками платформи.

Складність, а тому й невизначеність, застосування відомих механізмів, адекватні складності системи, для якої вона розробляється, тому доцільним бачиться розв'язок наукового завдання на основі розробки ітераційних процедур декомпозиції проекту ПП на архітектурні елементи з урахуванням ризиків реалізації механізмів міжпроцесної взаємодії.

Завдання по декомпозиції проекту програмної підсистеми РІС представимо завданням вибору оптимальної версії архітектури проекту за критерієм мінімізації типових ризиків реалізації механізмів міжпроцесної взаємодії.

Пропонована методика декомпозиції проекту програмної підсистеми РІС на архітектурні елементи з урахуванням ризиків реалізації механізмів міжпроцесної взаємодії включає наступні етапи:
1. Визначення архітектурних елементів у версії проекту програмної підсистеми РІС відповідно до  принципів компонентного програмування.
2. Визначення логічного критерію безпечного функціонування механізмів міжпроцесної взаємодії компонентів, як реалізацію загрози відмови в їх обслуговуванні.
3. Декомпозиція версії проекту ПП на кінцеве число H архітектурних елементів і=1,2,...,H і побудова графа функціональної безпеки проекту.
4. Побудова логічної функції безпечного функціонування (ЛФБФ) для версії проекту ПП [3].
5. Перевірка реалізації необхідного рівня безпечного функціонування механізмів міжпроцесної взаємодії відповідно до  визначеного критерію.
6. Висновок про продовження або припинення ітераційного процесу декомпозиції архітектури програмної підсистеми.

Запропонована методика дозволяє провести оцінку декомпозиції архітектури проекту ПП із погляду  безпеки її функціонування в РІС. Розвиток запропонованої методики планується в напрямку вдосконалення інструментальних засобів побудови ЛФБФ для структурно-складних ПП.


1.Липаев В.В. Функциональная безопасность программных средств.М: СИНТЕГ, 2004.-348с.
2. Э. Таненбаум, М. ван Стеен. Распределенные системы. Принципы и парадигмы. СПб.: Питер, 2003.-877 c.
3. Нозик А.А. Оценка надежности и безопасности структурно-сложных технических систем. Автореферат диссертации на соискание ученой степени кандидата технических наук. СПб: ОАО "СПИК СЗМА", 2005, 18 с. - Режим доступу: http://www.szma.ru/art39.pdf.