Розмір шрифту:
Модельно-орієнтований підхід до формалізації нефункціональних характеристик систем критичного призначення, зокрема у природокористуванні
Остання редакція: 09-05-2021
Тези доповіді
Відмінною рисою систем критичного призначення є значний масштаб ефекту соціально-економічного характеру, що може мати місце у випадку незапланованих сценаріїв функціонування названих систем, викликаних, зокрема, збоями і відмовами в їх роботі. Прикладами предметних областей, де відбувається застосування таких систем, є, зокрема, аерокосмічна, залізнична, хімічна галузі тощо. Зазначений ефект, у свою чергу, проявляється, у тому числі, і у сфері природокористування – у вигляді негативного впливу на навколишнє середовище. При цьому під системою у контексті представленої роботи розуміється саме програмна складова. У роботі запропоновано модельно-орієнтований підхід до формалізації нефункціональних характеристик систем критичного призначення, що призначений до впровадження на етапі проєктування процесу розроблення названих систем і може бути застосований, зокрема, у природокористуванні. Природокористування при цьому розглядається у якості предметної області, по відношенню до якої наявність критичних помилок проєктних рішень розроблюваної системи критичного призначення може призвести до негативних наслідків значного соціально-економічного масштабу. Розроблений підхід базується на засобах математичного апарату методу дискретно-подійного імітаційного моделювання, зокрема на концепціях атомарної і складеної імітаційних моделей. Представлений підхід позиціонується у якості складової комплексу засобів контролю функціональних і нефункціональних характеристик розроблюваної системи при проєктуванні. У якості показника нефункціональної характеристики розглядається агреговане значення часових витрат, отримане шляхом проведення дискретно-подійного імітаційного моделювання згідно розробленого підходу. У якості вихідних даних використовується формальна специфікація функціональних характеристик системи, що вже була успішно верифікована формальним методом перевірки на моделі.
Ключові слова
DEVS; дискретно-подійне імітаційне моделювання; система критичного призначення