# Chapter 8 – The new state of the art

**Summary:**\
Chapter 8 concludes the theoretical part.\
It describes why Selmo represents the new state of the art:\
Because it formalizes machine behavior, integrates safety into the structure, and permanently documents knowledge.\
The reader recognizes that Selmo is not a new PLC, but a **new way of thinking** –\
a language that connects machines, people and standards.\
Selmo fulfills the central demands of modern automation: determinism, traceability, sustainability and transparency.

The *state of the art* describes, **what is technically justifiable and reproducibly possible today**.\
Selmo raises this standard to the next level:

> **With Selmo the process becomes code – and the code becomes certainty.**

Thus Selmo not only meets legal requirements, but defines, **how machine behavior in the age of digital responsibility** must be designed:\
**formal, verifiable, safe and transparent.**

<details>

<summary>Why Selmo is the new state of the art</summary>

Selmo redefines the state of the art **in machine automation**, by **formally describing the behavior of the machine and automatically translating it into control code.**\
In doing so Selmo meets key criteria that constitute the state of the art:

| Criterion            | Description                                                          | Selmo reference                                                      |
| -------------------- | -------------------------------------------------------------------- | -------------------------------------------------------------------- |
| **equivalent**       | Machine behavior is clearly documented and traceable.                | The Selmo process model formally maps every signal and every state.  |
| **safety**           | Fault states and state transitions are deterministically verifiable. | Interlock (`i`), Sequence Check (`S`) and CMZ ensure safe states.    |
| **Reproducibility**  | The behavior can be reproduced identically at any time.              | Model = Code = Documentation – automatically synchronized.           |
| **Error prevention** | Programming errors due to interpretation are eliminated.             | Code is generated from formal models, not written manually.          |
| **Efficiency**       | Engineering effort and commissioning time are reduced.               | Standardized structure, automatic diagnosis, clearly defined states. |
| **Compatibility**    | Existing standards (IEC 61131, PLCopen XML) are integrated.          | Selmo exports and imports standards-compliant code.                  |

Selmo thus shifts the boundary of the state of the art **from programming to modeling**:\
The human describes **the process**, no longer the code.\
The machine behaves **provably exactly as**, the process was defined.

</details>

<details>

<summary>Proof of the state of the art with Selmo</summary>

Selmo enables manufacturers **to demonstrably comply with the state of the art**, because:

* The formal model **is verifiable and documentable** is.
* Every safety-relevant function **be automatically checked** and **is diagnosed** is.
* Changes to the model **traceable** and **are version-controlled** are.
* The generated PLC programs **are standards-compliant (IEC 61131, PLCopen)** are.
* The machine in **virtual commissioning (Digital Twin)** can be tested.

Thus Selmo offers **objective evidence** for the requirements from:

* EU Machinery Regulation (safety through state of the art),
* product liability law (traceable behavior),
* quality management (ISO 9001 ff.),
* functional safety (ISO 13849, IEC 62061).

</details>
