| 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) |
| AEB — Automatic Emergency Braking (36 functions, Full) |
| BMS — HV Battery Management System (53 functions, Full) |
| ETCS_OBU — ETCS Level 2 On-Board Unit (32 functions, Full) |
| RBC — Radio Block Center ETCS L2 (38 functions, Full) |
| FADEC — Dual-Channel Engine Control (51 functions, Full) |
| Autoland — CAT IIIb Automatic Landing (53 functions, Full) |
| StockPrice — Share Price Drop Risk Model (80 functions, Full) |
| ACC — Adaptive Cruise Control (31 functions, Full) |
| LKA — Lane Keeping Assist (18 functions, Full) |
| Documentation |
| Handbook (PDF) (Anmeldung erforderlich) |
| FtaDSL Reference (PDF) (Anmeldung erforderlich) |
| KPI Reference (PDF) (Anmeldung erforderlich) |
| LLM Prompts |
| LLM Prompt: Interview + Generate (Anmeldung erforderlich) |
| LLM Prompt: FtaDSL Validation (Anmeldung erforderlich) |
| LLM Prompt: Result Validation (Anmeldung erforderlich) |
| Qualification |
| Tool Qualification Report (PDF) (Full-Tarif) |