Table des Matières
Publicité
Praesideo 3.5 | Manuel d'installation et d'utilisation | EN54-16: 2008
Clause / Exigence
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;
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
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;
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)
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.
14.4.3 If the program executes in more than one processor,
the execution of the routines in 14.4. 1 shall be monitored in
each processor. A monitoring device as in 14.4.4 shall be
associated with one or more processors, and at least one
such processor shall monitor the functioning of any
processor not associated with such a monitoring device.
Bosch Security Systems | 2011-02
Conformité
L'ensemble du listing de code source (notamment les
constantes, les étiquettes et les variables globales et
locales employées) peuvent être obtenues dans le
gestionnaire de version (Merant Version Manager) utilisé
pour le code. Tout le code du Praesideo est commenté.
La liste peut être composée à la demande et contient
des outils de conception de haut niveau, des compilateurs
pour divers processeurs, des outils de validation
syntaxique, des outils de versionnage, des outils de test,
des outils de validation des performances, des outils de
contrôle de version et des outils de suivi des défauts.
Praesideo est conforme.
La structure modulaire du logiciel du Praesideo est
documentée dans les documents d'architecture logicielle.
Les interfaces entre les modules et les composants
externes sont bien définies et décrites dans les documents
de conception et les documents d'interface externe
(interface ouverte). Les affirmations servent à valider les
entrées sur les frontières de composants.
Les directives de conception servent à éviter les impasses.
Le traitement multitâche dans les composants est évité si
possible et les composants comportent une file d'attente
de commande d'entrée pour un découplage sécurisé des
tâches.
Praesideo est conforme.
En cas d'activation d'un chien de garde, une panne est
consignée après le redémarrage du composant défaillant
indiquant l'unité défaillante et le processeur. Si le
redémarrage du composant défaillant est impossible, une
panne moins détaillée est consignée. Une panne système
est indiquée en passant à une condition de panne.
En cas d'activation d'un chien de garde, une panne est
consignée après le redémarrage du composant défaillant
indiquant l'unité défaillante et le processeur.
Tous les processeurs utilisés dans le système Praesideo
sont soit gardés par un chien de garde matériel, soit
supervisés par un processeur gardé par un chien de garde
matériel.
Tous les processeurs sont soit gardés par un chien de
garde matériel, soit supervisés par un processeur gardé par
un chien de garde matériel.
Le contrôleur de réseau est responsable de la supervision
de tous les processeurs du système. En cas de défaillance
de l'un des processeurs, soit du fait d'une défaillance de
chien de garde, soit d'une défaillance de communication,
une panne est générée. La défaillance du contrôleur de
réseau lui-même désactive le contact de sortie de panne
système afin d'indiquer une panne système.
fr | 59
Signature
Publicité
Table des Matières
