Environmental Engineering Reference
In-Depth Information
fact that they have been considered by way of
inspection of destination documents. For instance,
the analysis may inspect translation of system
requirements documentation into FPGA-project
requirements documentation, or that of FPGA-
project requirements documentation into digital
device characteristic specification, or that of
system requirements documentation into tests,
etc. If necessary, traceability analysis may include
a requirements confirmation step to ensure that
actual requirements, but not simply sections of
input documentation, have been traced. The results
of analysis must show whether all requirements
have been duly considered. For this analysis usu-
ally traceability matrices are used comprising
comparison between input requirements and the
elements of output results.
In the course of FPGA-projects verification
traceability analysis is applied to ensure tracing
or establishment of connections:
• Numerical values of set points and tim-
ing characteristics that deine conditions
of signal formation and return to normal
operation to their values established in
speciication.
•
Identiiers and names of input and output
signals and alteration limits of continuous
input signals as speciied in the scheme to
speciication data.
Conformity criterion for this verification stage
is coincidence of logic conditions, numerical
values of set points and timing characteristics,
identifiers, names and alteration limits of signals as
defined from signal formation algorithm schemes
to initial data established in specification.
Conformity of algorithm program models
developed in CASE-tools environment to signal
formation algorithm block-diagrams is assessed
by way of comparison:
•
Between SRS and signal formation algo-
rithm block-diagrams.
• Of identiiers, names and alteration limits
of input signals.
• Of identiiers, names and formation logic
conditions of output signals.
• Of connection topologies between structur-
al elements, numerical values of set points
and timing characteristics speciied in al-
gorithm block-diagrams and “hard copies”
from screen that diagrammatically relect
the developed algorithm program models.
•
Between signal formation algorithm block-
diagrams and their program models in
CASE-tools environment.
•
Between signal formation algorithm block-
diagrams and integrated program model in
CASE-tools environment.
•
Between FPGA electronic designs inte-
grated program model in CASE-tools en-
vironment and FPGA with implemented
logic structure.
Conformity criteria for this stage are:
Conformity of signal formation algorithm
block-diagrams to the initial data of SRS is
assessed for each block-diagram separately by
comparing:
• Usage in algorithm program models of
only those elements that are included
into typical functional elements library of
CASE-tools environment applied.
•
Presence and completeness of tests for all
new functional blocks composed from typ-
ical functional elements.
•
Logic conditions of signal formation and
return to normal operation, the latter being
deined by this scheme, to conditions es-
tablished in speciication.
•
Presence and completeness of tests for all
algorithm program models.
Search WWH ::
Custom Search