2.8 В предыдущих разделах обсуждалось, как

• Cоздать описание системы
  
• Определить границы системы
  
• Разработать концепцию эксплуатации
  
• Определить ограничения
  
• Начать функциональный анализ
  
• Модифицировать функциональный анализ с учётом ограничений реализации
  
• Определить основные режимы работы системы
  
  

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

В том числе указывайте значение изменяемой переменной для каждого состояния системы и входные данные, и возможные допуски этих значений, например, допустимая задержка. Эта практика поможет вам создать полный согласованный набор детальных требований к поведению системы и её работе.

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

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

2.8.3 Убедитесь, что детальные требования являются полными, то есть каждой изменяемой переменной и внутренней переменной для каждого состояния системы присвоено идеальное значение. Используйте значение UNSPECIFIED (Не определено), когда для состояния системы не существует осмысленного значения.

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

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

2.8.6 Опишите детальные требования к системе в той функции, которая возвращает переменную. Это создаёт структуру, в которой определение каждой переменной напрямую прослеживается до её родительской функции.

2.8.7 Определите допустимую задержку для каждой изменяемой переменной вместе с обоснованием её значения в рамках детальных системных требований.

2.8.8 Укажите возможный допуск (допустимое отклонение) для каждой числовой изменяемой переменной.

2.8.9 Не определяйте задержку и допуск для внутренних переменных.

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

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

В методологии CoRE это называется функцией идеального значения для переменной [5]. Она определяет полную цепочку присваиваемых значений в изменяемых переменных (в идеальном случае) в ответ на изменения в измеряемых переменных. Однако обычно это слишком строгое ограничение. Для большинства систем допустим диапазон значений, близкий к идеальному значению.

Далее, чтобы зафиксировать это, для каждой изменяемой переменной задаётся допуск относительно идеального значения. Этот допуск может быть простой константой или произвольно сложной функцией состояния системы. Наконец, необходимо указать аспекты производительности системы. Это делается путем указания задержки, то есть периода времени, в течение которого каждая изменяемая переменная должна завершить свой ответ. Опять же, задержка может быть простой константой или чрезвычайно сложной функцией состояния системы.

В следующем разделе мы подробнее разберём как описать детальные требования к поведению системы.

Далее к пункту 2.8.1