https://doc.seolizer.de/ 2026-04-17T03:13:13+00:00 https://doc.seolizer.de/ https://doc.seolizer.de/_media/wiki:dokuwiki.svg text/html 2026-04-07T08:14:02+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/lyx_-_programmiersprache:do-178c:triple_modular_redundancy?rev=1775549642&do=diff Triple Modular Redundancy (TMR) & Integrity Die Lyx-Sprachspezifikation (v0.9.0+) implementiert umfassende Mechanismen zur Triple Modular Redundancy (TMR), um die Anforderungen an die Fehlertoleranz in sicherheitskritischen Umgebungen (z. B. DO-178C DAL A) zu erfüllen. Ziel ist der Schutz gegen hardwarebedingte Bit-Flips (Single Event Upsets) durch Strahlung oder Speicherfehler. text/html 2026-04-07T08:13:14+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/lyx_-_programmiersprache:do-178c:software-lockstep?rev=1775549594&do=diff Software Lockstep Software Lockstep ist ein redundanter Ausführungsmodus in Lyx (v0.9.0+), der primär für Funktionen mit dem höchsten Sicherheitskritikalitätslevel (DAL A) eingesetzt wird. Er dient dazu, Rechenfehler (z. B. durch kurzzeitige Prozessorstörungen) zu erkennen, indem derselbe Pfad mehrfach abgearbeitet und die Ergebnisse verglichen werden. text/html 2026-04-07T08:12:05+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/lyx_-_programmiersprache:do-178c:meta_safe?rev=1775549525&do=diff ELF-Sektion: .meta_safe Die .meta_safe Sektion ist eine spezialisierte Datenstruktur innerhalb der ELF64-Binärdatei, die vom Lyx-Compiler (v0.9.0+) automatisch erzeugt wird, wenn eine Unit mit @integrity annotiert ist. Sie dient als vertrauenswürdige Referenz für die Hardware-Fehlertoleranz und den TMR-Abstimmungsmechanismus. text/html 2026-04-07T08:10:50+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/lyx_-_programmiersprache:do-178c:memory-scrubbing?rev=1775549450&do=diff Memory Scrubbing (Code-Integrität) Memory Scrubbing ist ein präventiver Sicherheitsmechanismus in Lyx (v0.9.0+), der darauf abzielt, „schleichende“ Speicherfehler (Single Event Upsets / Bit-Flips) im Programmbereich (Code-Segment) zu erkennen, bevor sie ausgeführt werden. text/html 2026-04-07T08:07:59+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/lyx_-_programmiersprache:datentypen?rev=1775549279&do=diff Lyx – Datentypen Diese Seite gibt einen technischen Überblick über die aktuell unterstützten Datentypen in Lyx sowie deren Implementierungsstatus im Compiler (Stand v0.9.0). Aktuell unterstützte Datentypen 1. Ganzzahl-Typen (signiert) Typ Bits text/html 2026-04-07T08:06:42+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/lyx_-_programmiersprache:abi-calling-conventions?rev=1775549202&do=diff Lyx – ABI & Calling Conventions Die ABI (Application Binary Interface) definiert, wie Funktionen auf Binärebene kommunizieren. Lyx folgt den Standard-Konventionen der Zielplattform, um Kompatibilität mit System-Aufrufen (Syscalls) und externen C-Bibliotheken zu gewährleisten. text/html 2026-04-07T08:04:50+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/lyx_-_programmiersprache:pattern-matching?rev=1775549090&do=diff Lyx – Pattern Matching (match) Das match-Statement ist eines der mächtigsten Kontrollfluss-Elemente in Lyx. Es erlaubt den Vergleich eines Wertes gegen eine Reihe von Mustern (Patterns). Im Gegensatz zu switch in C oder Java ist match in Lyx typsicher text/html 2026-04-07T08:04:04+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/lyx_-_programmiersprache:oop?rev=1775549044&do=diff Lyx – Objektorientierte Programmierung (OOP) Lyx kombiniert die Performance von Systemprogrammiersprachen mit der Ergonomie moderner OOP-Sprachen. Dabei wird strikt zwischen leichtgewichtigen Strukturen und mächtigen Klassen unterschieden. 1) Structs (Value-Types) text/html 2026-04-07T07:59:41+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/lyx_-_programmiersprache:do-178c?rev=1775548781&do=diff DO-178C Compliance in Lyx Die DO-178C ist der primäre Standard der Luftfahrtbehörden (EASA, FAA) zur Zertifizierung von Software in fliegenden Systemen. Lyx wurde entwickelt, um die Einhaltung dieses Standards durch native Sprachfeatures und Compiler-Garantien zu unterstützen. text/html 2026-04-07T07:57:50+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/lyx_-_programmiersprache:rekursion?rev=1775548670&do=diff Lyx – Rekursion Lyx unterstützt rekursive Funktionsaufrufe unter Einhaltung der plattformspezifischen ABIs. Da Lyx auf deterministische Laufzeiten optimiert ist, bietet der Compiler spezielle Werkzeuge zur Überwachung des Stack-Verbrauchs. 1) Grundlagen & Safety-Constraints text/html 2026-04-07T07:45:43+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/lyx_-_programmiersprache:erste-schritte?rev=1775547943&do=diff Lyx – Erste Schritte (Quick Start) Willkommen bei Lyx! Diese Anleitung hilft dir dabei, deine Entwicklungsumgebung einzurichten und dein erstes sicherheitskritisches Programm zu kompilieren. 1) Installation Lyx ist als autarkes Binary (lyxc) konzipiert. Es benötigt keine externen C-Standardbibliotheken, da es ein eigenes Backend für x86_64, ARM64 und RISC-V besitzt. text/html 2025-07-02T13:39:50+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/?image=kostenlosen_seolizer-tools%3Aetag-check.png&ns=kostenlosen_seolizer-tools&rev=1751463590&tab_details=history&media_do=diff&do=media <img src="https://doc.seolizer.de/_media/kostenlosen_seolizer-tools:etag-check.png?w=500&amp;h=500&amp;tok=9207c4" alt="etag-check.png" loading="lazy" width="500" height="500" /> text/html 2022-11-13T18:19:13+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/?image=usb-sicherheitsschluessel.png&ns=0&rev=1668363553&tab_details=history&media_do=diff&do=media <img src="https://doc.seolizer.de/_media/usb-sicherheitsschluessel.png?w=500&amp;h=500&amp;tok=f7c80b" alt="usb-sicherheitsschluessel.png" loading="lazy" width="500" height="500" /> text/html 2020-11-27T19:19:19+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/?image=dein_seolizer-account%3Aprojekte%3Asrc_sonstige-einstellungen.jpg&ns=dein_seolizer-account%3Aprojekte&rev=1606504759&tab_details=history&media_do=diff&do=media <img src="https://doc.seolizer.de/_media/dein_seolizer-account:projekte:src_sonstige-einstellungen.jpg?w=500&amp;h=500&amp;tok=06a314" alt="src_sonstige-einstellungen.jpg" loading="lazy" width="500" height="500" /> text/html 2020-11-27T19:17:28+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/?image=dein_seolizer-account%3Aprojekte%3Asrc_sicherheit.jpg&ns=dein_seolizer-account%3Aprojekte&rev=1606504648&tab_details=history&media_do=diff&do=media <img src="https://doc.seolizer.de/_media/dein_seolizer-account:projekte:src_sicherheit.jpg?w=500&amp;h=500&amp;tok=3a56e4" alt="src_sicherheit.jpg" loading="lazy" width="500" height="500" /> text/html 2020-11-27T19:15:53+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/?image=dein_seolizer-account%3Aprojekte%3Asrc_siteverification.jpg&ns=dein_seolizer-account%3Aprojekte&rev=1606504553&tab_details=history&media_do=diff&do=media <img src="https://doc.seolizer.de/_media/dein_seolizer-account:projekte:src_siteverification.jpg?w=500&amp;h=500&amp;tok=ef921a" alt="src_siteverification.jpg" loading="lazy" width="500" height="500" /> text/html 2020-11-27T19:12:00+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/?image=dein_seolizer-account%3Aprojekte%3Asrc_datenfeeds.jpg&ns=dein_seolizer-account%3Aprojekte&rev=1606504320&tab_details=history&media_do=diff&do=media <img src="https://doc.seolizer.de/_media/dein_seolizer-account:projekte:src_datenfeeds.jpg?w=500&amp;h=500&amp;tok=8298e8" alt="src_datenfeeds.jpg" loading="lazy" width="500" height="500" /> text/html 2020-11-27T19:08:41+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/?image=dein_seolizer-account%3Aprojekte%3Asrc_sitemaps.jpg&ns=dein_seolizer-account%3Aprojekte&rev=1606504121&tab_details=history&media_do=diff&do=media <img src="https://doc.seolizer.de/_media/dein_seolizer-account:projekte:src_sitemaps.jpg?w=500&amp;h=500&amp;tok=9d3785" alt="src_sitemaps.jpg" loading="lazy" width="500" height="500" /> text/html 2020-11-27T19:04:41+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/?image=dein_seolizer-account%3Aprojekte%3Asrc_crawling.jpg&ns=dein_seolizer-account%3Aprojekte&rev=1606503881&tab_details=history&media_do=diff&do=media <img src="https://doc.seolizer.de/_media/dein_seolizer-account:projekte:src_crawling.jpg?w=500&amp;h=500&amp;tok=55ecd7" alt="src_crawling.jpg" loading="lazy" width="500" height="500" /> text/html 2020-11-27T18:59:26+00:00 admin (admin@undisclosed.example.com) https://doc.seolizer.de/?image=dein_seolizer-account%3Aprojekte%3Asrc_webhooks.jpg&ns=dein_seolizer-account%3Aprojekte&rev=1606503566&tab_details=history&media_do=diff&do=media <img src="https://doc.seolizer.de/_media/dein_seolizer-account:projekte:src_webhooks.jpg?w=500&amp;h=500&amp;tok=ed8559" alt="src_webhooks.jpg" loading="lazy" width="500" height="500" />