Методика составления контекстных требований к программным системам логического управления
Ключевые слова:
реагирующие системы, спецификация требований, линейная темпоральная логика, метод про- верки моделей, целеориентированные методики составления требований, схемы целейАннотация
Постановка проблемы: современные методики составления формальных требований к поведению программ
не дают инженеру механизмов, позволяющих структурировать разрозненную информацию о будущей системе. Рабо-
та посвящена одному из обязательных этапов формальной проверки корректности программных систем логического
управления — составлению спецификации требований. Результаты: предложена методика составления контекстных
требований к поведению программ логического управления при помощи схем целей. Методика строится на упоря-
дочивании темпоральных причинно-следственных связей между событиями системы и контекста ее функционирова-
ния. Формально требования задаются на языке линейной темпоральной логики. Практическая значимость: методика
демонстрируется на примерах разработки требований к двум системам логического управления.
