Розробка інструментальних засобів для перевірки формальних моделей асинхронних систем
Створення алгоритмів та методів для автоматичної верифікації формальних моделей асинхронних промислових систем. Перевірка динамічних властивостей, редукції простору пошуку, генерації множини тестових сценаріїв, що задовольняють певним критеріям покриття.
Подобные документы
Розробка методів верифікації алгоритмів функціонування дискретних систем, що задовольняють заданим часовим обмеженням. Використання часових логік для опису властивостей алгоритмів і методів побудови моделей систем, описаних у сучасних мовах проектування.
автореферат, добавлен 29.08.2014Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014Методологія RUP до представлення задач електронного документообігу. Розробка комплексу програмних інструментальних засобів, призначених для створення й функціонування систем композитного документообігу підприємств та організацій, його формальні моделі.
автореферат, добавлен 14.09.2014Класи ітераційних методів рішення систем лінійних алгебраїчних рівнянь. Критерій оцінки швидкості збіжності різних ітераційних методів. Класифікація паралельних ітераційних алгоритмів та їх переваги асинхронних ітераційних методів, їхні види і критерій.
статья, добавлен 29.07.2016Аналіз особливостей формування і використання непараметричних моделей динамічних об'єктів. Розробка алгоритмів чисельної реалізації непараметричних динамічних моделей з орієнтацією на розвиток засобів комп'ютерного моделювання динамічних об'єктів.
автореферат, добавлен 14.10.2015Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Створення систем підтримки прийняття рішень у логістиці. Структури і функції СППР в управлінні транспортним процесом. Розробка математичних моделей, інструментальних методів і алгоритмів оптимізації логістичного управління транспортними комплексами.
автореферат, добавлен 30.09.2013Аналіз існуючих систем електронного бізнесу, засобів програмного забезпечення для цих систем та розробка необхідної Торгової Інтернет Системи для електронного бізнесу. Розробка методів потоків платежів на основі дерева сценаріїв в електронному бізнесі.
автореферат, добавлен 14.10.2015Розробка програми призначеної для пошуку книги в типізованому файлі даних. Вимоги до функціональних характеристик. Створення формальних моделей та визначення специфікації програмного забезпечення, що розробляється. Організація вхідних і вихідних даних.
лабораторная работа, добавлен 25.03.2021Описано підхід до визначення формальних структур МАНОК-систем з прикладами їх інтерпретації. Аналіз джерел, присвячених побудові ІТНО-систем. Опис схеми побудови ІТНО-систем та їх компонентів. Використання аксіоматичного методу та "гомоморфних моделей".
статья, добавлен 02.10.2018Створення на єдиній методологічній основі нових моделей і методів інтеграції гетерогенних інформаційних систем і розподілених баз даних, інтелектуальних обчислювальних механізмів, методів і інструментальних засобів аналізу взаємозалежних задач користувача
автореферат, добавлен 27.07.2014Побудова математичної моделі розвитку онтологій. Інтеграція моделей. Розробка методів аналізу адекватності, усунення властивостей динамічної суперечливості інформації. Обґрунтування алгоритмічних та інструментальних засобів аналізу у прикладних задачах.
автореферат, добавлен 25.07.2014Методи дослідження технічних систем і технологічних процесів. Розробка алгоритмічних основ і програмних засобів комп'ютерного моделювання широкого класу динамічних об'єктів. Формування непараметричних математичних моделей у вигляді інтегральних рівнянь.
автореферат, добавлен 29.09.2014Розробка системи автоматизованого проектування маршрутів формування кристалів інформаційних систем. Методи виділення фактуальних знань та засоби синтезу моделей і алгоритмів. Технологічне проектування кристалів напівпровідникових інформаційних систем.
автореферат, добавлен 23.02.2014Порівняльний аналіз і класифікація методів формальних специфікацій щодо паралелізму за критеріями: класи задач, складність методів, ступінь автоматизації, зв’язок моделі з реальними програмами. Композиційно-номінативна мова, модель серверного середовища.
автореферат, добавлен 28.08.2014Розробка математичного забезпечення алгоритмів опису та побудови геометричних моделей поверхонь поведінки динамічних систем з нечіткими параметрами та здійснення на цій основі процесу керування системою шляхом відстеження траєкторії руху "точки".
автореферат, добавлен 29.09.2015Аналіз засобів захисту документів та цінних паперів і визначення поліграфічних методів їх створення. Розробка моделі засобів захисту документів на основі використання формальних граматик, сумісного використання теорії графів та принципів стеганографії.
автореферат, добавлен 20.07.2015- 18. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Розробка формальної моделі системи електронної контент-комерції та формальних моделей опрацювання інформаційних ресурсів. Опис архітектури систем електронної контент-комерції для полегшення етапів реалізації життєвого циклу комерційного контенту.
статья, добавлен 29.07.2016Аналіз способів побудови та методів дискретизації цифрових моделей реального часу для динамічних систем. Необхідність розробки нових високоефективних способів зменшення витрат основних розрахункових ресурсів керуючих електронно-обчислювальних машин.
автореферат, добавлен 22.06.2014Розробка інформаційних технологій для моделювання розвитку туристичної інфраструктури території з використанням асинхронних автоматів. Обґрунтування доцільності поєднання інтелектуальних технологій аналізу з можливостями геоінформаційних систем.
статья, добавлен 26.12.2016Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
статья, добавлен 10.06.2024Розробка нейромережевих моделей динамічних об'єктів, що описуються нелінійними рівняннями в просторі станів і їх дослідження. Вивчення питань підвищення обчислювальної стійкості рекурентних алгоритмів і розробка факторизованих алгоритмів навчання.
автореферат, добавлен 28.07.2014Характеристика можливостей серійних універсальних середовищ інженерних та науково-технічних обчислень для реалізації інтегральних моделей х динамічних систем. Методика розробки алгоритмів розв’язання системи інтегро-диференціальних рівнянь Вольтерри.
автореферат, добавлен 28.08.2015Дослідження сімейства формальних моделей поведінки активного агенту еротематичного діалогового процесу. Розробка архітектури проблемно-незалежного уніфікованого діалогового вирішувача задач. Характеристика і систематизація систем штучного інтелекту.
автореферат, добавлен 22.07.2014