ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ ВСТРОЕННЫХ СИСТЕМ. Общие требования к разработке и документированию

— по обеспечению защиты и секретности;

— к системному окружению (среде);

— к ресурсам вычислителя (к аппаратуре, коэффициенту использования ресурсов аппаратуры, ПО вычислителя, организации сети компьютеров, если она необходима);

— по ограничениям проекта;

— по обучению персонала.

Должны быть также определены:

— относительная важность и критичность требований;

— средства аттестации, включающие в себя демонстрацию, тестирование, анализ, инспекцию и требуемые специальные методы для конкретной системы.

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

Спецификация требований к ПО — документ, который определяет требования верхнего уровня, включая производные требования. Этот документ должен содержать:

— описание распределения системных требований по компонентам ПО с учетом требований, которые обеспечивают безопасность, и потенциальным отказным ситуациям;

— функциональные и эксплуатационные требования для каждого режима работы;

— критерии производительности, например точность представления;

— временные требования и ограничения;

— ограничения объема памяти;

— интерфейсы аппаратуры и ПО, например протоколы, форматы, частоту ввода и вывода данных;

— требования к обнаружению отказов и мониторингу безопасности;

— требования по разбиению ПО, по взаимодействию выделенных компонентов ПО друг с другом и к уровням ПО для каждой части.

Спецификация требований к интерфейсу определяет требования к интерфейсам между системными компонентами: системами, подсистемами, элементами конфигурации ПО и аппаратуры. Данный документ включает в себя:

— идентификацию и диаграммы функционирования интерфейсов;

— требования по типам интерфейсов;

— характеристики передаваемых элементов данных (идентификация, типы данных, размер и формат, единицы измерений, точность, источники и приемники);

— характеристики методов коммуникации;

— характеристики протоколов обмена;

— приоритеты и критичность требований;

— методы аттестации, которые должны быть использованы для демонстрации выполнения требований;

— доказательство трассируемости требований.

Документ «Описание проекта системы/подсистемы» описывает проект системы/подсистемы как целого, а также проект архитектуры системы/подсистемы, может быть дополнен описанием проекта интерфейса и описанием проекта базы данных. Данный документ включает в себя:

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

— проект архитектуры системы, содержащий идентификацию компонентов системы, их назначение, статус/тип разработки, аппаратные ресурсы;

— концепцию совместного функционирования компонентов, описание их динамических связей;

— описание интерфейсов между компонентами;

— анализ трассируемости проекта системы к системным требованиям.

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

Документ «Описание проекта ПО» содержит описание архитектуры и требований нижнего уровня к ПО, которые должны удовлетворять требованиям верхнего уровня к ПО. Этот документ должен включать в себя:

— детализированное описание того, как ПО удовлетворяет специфицированным требованиям верхнего уровня к ПО, включая алгоритмы, структуры данных, и описание распределения по процессорам и задачам требований к ПО;

— описание архитектуры ПО, которая определяет структуру ПО, предназначенного для реализации заданных требований;

— описание входных/выходных данных (например, словарь данных) для внутренних и внешних интерфейсов архитектуры ПО;

— описание потока данных и потока управления;

— ограничения на использование ресурсов, стратегию для управления каждым ресурсом, границы рабочего диапазона и методы измерения этих границ, например времени выполнения и памяти;

— процедуры планирования и механизмы межпроцессорной и межзадачной связей, включая жесткую временную последовательность, приоритетное планирование, механизмы рандеву в языке Ада и прерывания;