Index
A, B
ARP4754A
assertion
assumption
semantic
behavior
actual
expected
observable
really possible
the
theoritical model
belief
C
concept
designation
meaning
configuration management
contract theorem
D
design
choice
error
model
a goal
of means
process
reasoning
reliability design model (RDM)
solution
verification
development
error
E
EASA
Certification Review Item
ED12C/DO-178C
ED79A/ARP4754A
EIA
EIA
engineering
MBSE
process
systems
error
F
FAA
issue paper
fact
statement
failure
tree
faulty
faulty state
function
according to ARP4754A
analysis
Behavior-Structure
G, I
genders
species and types
general system theory (GST)
IEEE
IEEE 1220
implementation
verification
installation
integration
ISO
ISO15288
K, L
knowledge
applied science
body of
conceptual
falsifiable
intersubjective
objective
procedural
scientific
subjective
system
technological
truth
unverifiable
language
expressiveness
SA-RT
SYSML
VHDL
law
as property
statement
M, N, O
mode
commutation
model
object
representativeness
symbolic
theoretical
no-function-in-structure
object
abstract
denotation
ontology
P
PBR
assumption
comparaison
conjonction
objectivization
obligation or prohibition
type
predicate
process
production
property
accidental
actualisation
class
concomitance
conjonction
disposition
emergent
essential
formal
generic
intrinsic
material
precedence
quantitative
specific
structural
proposition
meaning
meaningful
meaningless
nomological
scientific
truth
comparaison
requirement
derivation and assignation
derivation
determination
source
system technical
validation
S
safety
analysis
ASA
CCA
CMA
DAL
fail safe concept
FDAL
FHA
PASA
PRA
PSSA
quantitative requirement
requirement
SSA
theorem
ZSA
scenario and case
semantical assumption
signs
system
simulation
bench
space
specification
choice
error
exacte
impossible
model
over specification
specification model
under specification
state
space
system
abstract
autotelic
behavior
closed
composition
concomitant effect
concrete
endo-structure
environment state
environment
event
exo-structure
failure
fault
function, goal or teleology
heterotelic
link
mode
of systems
open
state
structure
subsystem level
subsystem
technico-empirical
technological
T, V
TBR
and MBSE
implicit
interpretation
subjectivity
truth
approximate
formal
partial
validation
by analysis
by engineering judgment
by modeling
by test
early
effort and rigor
means
verification
by simulation
device
goals
means
process
..................Content has been hidden....................
You can't read the all page of ebook, please click here login for view all page.