| Getting Started | |
| Quick Start (PDF) | |
| Example Files | |
| SensorVoting — Triple Modular Redundancy (4 functions, Lite) | |
| WMCU — Wiper Motor Control Unit (6 functions, Lite) | |
| DWR — Pressurized Water Reactor (16 functions, Full) | |
| CardioSys — Cardiovascular System (65 functions, Full) | |
| SmartGrid — Regional Power Grid (89 functions, Full) | |
| Documentation | |
| Handbook (PDF) (Anmeldung erforderlich) | |
| ArchDSL Reference (PDF) (Anmeldung erforderlich) | |
| KPI Reference (PDF) (Anmeldung erforderlich) | |
| LLM Prompts | |
| LLM Prompt: Interview + Generate (Anmeldung erforderlich) | |
| LLM Prompt: ArchDSL Validation (Anmeldung erforderlich) | |
| LLM Prompt: Result Validation (Anmeldung erforderlich) | |
| Qualification | |
| Tool Qualification Report (PDF) (Full-Tarif) | |