Оцінка надійності програмно-апаратних систем за допомогою моделі їх поведінки
Сучасні підходи до аналізу надійності програмно-апаратних систем. Формування вектора стану: вибір компонент, їх значень та встановлення початкових значень. Розроблення моделі поведінки програмно-апаратної системи у вигляді графа станів та переходів.
Подобные документы
Розробка математичної моделі надійності програмних засобів, яка дозволяє кількісно оцінити і прогнозувати значення показників надійності. Отримання кількісної оцінки показників надійності комп'ютерних систем при заданих обмеженнях і припущеннях.
статья, добавлен 25.12.2016Характеристика методики, за якою мінімальні перерізи визначаються не з дерева відмов об’єкта дослідження, а з його моделі у вигляді графу станів та переходів. Особливості перевірки достовірності оцінок безпечності програмно-технічних комплексів.
статья, добавлен 06.02.2017Аналіз основних відомих способів і засобів програмно-апаратної організації GRID-систем з метою виявлення чинників, що істотно впливають на ефективність їх функціонування. Розробка структури і алгоритмів функціонування сервера віртуальної GRID-системи.
автореферат, добавлен 27.07.2015Теоретичні основи підходу до організаційних і технічних засобів веб-серверів. Аналіз з’ясування технічних засобів захисту веб-серверів за допомогою програмних, апаратних або програмно-апаратних засобів. Характеристика конфігурації операційної системи.
статья, добавлен 31.05.2021Сутність проектування та моделювання об'єктів (математичне, комп'ютерне), реалізованих за допомогою програмно-апаратних засобів. Поняття інформаційної моделі (навчальна, дослідна, науково-технічна, ігрова, імітаційна), графічний спосіб її представлення.
презентация, добавлен 05.05.2015Класифікація програмно-апаратних систем, які автоматизують процес аналізу подій в інформаційно-комунікаційній системі. Виявлення аномалій в ІКС на основі сигнатурних та евристичних методів. Роль аналізу вразливостей у системі моніторингу безпеки.
презентация, добавлен 14.08.2013Аналіз апаратних реалізацій штучних нейронних мереж. Аналогова та гібридна архітектури. Принцип дії систолічних, сигнальних та нейросигнальних процесорів. Програмовані логічні інтегральні схеми. Оцінки ризиків надійності апаратних реалізацій ШНМ.
статья, добавлен 14.06.2013Розробка структурно-логічної моделі процесів тестування несправностей технічних засобів паралельних програмно-технічних комплексів. Організація й проведення діагностичного обслуговування із застосуванням умовних й безумовних алгоритмів пошуку дефектів.
автореферат, добавлен 24.07.2014Використання псевдовипадкових двійкових послідовностей для захисту інформації в комп’ютерних системах, критерії ефективності програмно-апаратних засобів їх формування. Властивості булевих функцій зворотного зв’язку та максимальні періоди повторення коду.
автореферат, добавлен 26.02.2015Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Збільшення ефективності роботи комп’ютерної системи розрахунку надійності відмовостійких багатопроцесорних систем з використання GL-моделей поведінки. Вдосконалення методу мінімізації, а також зменшення перебору під час пошуку оптимальної моделі.
автореферат, добавлен 28.08.2015Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
автореферат, добавлен 25.02.2015Аналіз методів і інформаційних технологій оцінки й забезпечення відмовостійкості систем обробки інформації літальних апаратів. Розробка програмно-технічні рішень інформаційної технології підтримки вибору СОІ при використанні різних методик оцінки.
автореферат, добавлен 06.11.2013Виявлення помилок передачі цифрових даних в лініях комп'ютерних мереж та шинах обчислювальних систем. Розробка підходів до збільшення надійності високопродуктивних методів контролю, програмно-апаратних засобів контролю помилок підвищеної швидкодії.
автореферат, добавлен 23.08.2014Дослідження процесів виявлення помилок в каналах передачі даних комп’ютерних мереж та систем. Розробка підходів для збільшення надійності високопродуктивних методів контролю. Створення програмно-апаратних засобів контролю помилок підвищеної швидкодії.
автореферат, добавлен 28.10.2015Методи підвищення надійності інформаційних систем, раціональний вибір параметрів для оновлення програмних засобів. Оцінювання надійності ІС в умовах прояву власних дефектів і зовнішніх впливів. Впровадження моделі в ІС критичної і бізнес-критичної галузі.
автореферат, добавлен 28.08.2014Статистичний аналіз первинних інформаційних масивів, математичні моделі прогнозу психофізичної реакції людини. Формалізація змінних біотехнічної системи, вибір й обґрунтування повідомлення, яке досліджується. Пристрої програмно-апаратної частини.
автореферат, добавлен 22.07.2014Розгляд операції багаторозрядного множення у паралельній моделі обчислень, від швидкодії якої залежить швидкодія асиметричних криптографічних програмно-апаратних комплексів. Огляд модифікації алгоритму реалізації операції множення двох N-розрядних чисел.
статья, добавлен 26.07.2016Формування поточних і довгострокових планів підвищення кваліфікації керівників та фахівців. Розробка автоматизованого робочого місця з аналізу діяльності вищих навчальних закладів. Програмне забезпечення для виконання робіт по збору і аналізу інформації.
автореферат, добавлен 14.07.2015Оцінка ключових переваг та недоліків існуючих алгоритмів та програмно-апаратних засобів імітації циклічних сигналів. Дослідження математичної моделі яка характеризує частинний випадок лінійного циклічного випадкового процесу із факторизованим ядром.
статья, добавлен 29.08.2016Доцільність розробки програмно-апаратних засобів підсистеми моніторингу технологічних параметрів у теплиці: температури та вологості повітря. Проектування принципової електричної схеми та друкованих плат, здійснення калібрування сприймаючих елементів.
статья, добавлен 30.01.2017Аналіз архітектур інформаційно-управляючих систем, важливих для безпеки АЕС, а також методів і засобів забезпечення надійності таких систем. Удосконалення моделей надійності одноверсійних структур та методу оцінки інформаційно-управляючих систем.
автореферат, добавлен 11.08.2014- 23. Методи та засоби побудови автоматизованих інтегрованих систем захисту особливо важливих об’єктів
Розробка методів удосконалення програмно-апаратних компонентів системи охорони особливо важливих об’єктів на основі leaky feeder. Характеристика автоматизованої системи захисту з інтерфейсом реального часу. Визначення істинності сигналу тривоги.
автореферат, добавлен 05.08.2014 Розробка методів структуризації цілей і упорядкування заходів програми за цільовою ознакою. Оцінка сучасного стану економіки України. Вивчення особливостей методики створення системи інформаційного забезпечення процесу програмно-цільового управління.
автореферат, добавлен 12.11.2013- 25. Розробка математичних моделей надійності складних систем з урахуванням динаміки умов їх експлуатації
Створення багатофакторної моделі надійності, у якій фактор-"вік" системи виділений із сукупності факторів, що визначають умови й режим експлуатації системи. Для контрольованих систем створення процедури оцінювання коефіцієнтів рівняння регресії.
автореферат, добавлен 26.07.2014