
43-1
43.1 Introduction
Time-triggered systems derive control by the progression of time and thus use the concept of time in
the
problem
statement
as
well
as
in
the
provided
solution.
is
approach
supports
a
specication
of
interfaces
including
the
temporal
domain
(e.g.,
send
and
receive
instants
of
messages)
and
the
imple-
mentation
of
“temporal
rewalls,”
which
prevent
error
propagation
via
control
signals.
Time-triggered
systems
sup
port
memb
ership
ide
ntication,
int
eroperability,
and rep
lica
det
erminism.
e
concepts
of
time-triggered
systems
have
been
composed
in
the
time-triggered architecture
[KB03],
establishing
a
framework
for
the
implementat ...