Validierung Software-intensiver eingebetteter Systeme

Eingebettete Systeme sind aus unserer täglichen Umgebung nicht mehr wegzudenken: Man findet sie in Haushaltsgeräten und Kraftfahrzeugen ebenso wie in Prozeßkontrollsystemen. Software ist ein wichtiger, ständig wachsender Bestandteil solcher Systeme. Das Versagen eingebetteter Systeme kann zu erheblichen Schäden führen. Deshalb werden i.a. hohe Anforderungen an ihre Verläßlichkeit und somit auch an ihre Validierung gestellt. Der Aufsatz zeigt Unterschiede zu klassischer Software auf, führt in die synchrone objektorientierte Technologie ein und demonstriert, wie dieser zeitgesteuerte Ansatz die Validierung unterstützt. Als Demonstrationsbeispiel dient die Steuerung einer Fußgängerampel.