System Design 1 - Vorlesung

16 April 2025, Bastian Luettig

State transfer functions

Signal transfer function $T$: Changes the input signals to output signals depending on the mode $s_{mode}$
State transfer function $Z$: Changes the input states and platform states $\underline{z}_{pf}$ to output states
Evaluation function $\varepsilon$: Returns the maximum available degradation a system can perform - based on the input states

transfer functions for the redundant system

(Can be written as text in exam, but has to be precise)

decomposing z and t

Decomposing $Z_{sfu}$ and $T_{sfu}$

With the simplification above, the overall signal transfer function becomes:

$$T_{sfu} = T_{ra} \circ T_{rf} \circ T_{law}(s_{mode}) \circ T_{rs}(\underline{y}_{in, sfu})$$

$$T_{sfu} = T_{law}(s_{mode}, \underline{y}_{in, sfu})$$

How do we find $Z_{law}$?

decomposing z and t

Decomposing $\varepsilon_{sfu}$

The following can usually be easily obtained:

(Slide 24 diagram will be given in exam, but we need to know how to work with it)

Signals:

$$\underline{y}{sfu} = T{law}(s_{mode.law},\underline{y}_{in-sft})$$

States: (correct order of the function is important)

$$\underline{z}{sfu} = {z}{sfu}(\underline{z}{pf}, \underline{z}{in.sft})$$

$$\underline{z}{sfu} = {z}{ra}(\underline{z}{pf}) \circ {z}{rf}(\underline{z}{pf}) \circ {z}^*{law}(z_{mode.law}) \circ {z}{rs}(\underline{z}{pf}, \underline{z}_{in.sfu})$$

Evaluation:

$$\varepsilon^*{sfu} = \varepsilon{sfu} \circ z_{law}$$

These functions can be used to decribe the whole system

How to use this information

$P(lossOfNormalLaw) = 10^{-4}$
$P(lossOfNormalLaw, alternateLaw) = 10^{-7}$
$P(lossOfNormalLaw, alternateLaw, directLaw) = 10^{-9}$

Using transfer functions, these laws can be expressed formally (see slide 27)

Creating the system requirements document YRD

To create the YRD, we need to:

To achieve this, we follow this process:

The resulting requirements form the YRD

basic arcitecture: what does the system do comprises of what each component does ($T_{sfu}$)\

Platform architecture (longest chapter in this course)

Generic state transfer functions for modules

Module A module refers ro any single or redundant hardware unit examples: signle sensor number 1 or type stick, redundant computer, single actuator elevator left hand

each module performs a state transfer function

passivating a lane can be complicated, in this lecture, we simplify these cases by considering passive lanes to have no effect on the rest of the system