From 9f17adba44687da7d0b418b8027211aa72543a52 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Chlo=C3=A9=20Aben?= Date: Wed, 30 Jul 2025 16:33:26 +0200 Subject: [PATCH] include figure and text --- src/how-to-guides/ESL/logical-dependencies.md | 22 +++++++++++++++---- src/how-to-guides/assets/l_cfb_mdm_2.svg | 1 + 2 files changed, 19 insertions(+), 4 deletions(-) create mode 100644 src/how-to-guides/assets/l_cfb_mdm_2.svg diff --git a/src/how-to-guides/ESL/logical-dependencies.md b/src/how-to-guides/ESL/logical-dependencies.md index f783579..819bd46 100644 --- a/src/how-to-guides/ESL/logical-dependencies.md +++ b/src/how-to-guides/ESL/logical-dependencies.md @@ -1,7 +1,21 @@ # Logical dependency analysis -!!! warning +The functional dependencies visualized in the previous sections related to the (physical) exchange and transformations of flows between components of the system. - This content is not fully migrated, yet. Please hop over to this page on - [docs.ratio-case.nl](https://docs.ratio-case.nl/manuals/esl_manual/index.html#logical-dependencies) - for the source content. +From a (supervisory) control perspective however one is more interested in the dependencies that relate to the behavior of components. For example, the relation between the output of a sensor and the output of an actuators. Such dependencies are often embedded within the (control) software of a system. The ESL compiler can derive such dependencies from ESL behavior specifications. + +Figure 1 shows an MDM listing the components, function specifications, and behavior specifications relevant at the second decomposition level of the final specification. Within the matrix, logical dependencies and mapping dependencies are shown. For example, `power-source` has a logical dependency with `power-switch`. This dependency is derived from behavior-requirement `toggle-power` that logically relates the value of `motor-control-signal`, sent by `power-switch`, to the value of `power`, produced by `power-source`. + +
+ ![component-function-behavior](../assets/l_cfb_mdm_2.svg) +
+ Figure 1: Component-function-behavior spec multi-domain matrix showing logical dependencies at the second decomposition level. +
+
+ +Similarly, function specifications `send-control-signal` and `convert-potential` have a logical dependency as the output of `convert-potential` is defined by the value of `motor-control-signal`. + +The bottom row of Figure 1 shows which components and function specifications are affected by behavior specification `toggle-power`. + +!!! note + The function specifications `send-control-signal` and `convert-potential` in Figure 2 of [Functional Dependencies](functional-dependencies.md) do **not** have a functional dependency as `motor-control-signal` is not (physically) converted into `power`. \ No newline at end of file diff --git a/src/how-to-guides/assets/l_cfb_mdm_2.svg b/src/how-to-guides/assets/l_cfb_mdm_2.svg new file mode 100644 index 0000000..3bd7420 --- /dev/null +++ b/src/how-to-guides/assets/l_cfb_mdm_2.svg @@ -0,0 +1 @@ +pumppower-sourcemotorpower-Switchconvert-torqueconvert-potentialconvert-powerprovide-powersend-control-signalprovide-torquetoggle-powercontrol-signalelectrical-energy-flowenergy-potentialliquid-material-flowmechanical-energy-flow \ No newline at end of file -- GitLab