Search academic texts

Information × Registration Number 0405U004564, Candidate dissertation Status к.ф.-м.н. Date 18-11-2005 popup.evolution o Title Analysis and verification of MSC-specified system by Means of Petri nets Author Matvyeyeva Lyudmila E, popup.head Kryvyy Sergiy L. popup.opponent Перевозчикова Ольга Леонідівна popup.opponent Гороховський Семен Самуїлович Description У дисертації розроблено автоматизований технологічний процес формальної специфікації та верифікації властивостей програмної (чи апаратної) системи, описаної інженерною мовою MSC'2000. Як математична модель використовуються мережі Петрі. Перевірка моделі ґрунтується на використанні методів лінійної алгебри. Побудовано алгоритм перекладу опису проектованої системи мовою MSC'2000 у мережу Петрі, доведена коректність цього алгоритму за допомогою алгебри процесів. Розширена стандартизована формальна семантика мови MSC'2000 за рахунок доповнення її формальною семантикою елементу мови MSC'2000 <умова>. Розроблені алгоритми верифікації таких властивостей: (структурна) обмеженість, L3-живість, досяжність, відсутність тупиків. Розроблені та реалізовані оригінальні алгоритми побудови S- і T- інваріантів та пошуку пасток і тупиків асиметричних мереж Петрі. Створена методика пошуку конфліктів функціональностей проектованої системи на основі поняття інваріантності властивостей базової моделі. Registration Date 2005-11-18 popup.nrat_date 2020-04-04 Close