Пошук академічних текстів

Інформація × Реєстраційний номер 0213U003294, 0108U000106 , Науково-дослідна робота Назва роботи Розробити теорію та методи інсерційного моделювання та верифікації багаторівневих взаємодіючих систем. Назва етапу роботи Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 24-01-2013 Організація виконавець Iнститут кібернетики ім. В. М. Глушкова НАНУ Опис етапу На основі інсерційного моделювання розроблено засоби моделювання та верифікації багаторівневих взаємодіючих систем та дано їх теоретичне обґрунтування. Запропоновано та досліджено два типи інсерційних машин: машини реального часу, або інтерактивні машини, та аналітичні інсерційні машини. Запропоновано методи та алгоритми для побудови розв'язувача формул, що складаються з систем лінійних обмежень над полем дійсних чи раціональних чисел. Розроблено методи підвищення ефективності верифікації програмних систем: метод побудови динамічних абстракцій та метод оптимізації перевірки передумов переходів формальних моделей конкретизованих систем. Запропоновано підхід до інтеграції гнучких методик та традиційних, що базуються на СMMI, моделей. Опис продукції Запропоновано та досліджено два типи інсерційних машин: машини реального часу, або інтерактивні машини, та аналітичні інсерційні машини. Запропоновано методи та алгоритми для побудови розв'язувача формул, що складаються з систем лінійних обмежень над полем дійсних чи раціональних чисел. Розроблено методи підвищення ефективності верифікації програмних систем: метод побудови динамічних абстракцій та метод оптимізації перевірки передумов переходів формальних моделей конкретизованих систем. Автори роботи Єлфімова Лариса Дмитрівна Алєксєєв Дмитро Анатолійович Атдаєва Світлана Григорівна Волков Владислав Анатолійович Герман Віталій Миколайович Гребнєв Валерій Олександрович Гречко Валерій Олегович Довбиш Валентина Яківна Колбасін Микола Іванович Коломейко Володимир Вікторович Колчин Олександр Валентинович Летичевський Олександр Адольфович Летичевський Олександр Олександрович Мітченко Олександр Іванович Матвєєва Людмила Євгенівна Мороз-Подворчан Ігор Григорович Мороховець Марина Костянтинівна Потієнко Степан Валерійович Чугаєнко Олексій Васильович Яковлев Віктор Михайлович Додано в НРАТ 2020-04-02 Закрити