Системное проектирование на основе требований

Обнаружение неверных, отсутствующих и конфликтующих требований до начала разработки

Моделирование исполняемых системных спецификаций

STIMULUS предоставляет язык моделирования, который позволяет системным архитекторам объединять формализованные текстовые требования, машины состояний и блок-схемы в полностью интегрированной среде моделирования. Текстовые требования можно выделить на каждом уровне функциональной архитектуры системы, в то время как машины состояний обычно используются для описания рабочих режимов или рабочих последовательностей подсистем.

Текстовые требования

STIMULUS предоставляет библиотеки языковых шаблонов, которые поддерживают общие отраслевые методы формулирования стандартизированных однозначных системных требований.

Машины состояний

STIMULUS предоставляет иерархические машины состояний, которые можно комбинировать с текстовыми требованиями, чтобы указать ожидаемое поведение системы для каждого рабочего режима.

Блок-схемы

STIMULUS предоставляет блок-схемы, описывающие функциональные или системные архитектуры. На каждом уровне системы требования можно уточнить и распределить по подсистемам.

Отладка и тестирование системных спецификаций

С помощью STIMULUS можно смоделировать спецификацию системы (требования, машины состояний и блок-схемы) как единое целое, найти ошибки спецификации до начала проектирования, внедрить эффективные требования и выполнить разработку на основе тестирования. STIMULUS создает множество трассировок выполнения, соответствующих спецификациям системы, и предоставляет широкие возможности отладки для анализа результатов имитационного моделирования требований: автоматическое обнаружение и диагностика конфликтующих и отсутствующих требований, выполнение требований, выделение активных требований, мониторинг сигналов и т. д.

Конфликтующие требования

В процессе имитационного моделирования решающая программа STIMULUS обнаруживает конфликты между требованиями. При возникновении конфликта в определенный момент времени программа имитационного моделирования останавливается, выделяя набор конфликтующих требований.

Отсутствующие требования

В процессе имитационного моделирования STIMULUS определяет отсутствующие требования или, если быть точнее, моменты времени, когда некоторые выходные данные системы не определяются никакими требованиями (это обозначается пунктирными линиями в окне имитационного моделирования).

Соответствие требованиям

STIMULUS измеряет соответствие функциональным требованиям, превращая требования в средства контроля. Требование считается выполненным, если оно было задействовано хотя бы один раз с момента начала имитационного моделирования.

STIMULUS в действии: имитационное моделирование требований

На рисунке ниже показан снимок экрана STIMULUS с запущенным имитационным моделированием требований и обнаруженным конфликтом. Обнаруженный программой STIMULUS конфликт можно проанализировать с помощью функций отладки (обратное имитационное моделирование, выделение требований, мониторинг сигналов и т. д.).