Алгебраїчні методи верифікації асинхронних паралельних систем
Створення програмного комплексу для статичної перевірки властивостей формальних моделей та визначення досяжності станів, в яких знайдено недоліки. Основні формальні моделі асинхронних паралельних систем та статичні методи перевірки властивостей.
Подобные документы
Відомі атрибути, метрики, методи та інструментальні засоби автоматизованої верифікації та сертифікації програмного забезпечення. Використання семантичних атрибутів для верифікації та експертизи програмного забезпечення інформаційно-управляючих систем.
автореферат, добавлен 29.01.2016Дослідження існуючих математичних моделей щодо переміщення рідкого середовища з рухомими границями. Визначення основних найбільш перспективних напрямків розвитку паралельних асинхронних і мультисіткових методів і програмних засобів для їх реалізації.
автореферат, добавлен 20.07.2015Побудова типового ряду обчислювальних систем реального часу на модулях, які містять розподілені апаратні засоби взаємодії, контролю і автоматичного оновлення. Методи організації обміну даними в паралельних системах з неоднорідним доступом до пам'яті.
автореферат, добавлен 26.08.2014Комп’ютери із NUMA архітектурою. Класифікація паралельних комп’ютерів і систем. Способи паралельної обробки. Закони Амдала та методи декомпозиції. Принципи побудови паралельних алгоритмів. Рекурсивна, спекулятивна, дослідницька та гібридна декомпозиція.
реферат, добавлен 24.01.2012Класи ітераційних методів рішення систем лінійних алгебраїчних рівнянь. Критерій оцінки швидкості збіжності різних ітераційних методів. Класифікація паралельних ітераційних алгоритмів та їх переваги асинхронних ітераційних методів, їхні види і критерій.
статья, добавлен 29.07.2016Розвиток теорії паралельних обчислювальних систем реального часу шляхом розробки нових ефективних методів і засобів прискорення обчислювальних процесів з паралелізмом. Підвищення надійності і забезпечення простоти адаптації до різних умов застосування.
автореферат, добавлен 30.10.2015Загальна схема розробки алгоритмів паралельних обчислень для розв’язку складних задач. Особливості моделювання паралельних програм. Аналіз масштабованості реалізації паралельних обчислень. Етапи оцінки комунікаційної трудомісткості паралельних алгоритмів.
лекция, добавлен 30.08.2017Підвищення надійності програмного забезпечення систем управління шляхом розробки семантичних атрибутів, метрик, моделей, методів, заснованих на аналізі семантичних інваріантів. Впровадження їх у методиках та засобах підтримки верифікації та експертизи.
автореферат, добавлен 28.09.2014Класифікація методів захисту інформації та аналіз існуючих шляхів перевірки цілісності цифрових сигналів. Базис для створення практичного методу перевірки цілісності ЦС. Методи перевірки цілісності та уточнення локалізації області порушення цілісності ЦС.
автореферат, добавлен 30.07.2015Аналіз станів ієрархічних рівнів складних об’єктів. Виявлення властивостей досяжності та несуперечливості під час їх взаємодії. Дослідження процесів нечіткої логіки з відношеннями "умова-дія". Розробка алгоритмів та засобів розв’язання практичних задач.
автореферат, добавлен 26.08.2015Розробка багатокрокових багатоточкових блокових методів рішення задачі Коши для звичайних диференціальних рівнянь. Теоретичне обґрунтування збіжності і стійкості розроблених методів та їх відображення на паралельних обчислювальних системах SIMD і MIMD.
автореферат, добавлен 04.03.2014Побудова формальних специфікацій за неформальними вимогами генерація набору тестів, синтез архітектурної моделі і перевірка властивостей. Прототипи програм верифікації формальних специфікацій і символьної генерації в системі інсерційного програмування.
автореферат, добавлен 30.07.2014Системний аналіз багаторівневої архітектури програмного забезпечення автоматизованих систем управління. Розробка методу порівняння моделей технологічних платформ. Побудова бізнес-архітектури експериментальної моделі в області білінгу для телекомунікацій.
автореферат, добавлен 28.07.2014Вивчення складних динамічних систем з розподіленими параметрами. Декомпозиція середовища на компоненти, що забезпечують комп’ютерну підтримку всіх етапів розробки паралельних моделей і симуляторів ШВМ. Визначення MIMD-процесів мінімальної гранулярності.
автореферат, добавлен 05.11.2013Аналіз сучасних методів проектування алгоритмів для забезпечення можливості автоматизованого перетворення та створення паралельних версій алгоритмів. Розробка методу автоматизованого виконання програм і вибору найкращого алгоритму за заданими критеріями.
автореферат, добавлен 11.08.2015Методологія RUP до представлення задач електронного документообігу. Розробка комплексу програмних інструментальних засобів, призначених для створення й функціонування систем композитного документообігу підприємств та організацій, його формальні моделі.
автореферат, добавлен 14.09.2014Аналіз і класифікація атрибутів, метрик, методів та інструментальних засобів верифікації й сертифікації програмного забезпечення. Розробка методу верифікації програмного забезпечення в умовах ресурсних обмежень і неповноти проектної документації.
автореферат, добавлен 27.08.2015Розробка моделей та методів алгоструктурної організації паралельних обчислювальних процесів задля підвищення ефективності роботи комп'ютерних систем. Особливості методу перетворень алгоструктурних моделей та розпаралелення обчислень в алгоструктурах.
автореферат, добавлен 29.08.2015Огляд математичних моделей систем марковського типу, параметри яких стрибкоподібно змінюються у часі. Методи стабілізації, розрахунку розподілів станів зазначених систем. Їх застосування в задачах хімії, біології, техніки, системі масового обслуговування.
автореферат, добавлен 26.08.2014Засоби підвищення продуктивності обчислювальних систем. Методи паралельних обчислень спеціальних функцій та систем рівнянь для навігаційних задач. Розробка високопродуктивних обчислювальних систем для обробки навігаційної інформації з високою точністю.
автореферат, добавлен 25.02.2015Описано підхід до визначення формальних структур МАНОК-систем з прикладами їх інтерпретації. Аналіз джерел, присвячених побудові ІТНО-систем. Опис схеми побудови ІТНО-систем та їх компонентів. Використання аксіоматичного методу та "гомоморфних моделей".
статья, добавлен 02.10.2018Метод формування профілів багатоверсійного програмного забезпечення, який дозволяє автоматизувати процес визначення множини вимог для його розробки та верифікації. Модель його життєвого циклу, що враховує види та кількість версій на кожному етапі.
автореферат, добавлен 29.08.2014Характеристика вимог до перевірки якості програмного продукту перед передачею його в роботу. Дослідження етапів побудови системи нечіткого виведення для визначення якості розроблюваного програмного продукту. Моделювання розробленої нечіткої моделі.
статья, добавлен 23.10.2020Сутність процесу управління змінами в онтологіях для інформаційних систем. Обчислювальні методи верифікації темпоральних обмежень цілісності на множині версій моделі онтології. Програмний комплекс, призначений для підтримки автоматизованої верифікації.
автореферат, добавлен 30.07.2015Розробка моделі просторового графа синхронних потоків даних. Алгоритмізація їх обробки у паралельних обчислювальних системах. Застосування програмованих логічних інтегральних схем. Вирішення задач лінійної алгебри з мінімізацією простоїв процесорів.
автореферат, добавлен 11.08.2015