View article

Объектом исследования являются объектно-ориентированные стохастические гибридные системы (РООСГС). Цель исследования-разработка подхода к анализу РООСГС. Во введении рассмотрены предложенные подходы к спецификации и верификации РООСГС. В основной части описаны предложенные подходы анализа РООСГС. РООСГС представляет собой математическую модель стохастических гибридных систем, состоящих из распределенных объектов, допускающую спецификацию в переписывающей логике. Для спецификации РООСГС предложено использовать SHYMaude-язык спецификации, являющийся расширением языка PMaude и включающий в себя элементы, необходимые для спецификации РООСГС. После трансляции в модель PMaude модель РООСГС допускает исполнение в среде Maude. В качестве метода верификации предложен …