Bosch Praesideo - Инструкция (Страница 64)

Bosch Security Systems | 2011-02
Praesideo 3.5 | Инструкции по установке и эксплуатации | EN54-16: 2008 ru | 66
a a description of each module of the program, as it is
implemented in the source code of the program,
containing:
1 the name of the module, and
2 the identification of the author(s);
Описание программных компонентов системы
Praesideo (описание модулей) содержится в
документации по архитектуре программного
обеспечения. В этой документации также содержатся
названия компонентов. Информацию об авторе
можно узнать из диспетчера версий (Merant Version
Manager), используемого в документации.
b the source code listing, including all global and local
variables, constants and labels used, and sufficient
comment for the program flow to be recognized;
Все списки исходного кода (включая все
используемые глобальные и локальные переменные,
постоянные и ярлыки) можно получить с помощью
диспетчера версий (Merant Version Manager),
используемого для кода. Весь код система Praesideo
сопровождается комментариями.
c details of any software tools used in the preparation
of the program (e.g. high level design tools,
compilers, assemblers).
Список может быть составлен по запросу и содержит
средства проектирования высшей ступени,
компиляторы различных процессоров, инструменты
проверки синтаксиса, средства построения, средства
проверки, инструменты проверки
производительности, инструменты управления
версиями, средства отслеживания дефектов.
14.3 Software design Система Praesideo соответствует требованиям.
In order to ensure the reliability of the VACIE the
following requirements for software design shall apply:
a
the software shall have a modular structure; Модульная структура программного обеспечения
системы Praesideo документирована в документации
по архитектуре программного обеспечения.
b the design of the interfaces for manually and
automatically generated data shall not permit invalid
data to cause an error in the program execution;
Интерфейсы между модулями и внешними
компонентами подробно определены и описаны в
проектной документации и документации внешних
интерфейсов (открытый интерфейс). Для проверки
входных данных на границах компонентов
используются утверждения.
c the software shall be designed to avoid the
occurrence of a deadlock in the program flow.
Руководства по проектированию предназначены для
устранения ситуаций взаимной блокировки. По
возможности избегается использование нескольких
потоков внутри компонентов, а сами компоненты
имеют очередь входных команд, позволяющую
выполнять безопасное размыкание потоков.
14.4 Program monitoring (see also Annex C) Система Praesideo соответствует требованиям.
14.4.1 The execution of the program shall be monitored
as under 14.4.2 or 14.4.3. If routines associated with the
main functions of the program are no longer executed,
either or both of the following shall apply:
a
the VACIE shall indicate a system fault (as in 8.3); После активации схемы самоконтроля и перезапуска
неисправного компонента появится сообщение о
неисправности, указывающее на неисправное
устройство или процессор. Если не удается
выполнить перезапуск неисправного компонента,
отчет будет содержать описание неисправности с
меньшим количеством данных. При переходе в
состояние неисправности указывается системная
неисправность.
b the VACIE shall enter the fault warning condition and
indicate faults of affected supervised functions (as in
8.2.3, 8.2.4, 8.3, 8.4 and 8.5), where only these
functions are affected.
После активации схемы самоконтроля и перезапуска
неисправного компонента появится сообщение о
неисправности, указывающее на неисправное
устройство или процессор.
14.4.2 If the program executes in one processor, the
execution of the routines in 14.4.1, it shall be monitored
by a monitoring device as in 14.4.4.
Все процессоры, используемые в системе Praesideo,
либо находятся под защитой аппаратной схемы
самоконтроля, либо контролируются процессором,
находящимся под защитой аппаратной схемы
самоконтроля.
Пункт / требование Соответствие Подпись