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