Inhaltsverzeichnis
Werbung
Praesideo 4.0
Clause/Requirement
EN 54-16:2008 (E)
(this text is used for
certification )
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);
b
the source code listing,
including all global and
local variables, constants
and labels used, and suf-
ficient comment for the
program flow to be rec-
ognized;
c
details of any software
tools used in the prepa-
ration of the program
(e.g. high level design
tools, compilers, assem-
blers).
14.3
Software design
In order to ensure the
reliability of the VACIE
the following require-
ments for software
design shall apply:
a
the software shall have a
modular structure;
b
the design of the inter-
faces for manually and
automatically generated
data shall not permit
invalid data to cause an
error in the program exe-
cution;
c
the software shall be
designed to avoid the
occurrence of a dead-
lock in the program flow.
14.4
Program monitoring
(see also Annex C)
Bosch Security Systems B.V.
Paragraf/Anforderung
Compliance
EN 54-16:2008 (D)
(dieser Text dient nur
(this text is used for
zur Information)
certification )
eine Beschreibung
The Praesideo software
jedes Programm-
component descriptions
Moduls, wie es im
(module descriptions) are
„Source-Code" des
available from the software
Programms umgesetzt
architecture documents. These
wurde und die Folgen-
documents contain the names
des enthält:
of the components. The author
1 Name des Moduls
information can be obtained
und
from the version manager
2 Name(n) des(der)
(Merant Version Manager)
Verfasser(s);
used for the documentation.
das „Source-Code-
All of the source code listing
Listing", einschließlich
(including all global and local
aller globalen und
variables, constants and labels
lokalen Variablen, Kon-
used) can be obtained from
stanten und Labels
the version manager (Merant
sowie eines ausre-
Version Manager) used for the
ichenden Kommen-
code. All of the Praesideo
tars, so dass der
code is commented.
Programmfluss
erkannt werden kann;
Einzelheiten zu den bei
The list can be composed on
der Programmerstel-
request and contains
lung verwendeten
high level design tools,
Software-Tools (z. B.
compilers for various
High level design
processors, syntax validation
tools, Compiler,
tools, build tools, test tools,
Assembler).
performance validation tools,
version control tools, defect
tracking tools.
Ausführung der Soft-
Praesideo is compliant.
ware
Um den zuverlässigen
Betrieb der SAZ
sicherzustellen, gelten
folgende Anforderun-
gen bezüglich der
Ausführung der Soft-
ware:
die Software muss
The modular structure of the
eine modulare Struktur
Praesideo software is
aufweisen;
documented in the software
architecture documents.
die Ausführung der
The interfaces between the
Schnittstellen für man-
modules and to external
uell und automatisch
components are well defined
generierte Daten muss
and described in the design
das Hervorrufen von
documents and external
Störungen im Pro-
interface documents (Open
grammablauf durch
Interface). Asserts are used to
ungültige Daten ver-
validate inputs on component
hindern;
boundaries.
die Software muss so
Design guidelines are in place
ausgeführt sein, dass
to avoid deadlocks. Multi
das Auftreten einer
threading within components is
Endlosschleife (en:
avoided where feasible and
„Deadlock") im Pro-
components have an input
grammablauf ver-
command queue for safe
hindert wird.
decoupling of threads.
Überwachung des
Praesideo is compliant.
Programmablaufs
(siehe auch
Anhang C)
Installations- und Bedienungsanleitung
Erfüllung
(dieser Text dient nur zur
Information)
Die Beschreibungen der
Praesideo Softwarekompo-
nenten (Modulbeschreibun-
gen') sind in den Software-
Architekturdokumenten
enthalten. Diese Dokumente
enthalten die Namen der
Komponenten. Informationen
zum Autor sind im für die Doku-
mentation verwendeten Ver-
sionsmanager (Merant Version
Manager) enthalten.
Sämtliche Quellcode-Listen
(einschließlich aller verwende-
ten globalen und lokalen
Variablen, Konstanten und
Schilder) sind im für den Code
verwendeten Versionsman-
ager (Merant Version Manager)
enthalten. Alle Praesideo
Codes sind kommentiert.
Die Liste kann auf Anfrage
zusammengestellt werden und
enthält umfassende Konstruk-
tionstools, Compiler für ver-
schiedene Prozessoren,
Syntax-Validierungstools,
Build-Tools, Test-Tools, Leis-
tungsprüfungstools, Tools zur
Versionskontrolle, Tools zur
Rückverfolgung von Störun-
gen.
Praesideo ist zertifiziert.
Der modulare Aufbau der
Praesideo Software wird in
den Unterlagen der Softwar-
earchitektur dokumentiert.
Die Schnittstellen zwischen
den Modulen und den externen
Komponenten werden in den
Konstruktionsunterlagen und
der externen Schnittstellendo-
kumentation (offene Schnitt-
stelle) definiert und sehr gut
beschrieben. Zur Validierung
von Eingaben zu Kompo-
nentengrenzen werden
Behauptungen aufgestellt.
Es stehen Konstruktionsricht-
linien zur Vermeidung von
Stockungen zur Verfügung.
Multithreading innerhalb von
Komponenten wird wo möglich
vermieden und Komponenten
haben eine Eingangsbefehlss-
chleife für die sichere Entkop-
plung von Threads.
Praesideo ist zertifiziert.
IUI-PRAESIDEO_4.0 | V1.0 | 2013.01
de | 98
Signature
Unterschrift
Werbung
Inhaltsverzeichnis
