Метод синтезу тестових моделей поведінки програмних об’єктів інформаційно-телекомунікаційної системи спеціального призначення
Інтегрована інформаційно-телекомунікаційна система спеціального призначення, що розробляється, ще на етапі проектування. Побудова моделей послідовностей повідомлень програмних об’єктів, синтезу логічних і тестових моделей станів та діяльностей класів.
Подобные документы
Розробка методу синтезу формальних моделей комп’ютерних програм на основі семантичних анотацій їх елементів. Розробка методу навчання інтелектуальної системи синтезу семантичних моделей програм. Структура онтології для системи синтезу моделей програм.
автореферат, добавлен 26.08.2015Методи побудови тестових послідовностей для схем з пам'яттю. Алгоритм оцінки довжини тестових послідовностей автомата. Апаратні засоби прискорення обчислень при синтезі тестів еволюційними методами, їх апробація на міжнародній бібліотеці послідовних схем.
автореферат, добавлен 28.08.2015Розробка моделей надійності резервованих інформаційно-управляючих систем з додатковими компонентами для організації мережного мажоритування. Особливість методу конфігураційного синтезу цифрових програм при використанні раніше розроблених складників.
автореферат, добавлен 30.10.2015Аналіз алгоритму автоматизованого синтезу баз даних та просторових об’єктів для збереження параметрів математичної моделі процесів зміни стану об’єктів. Розгляд підходів до автоматизації процесу інтегрування математичних моделей екологічних процесів.
автореферат, добавлен 19.07.2015Розробка методології синтезу абстрактних, структурних і HDL-моделей безпечних логічних автоматів для ПЛІС-контролерів з паралельною архітектурою. Експериментальні дослідження, промислові випробування і оцінка функціональної безпеки ПЛІС-контролерів.
автореферат, добавлен 20.07.2015Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Характеристика існуючих моделей надійності програмних систем. Розроблення алгоритмів та програм їх реалізації. Впровадження запропонованих підходів, моделей та методик інженерії тестування в проекти з розроблення програмних систем оброблення даних.
автореферат, добавлен 30.07.2014Розробка моделей і інформаційної технології управління розвитком корпоративної інформаційно-обчислювальної системи при нечіткій вихідній інформації. Критерії, що характеризують ефективність КІОС. Модель статичної задачі структурно-топологічного синтезу.
автореферат, добавлен 26.07.2014Розробка часткових моделей розподілу інформаційного ресурсу. Формування трьохрівневої математичної моделі розподілу ресурсу інформаційно-обчислювальної мережі автоматизованої системи управління. Аналіз основних моделей розподілу інформаційного ресурсу.
статья, добавлен 14.01.2017Розробка інформаційних технологій проектування структурно-функціональних моделей скінчених автоматів для синтезу алгоритмів автоматизованого управління технологічними процесами. Вивчення методу моделювання алгоритмів автоматизованого управління.
автореферат, добавлен 20.07.2015Дослідження властивостей булевих функцій. Аналіз факторів, що впливають на ефективність їх застосування в засобах захисту інформації. Розробка організації обчислень та програмних засобів для синтезу і реалізації перетворень, що базуються на функціях.
автореферат, добавлен 26.07.2014Аналіз методів та підходів, що використовуються при дослідженні систем управління спеціального призначення. Характеристика аспектів найефективніших методів аналізу та контролю проектів СУСП, що базуються на комп’ютерних технологіях проектування.
автореферат, добавлен 22.02.2014Інформаційна система як об’єкт управління, її класифікація і загальне призначення на різних стадіях розвитку суспільства. Характеристика структурних компонентів автоматизованої інформаційної системи. Призначення та побудова геоінформаційних систем.
реферат, добавлен 12.11.2011Класифікація моделей об'єкта на основі кореляційних функцій і теоретико-числових базисів. Теоретичні основи діагностування об'єктів управління на основі кластерних моделей. Розробка діалогової системи і алгоритмів моделювання на базі кластерних моделей.
статья, добавлен 29.01.2016Методика багаторівневого ієрархічного і логічного синтезу асинхронних автоматів і надвеликих інтегральних схем. Проектування мікропрограмних пристроїв управління НВІС на засаді синхронних автоматів. Розробка мов опису проектних логічних специфікацій НВІС.
автореферат, добавлен 21.11.2013Аналіз можливості реалізації повільної DoS-атаки. Інтервал спостереження при очікуванні атаки даного типу, можливість її виявлення. Графічне представлення повільної DoS-атаки. Аналіз роботи інформаційно-телекомунікаційної системи спеціального призначення.
статья, добавлен 14.01.2017Розробка методів та засобів формування і застосування стилів програмування в дослідженні ПЗ. Комплекс інформаційно-програмних засобів, що автоматизують вирішення визначених задач. Застосування компонентів вторинного використання та успадкованого ПЗ.
автореферат, добавлен 30.07.2014Дослідження проектування автоматизованих систем управління. Обґрунтування використання діалогових алгебро-граматичних моделей представлення знань для їх синтезу. Розробка інструментарію проектування комп’ютерних систем – діалогова трансформаційна машина.
автореферат, добавлен 27.08.2014Аналіз понять "інформація", "інформаційна система", "телекомунікаційна система", "інформаційно-телекомунікаційна система". Порядок функціонування інформаційної системи роботи державних органів влади і стан захисту інформації в цих інформаційних системах.
статья, добавлен 14.10.2021Аналіз особливостей формування і використання непараметричних моделей динамічних об'єктів. Розробка алгоритмів чисельної реалізації непараметричних динамічних моделей з орієнтацією на розвиток засобів комп'ютерного моделювання динамічних об'єктів.
автореферат, добавлен 14.10.2015Вимоги до безпеки інфокомунікаційної мережі спеціального призначення (ІМСП). Типи загроз, активів, які підлягають захисту, вразливостей, притаманних мережам. Мета створення математичної моделі ІМСП - визначення комплексу заходів захисту активів.
статья, добавлен 13.02.2016Вивчення структури, базових перетворень та режимів застосування перспективного криптографічного алгоритму симетричного блокового перетворення "Калина". Дослідження математичних та програмних моделей криптоалгоритму для перевірки правильності реалізації.
статья, добавлен 27.07.2016Тенденції розвитку сучасних СППРЕБ, інтеграція прикладних програм і основні особливості типових програмних реалізацій математичних моделей СППРЕБ. Розробка спеціалізованої мови програмування для формалізації різних аспектів інтеграції моделей у СППРЕБ.
автореферат, добавлен 07.11.2013Нові класи задачі синтезу мереж, їхні властивості та математичні моделі в термінах потоків. Алгоритми знаходження точного й наближеного рішень задачі синтезу двозв’язної мережі. Ефективність запропонованих алгоритмів на реальних і тестових задачах.
автореферат, добавлен 29.08.2014- 25. Автоматизований синтез і моделі гнучких комп’ютерних професійних тренажерів широкого призначення
Визначення програмних реалізацій принципів устрою автоматизованого синтезу індивідуальних гнучких комп’ютерних професійних тренажерів широкого призначення. Підвищення ефективності прищеплювання умінь і навичок прийняття оперативних управлінських рішень.
автореферат, добавлен 25.02.2015