Методи та засоби проектування технічних і програмних компонентів безпечних ПЛІС-контролерів з паралельною архітектурою
Розробка методології синтезу абстрактних, структурних і HDL-моделей безпечних логічних автоматів для ПЛІС-контролерів з паралельною архітектурою. Експериментальні дослідження, промислові випробування і оцінка функціональної безпеки ПЛІС-контролерів.
Подобные документы
Коди з паралельною формою представлення інформації. Послідовні формати передачі даних. Основні сигнали, якими оперують електронні системи. Аналіз взаємозв’язку між кодами на прикладі конкретного числа. Основні способи формування цифрової послідовності.
контрольная работа, добавлен 01.12.2018Аналіз принципів, методів і засобів оцінки і забезпечення надійності і безпеки інформаційно-управляючих систем критичного застосування. Розробка моделей відмовобезпечних ІУС з урахуванням помилок засобів контролю і управління, процедур їх відновлення.
автореферат, добавлен 29.08.2014Класифікація структурних кодів на основі базових груп. Аналіз показників оцінки потужності підмножин пріоритетів. Характеристика матрично-аналітичного методу синтезу основних шифрів. Метод мінімізації логічних функцій у формі поліномів Ріда-Мюллера.
автореферат, добавлен 15.07.2014Дослідження структурних та метричних властивостей систем визначальних співвідношень для повністю визначених та часткових скінчених ініціальних автоматів. Взаємозв’язок між структурою графа автомата та структурою його систем визначальних співвідношень.
автореферат, добавлен 10.08.2014Знайомство з особливостями та проблемами перетворення каскадних систем організації проектування предметної області для IC до форми. Розгляд ключових аспектів методології проектування сучасних баз даних. Аналіз складу сучасних інформаційних систем.
статья, добавлен 30.07.2016Методи побудови тестових послідовностей для схем з пам'яттю. Алгоритм оцінки довжини тестових послідовностей автомата. Апаратні засоби прискорення обчислень при синтезі тестів еволюційними методами, їх апробація на міжнародній бібліотеці послідовних схем.
автореферат, добавлен 28.08.2015Розгляд методів інваріантного аналізу динамічних характеристик програмних компонентів для визначення мінімального набору інваріантів при розв'язанні системи лінійних діофантових рівнянь. Застосування методів для виявлення динамічних характеристик моделей.
статья, добавлен 28.03.2024Розв'язання проблеми забезпечення безпомилковості процесу проектування реактивних алгоритмів промислового рівня складності, що передбачає розробку математичного апарату доказового проектування алгоритмів. Розробка методів синтезу автомата-розпізнавача.
автореферат, добавлен 27.04.2014Вивчення структури, базових перетворень та режимів застосування перспективного криптографічного алгоритму симетричного блокового перетворення "Калина". Дослідження математичних та програмних моделей криптоалгоритму для перевірки правильності реалізації.
статья, добавлен 27.07.2016Аналіз існуючих структур композиційних мікропрограмних пристроїв керування (КМПК) без поділу кодів з метою виявлення шляхів їх вдосконалення. Розробка структур КМПК без поділу кодів з кешуванням сигналів та визначення області їх ефективного застосування.
автореферат, добавлен 29.08.2015Узагальнення питання застосування різних методів програмування яке має властивості спадкування, інкапсуляції та поліморфізму при еволюційному оновленні програмних систем. Особливості складного програмування на основі компонентів повторного використання.
статья, добавлен 26.01.2017Формування поточних і довгострокових планів підвищення кваліфікації керівників та фахівців. Розробка автоматизованого робочого місця з аналізу діяльності вищих навчальних закладів. Програмне забезпечення для виконання робіт по збору і аналізу інформації.
автореферат, добавлен 14.07.2015Використання реляційних баз даних, побудованих за архітектурою SQL. Аналіз методики створення, наповнення та роботи з такими базами даних на прикладі власних наробітків, сформованих на базі роботи з археологічним матеріалом Ямної культури Лісостепу.
статья, добавлен 20.10.2022Аналіз компонентів оцінювання складових економічної безпеки, вибір для їх реалізації штучних нейронних мереж на основі парадигми моделі геометричних перетворень. Розробка на основі моделі програмних засобів оцінювання ризиків при роботі з клієнтами.
статья, добавлен 14.09.2016Розробка реалізації web-додатку "Блог" з використанням фреймворку "yii2". Функціональні вимоги, обґрунтування проектних рішень. Вимоги до технічних та програмних засобів. Інфологічне і даталогічне проектування бази даних. Огляд клієнтського додатку.
курсовая работа, добавлен 20.12.2017Розробка математичних методів для дослідження проходження нейтронів крізь уповільнюючі середовища. Моделювання характеристик позиційно-чутливих детекторів, проектування та дослідження систем нейтронографічної установки на прискорювачі електронів.
автореферат, добавлен 29.09.2015Критерії та методи тестування програмного забезпечення. Роль надійності ПЗ як характеристики якості, її дослідження на етапах життєвого циклу. Розробка моделей прийняття рішень при виборі стратегії створення ПЗ, забезпечення необхідного рівня надійності.
автореферат, добавлен 29.10.2015Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015Аналіз загальних принципів та підходів до процесу синтезу функціональної структури автоматизованої системи управління. Обґрунтування основних етапів цього процесу, формулювання задачі синтезу функціональної структури цієї системи з урахуванням обмежень.
статья, добавлен 14.07.2016Аналіз задач і методів ущільнення зображень. Розробка методів, програмних модулів для виконання досліджень, оптоелектронних елементів і вузлів для систем ущільнення зображень з використанням нейронних мереж типу двовимірної карти Кохонена, їх дослідження.
автореферат, добавлен 26.08.2014Аналіз вимог до сучасної технології моніторингу пожежної безпеки, процесів перетворення інформації, синтезу моделей. Розробка інформаційної технології моніторингу пожежної безпеки та управління підрозділами ДСНС з багаторівневим перетворенням інформації.
статья, добавлен 14.07.2016Обґрунтування вибору складу технічних та програмних засобів. Недетерміновані методи штучного інтелекту, використання нейронних мереж для оцінки поведінки і дій гравця. Написання програми-гри "Шашки" з використанням об’єктно-орієнтованого програмування.
курсовая работа, добавлен 12.12.2014Аналіз сучасних методів проектування алгоритмів для забезпечення можливості автоматизованого перетворення та створення паралельних версій алгоритмів. Розробка методу автоматизованого виконання програм і вибору найкращого алгоритму за заданими критеріями.
автореферат, добавлен 11.08.2015Математичне та програмне забезпечення, призначене для виявлення та усунення ризику збою, спричиненого змаганнями сигналів в цифрових схемах. Особливості взаємодії проектних та обслуговуючих модулів. Апроксимація амплітудної передавальної характеристики.
автореферат, добавлен 05.01.2014Декомпозиція рівнів контекстної діаграми функціональної моделі IDEF0 процесу проектування електронних видань для планшетних комп’ютерів. Дослідження функцій і об’єктів діаграм декомпозиції, розробка структури технології проектування електронних видань.
статья, добавлен 29.07.2016