212
nl | Bijlagen
Clausule / Vereiste
14.3 Software-design
Om de betrouwbaarheid van het VACIE te
verzekeren moet voldaan worden aan de
volgende vereisten voor software-design:
a de software moet een modulaire
b het design van de interfaces voor
c de software moet zo ontworpen zijn
14.4 Programmabewaking (zie ook
Bijlage C)
14.4.1 De uitvoering van het programma
moet worden bewaakt, zoals in 14.4.2 of
14.4.3. Als de routines die verbonden zijn
aan de hoofdfuncties van het programma
niet langer worden uitgevoerd, is een van
de volgende of beide situaties van
toepassing:
2013.07 | V2.0 |
structuur hebben;
handmatig en automatisch
gegenereerde gegevens moet
verhinderen dat ongeldige gegevens
een storing veroorzaken in de
uitvoering van het programma;
dat de programmastroom niet kan
vastlopen.
Installation and Operation manual
Conformiteit
Plena gesproken woord
ontruimingssysteem is conform.
De modulaire structuur van de
software van het Plena gesproken
woord ontruimingssysteem is
gedocumenteerd in de software-
architectuurdocumenten.
De interfaces tussen de modules
en naar de externe componenten
zijn goed gedefinieerd en
beschreven in de
designdocumenten en de
documenten van de externe
interface (Open Interface). Er
worden asserts gebruikt om de
ingangen op de componentgrenzen
te valideren.
Er worden designrichtlijnen
toegepast om vastlopen te
voorkomen. Multithreading in
componenten wordt indien
mogelijk vermeden, en de
componenten hebben een wachtrij
voor invoercommando's, voor een
veilige ontkoppeling van draden.
Plena gesproken woord
ontruimingssysteem is conform.
Plena
Handteken
ing
Bosch Security Systems B.V.