Методи та засоби проектування технічних і програмних компонентів безпечних ПЛІС-контролерів з паралельною архітектурою
Розробка методології синтезу абстрактних, структурних і HDL-моделей безпечних логічних автоматів для ПЛІС-контролерів з паралельною архітектурою. Експериментальні дослідження, промислові випробування і оцінка функціональної безпеки ПЛІС-контролерів.
Подобные документы
Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
автореферат, добавлен 21.11.2013Застосування мови VHDL для проектування комп’ютерних систем. Проектування комбінаційних схем, цифрових автоматів. Варіанти побудови процесу проектування цифрового пристрою на базі ПЛІС. Перехід синтезної моделі до логічної структури та бітового потоку.
контрольная работа, добавлен 08.09.2011Технологічна схема об’єкта управління зі вказаними входами та виходами згідно програмної реалізації. Розробка алгоритму управління. Схема підключення датчиків і виконавчих механізмів до мікропроцесорних промислових контролерів. Склад прикладної програми.
курсовая работа, добавлен 15.09.2012Основні принципи побудови інтегрованих автоматизованих систем. Апаратна структура програмованих логічних контролерів (ПЛК). Побудова засобів людино-машинного інтерфейсу на базі операторських панелей. Архітектура інтегрованої автоматизованої системи.
курс лекций, добавлен 15.09.2015Підходи до підвищення швидкості розробки, безпеки та якості програмного коду контейнерних застосунків шляхом впровадження принципів безпеки та інструментів автоматизації на всіх етапах життєвого циклу. Перспективи розвитку мікросервісних застосунків.
статья, добавлен 10.01.2024- 6. Програмовані логічні контролери з вбудованими засобами тестового та функціонального діагностування
Характеристика сучасного стану і тенденцій розвитку типових структур програмованих логічних контролерів. Розробка та аналіз методів синтезу вбудованих на кристал або печатну плату програмно-апаратних засобів тестового та функціонального діагностування.
автореферат, добавлен 29.09.2015 Концептуальна розробка алгоритмічного і програмного забезпечення функціонально-орієнтованого процесора з гнучкою архітектурою. Показ структурних схем різного рівня на основі дерева функцій і операторних моделей. Алгоритм роботи загальної структури ФОП.
автореферат, добавлен 27.04.2014Аналіз особливостей організації обчислювальних процесів у кластерних системах з мультиядерною архітектурою, які пов’язані з ускладненням структурної організації системи. Класифікація та характеристика методів організації взаємодії паралельних процесів.
автореферат, добавлен 27.08.2015Результати експериментальних досліджень апаратних затрат та швидкодії виконання модулярних операцій для одиничних модулів та наборів модулів з різними діапазонами представлення чисел. Оцінка та обґрунтування переваг використання методу різниці квадратів.
статья, добавлен 30.10.2016Інтегрована інформаційно-телекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування. Побудова моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів.
статья, добавлен 26.07.2016Розробка моделей, методів і процедур синтезу легкотестованих компонентів мереж клітинних автоматів на базі програмованих логічних інтегральних схем. Створення методів синтезу вбудованих засобів сигнатурного моніторингу для однорідних клітинних мереж.
автореферат, добавлен 30.07.2015Загальна характеристика архітектури "клієнт-сервер". Технологічний цикл обробки JAVA-програм. Робота з запитами в MS Access. Імплементація програми з архітектурою "клієнт-сервер" засобами мови JAVA2 EE. Визначення економічної ефективності роботи системи.
дипломная работа, добавлен 07.02.2014Принципи побудови мікропроцесорних контролерів. Аналогово-цифрові та цифро-аналогові перетворювачі. Пристрої гальванічного розв’язання електричних кіл. Методика створення проекту у системі програмування ISaGRAF. Система децентралізованої периферії.
учебное пособие, добавлен 12.06.2014- 14. Декодер Вітербі
Розробка програми декодера Вітербі на мові VHDL, що приймає на вхід символи з дискретного каналу зв’язку, закодовані кодером Вітербі з породжуючим поліномом. Схема вибору блоку зворотного проходження (traceback (ТВ). Перевірка програми на ПЛІС Cyclone II.
курсовая работа, добавлен 12.06.2016 Особливості сімейства Virtex, його відмінні особливості, структура та основні елементи, огляд існуючої архітектури. Опис сімейства FPGA Virtex, оцінка швидкодії кристалів. Продуктивність стандартних функцій Virtex-6. Підтримувані стандарти вводу-виводу.
реферат, добавлен 06.11.2010Розробка математичних моделей функціональних відмов мікроелектронних цифрових пристроїв. Характеристика методики оцінки показників функціональної надійності логічних елементів та функціональних вузлів ЦП. Розробка архітектури програмної підсистеми.
автореферат, добавлен 12.11.2013Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015Розроблення методу проектування вимог якості до програмних систем, на всіх стадіях життєвого циклу. Формування та оцінка програмного комплексу підтримки методу проектування вимог та автоматизації процесу оцінювання якості заданих програмних систем.
автореферат, добавлен 14.08.2015Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014Дослідження доцільності використання теорії абстрактних автоматів (зокрема, теорії клітинних автоматів), опис основних аспектів її реалізації в програмуванні. Розробка технології попіксельної обробки графіки, що базується на понятті клітинного автомата.
статья, добавлен 09.10.2018Вивчення проблеми розробки структурних методів синтезу багатозначних оборотних засобів розв'язання систем логічних рівнянь для синтезу багатозначних логічних елементів прямої та зворотної дії, які використовують у системах та засобах штучного інтелекту.
автореферат, добавлен 20.07.2015Вибір газових датчиків як одне із складних завдань при проектуванні мобільних комплексів екологічного моніторингу. Алгоритм роботи системи телеметрії з елементами доповненої реальності. Аналіз складових модулю спостереження за фізіологічним станом.
статья, добавлен 09.10.2018Аналіз основних етапів і методів побудови нейронних мереж прямого поширення та обґрунтування еволюційного підходу для синтезу нейромоделей. Розробка основних програмних засобів для синтезу розпізнаючих моделей об’єктів на основі запропонованих методів.
автореферат, добавлен 26.08.2015Загальні принципи СОМ-технології і склад СОМ-додатку. Принципи створення контролерів автоматизації MS Excel і організації низькорівневого інтерфейсу OLE DB. Логіко-функціональна схема роботи й можливості спроектованої системи розрахунку вартості ремонту.
дипломная работа, добавлен 26.10.2012Дослідження сучасного стану та методики вирішення проблеми в області розробки логічних мереж і математичних засобів для побудови їх моделей. Розробка та обґрунтування методу формального опису операцій реляційної алгебри на мові скінчених предикатів.
автореферат, добавлен 26.08.2015