1. |
Одарущенко О. М. Методи і засоби забезпечення надійності та функційної безпечності програмно-технічних комплексів з урахуванням фізичних і проектних дефектів компонентів / О. М. Одарущенко. — Б.м., 2021 — укp.На основі розвитку парадигми фон Неймана і гіпотези про можливість побудови надійних і функційно безпечних систем із недостатньо надійних програмно-апаратних компонентів розроблена методологія оцінювання і забезпечення надійності та функційної безпечності ПТК ІКС КЗ за рахунок опису їх інформаційно-технічного стану, удосконалення принципів зменшення та оцінювання ризиків його порушень внаслідок проєктних і фізичних дефектів і дефектів взаємодії з урахуванням змінності параметрів потоків відмов і відновлень, що забезпечує підвищення точності оцінювання шуканих показників. Удосконалено ймовірнісні моделі оцінювання надійності (безвідмовності) програмних засобів шляхом урахування вторинних дефектів. Розроблено метод оцінювання надійності та функційної безпечності ПТК зі структурно-версійною надмірністю, що забезпечує підвищення точності розрахунку функції готовності та імовірності відмов за загальною причиною. Розроблено моделі оцінювання готовності та функційної безпечності ПТК на самодіагностовних платформах та метод забезпечення функційної безпечності шляхом використання різних варіантів версійної надмірності (диверсності), що підвищило точність оцінок до 5%. Розроблено методи верифікації і валідації програмовних платформ і ПТК на їх основі і результуючий метод оціювання та забезпечення надійності і функційної безпечності ПТК ІКС КЗ, який акумулює всі попередні наукові результати та їх переваги. Він дозволяє виконувати комплексне оцінювання вказаних властивостей і забезпечує досягнення системами рівня функційної безпечності SIL-3.Отримані результати дозволили вирішити науково-прикладну проблему комплексного оцінювання і забезпечення надійності і функційної безпечності програмно-технічних комплексів інформаційно-керуючих систем критичного застосування.Ключові слова: інформаційні керуючі системи, програмно-технічні комлекси, надійність та функційна безпечність, апаратні засоби, програмні засоби, множина дефектів, дефект проєктування програмних засобів, моделі надійності програмних засобів.^UBased on the development of von Neumann's paradigm and the hypothesis of the possibility of building reliable and functionally safe systems from insufficiently reliable software and hardware components, a methodology for assessing and ensuring the reliability and functional safety of I&Cs by describing their information and technical condition, improving the principles of risk reduction and assessment its violations due to design and physical defects and defects of interaction taking into account the variability of the parameters of the flows of failures and recoveries, which provides an increase in the accuracy of estimating the required indicators. Probabilistic models for assessing the reliability of software (SRGM - software reliability growth models) by taking into account secondary defects have been improved. A method for assessing the reliability and functional safety of I&C with structural-version redundancy has been developed, which provides an increase in the accuracy of calculating the readiness function and the probability of failure for a common cause. Models for assessing the readiness and functional safety of I&C on self-diagnostic platforms and a method for ensuring functional safety by using different options for version redundancy (diversity), which increased the accuracy of estimates to 5%. Methods of verification and validation of software platforms and I&C based on them and the resulting method of evaluation and ensuring the reliability and functional safety of I&C, which accumulates all previous scientific results and their benefits, have been developed. It allows to carry out complex estimation of the specified properties and provides achievement by systems of a level of functional safety of SIL-3.The obtained results allowed to solve the scientific and applied problem of complex evaluation and ensuring the reliability and functional security of software and hardware complexes of information and control systems of critical application.Keywords: information control systems, software and hardware complexes, reliability and functional safety, hardware, software tools, set of defects, software design defect, software reliability models. Шифр НБУВ: 05 Пошук видання у каталогах НБУВ
|
2. |
Одарущенко О.Б. Моделювання відмовостійких комп'ютерних систем з урахуванням зміни параметрів потоків відмов і відновлень програмних засобів: автореф. дис... канд. техн. наук: 01.05.02 / О.Б. Одарущенко ; Нац. аерокосм. ун-т ім. М.С.Жуковського "Харк. авіац. ін-т". — Х., 2007. — 19 с. — укp.Розроблено метод математичного опису станів відмовостійких комп'ютерних систем, що передбачає врахування дискретної зміни одного або декількох параметрів та дозволяє одержувати адаптивні макромоделі, які складаються з комплексів фрагментів, що повторюються. Наведені моделі дозволяють зменшувати витрати часу на їх розробку за рахунок спрямованого вибору залежно від варіантів зміни параметрів потоків відмов і відновлень програмних засобів. Розвинуто марковські моделі надійності відмовостійких комп'ютерних систем, які базуються на їх багатофрагментному представленні та враховують зміну інтенсивностей відмов і відновлень програмних засобів, що дає змогу підвищити точність моделювання та оцінювання показників надійності. Запропоновано експоненціальний метод числового розв'язання жорстких систем диференціальних рівнянь Колмогорова, який передбачає застосування процедури обчислення кроку інтеграції залежно від максимального значення елемента матриці коефіцієнтів і вибраної константи, що дозволяє зменшити витрати машинного часу під час розрахунку показників надійності відмовостійких комп'ютерних систем. Запропоновані методи реалізовано як розрахункові моделі, інженерні методи, алгоритми оцінювання надійності, які є інструментарієм інформаційної технології моделювання й оцінювання надійності (готовності) відмовостійких комп'ютерних систем з урахуванням зміни параметрів потоків відмов і відновлень програмних засобів. Скачати повний текст
Індекс рубрикатора НБУВ: З970.2-021.1 + З973-018.10 + Шифр НБУВ: РА355017
Рубрики:
|