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

Інформація × Реєстраційний номер 0405U004564, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 18-11-2005 Статус Запланована Назва роботи Аналіз та верифікація MSC-систем за допомогою мереж Петрі Здобувач Матвєєва Людмила Євгенівна, Керівник Кривий Сергій Лук'янович Опонент Перевозчикова Ольга Леонідівна Опонент Гороховський Семен Самуїлович Опис У дисертації розроблено автоматизований технологічний процес формальної специфікації та верифікації властивостей програмної (чи апаратної) системи, описаної інженерною мовою MSC'2000. Як математична модель використовуються мережі Петрі. Перевірка моделі ґрунтується на використанні методів лінійної алгебри. Побудовано алгоритм перекладу опису проектованої системи мовою MSC'2000 у мережу Петрі, доведена коректність цього алгоритму за допомогою алгебри процесів. Розширена стандартизована формальна семантика мови MSC'2000 за рахунок доповнення її формальною семантикою елементу мови MSC'2000 <умова>. Розроблені алгоритми верифікації таких властивостей: (структурна) обмеженість, L3-живість, досяжність, відсутність тупиків. Розроблені та реалізовані оригінальні алгоритми побудови S- і T- інваріантів та пошуку пасток і тупиків асиметричних мереж Петрі. Створена методика пошуку конфліктів функціональностей проектованої системи на основі поняття інваріантності властивостей базової моделі. Дата реєстрації 2005-11-18 Додано в НРАТ 2020-04-04 Закрити