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

  Скачати повний текст