Федосєєва А. О. Моделі і методи інформаційної технології оцінювання якості програмного забезпечення автоматизованих робочих місць для виробництва лікарських препаратів

English version

Дисертація на здобуття ступеня кандидата наук

Державний реєстраційний номер

0418U005222

Здобувач

Спеціальність

  • 05.13.06 - Інформаційні технології

23-11-2018

Спеціалізована вчена рада

Д 64.062.01

Національний аерокосмічний університет ім. М.Є. Жуковського "Харківський авіаційний інститут"

Анотація

Об'єкт дослідження - процес оцінювання якості програмного забезпечення АРМ для технологічних процесів виробництва лікарських препаратів; мета дослідження - підвищення повноти оцінки якості програмного забезпечення АРМ для технологічних процесів виробництва лікарських препаратівна основі розроблення і практичного впровадження методів і інструментальних засобів, що базуються на Safety Case підході; методи дослідження - теорія множин та теорія графів, математичний апарат мереж Петрі, фасетно-ієрархічних структур; результатом є прикладна інформаційна технологія оцінки якості програмного забезпечення автоматизованих робочих місць для технологічних процесів виробництва лікарських засобів; новизна - вперше розроблено ієрархічну модель представлення вимог до якості програмного забезпечення АРМ для технологічних процесів виробництва лікарських препаратів, який, на відміну від відомих, базується на процедурах аналізу, відбору і гармонізації галузевих нефункціональних вимог на основі фасетно-ієрархічних структур, що дозволяє підвищити повноту оцінювання в інформаційній технології оцінки якості програмного забезпечення; удосконалено модель уніфікованого представлення технологічного процесу виробництва лікарських препаратів у формі таблеток за допомогою математичного апарату часових мереж Петрі, що дозволяє враховувати час технологічних операцій і виявляти потенційно небезпечні їх порушення; удосконалено модель оцінки якості програмного забезпечення АРМ для технологічних процесів виробництва лікарських препаратів шляхом деталізації та введення спеціалізованих метрик з урахуванням специфічних вимог фармацевтичної галузі і відхилень критичних параметрів, що дозволяє отримати кількісні оцінки якості і підвищити їх повноту; дістав подальшого розвитку метод оцінки якості програмного забезпечення АРМ для технологічних процесів виробництва лікарських препаратів на основі Safety Case підходу з урахуванням відхилення критичних параметрів технологічних операцій і стадій, що дозволяє понизити ризики небезпечних порушень при виробництві лікарських препаратів; ступінь впровадження - результати впроваджені на фармацевтичному підприємстві ТОВ «Фармацевтична компанія «Здоров’я»», у навчальній та науковий процес в Національному фармацевтичному університеті; галузь використання – оцінювання якості АСУ для технологічних процесів виробництва.

Файли

Схожі дисертації