Twitter Linked In Xing Induux
Aktuell
zurück

CC Embedded Engineering

CC Embedded Engineering

Das ICS-Competence Center Embedded Engineering ist auf Design, Implementierung und Testing von technischer Software für sicherheitskritische Steuerungen spezialisiert. Hierzu gehören unter anderem die moderne Leit- und Sicherungstechnik im Bahnverkehr sowie Steuergeräte für die Luftfahrt. Um die funktionale Sicherheit in diesen  IT-Umgebungen zu gewährleisten ist bei allen Anwendungen ein systematischer Design- und Prüfprozess notwendig. Ziel dabei ist es, alle Anforderungen an das Softwareverhalten vollständig und korrekt umzusetzen und dies auch nachzuweisen. Unsere Arbeitsschwerpunkte umfassen (semi-)formale Designmethoden, modellbasierte Entwicklung, sowie die Qualitätssicherung durch statische Verifikationsmethoden und dynamische, exekutive Testverfahren. Dabei steht stets die Konformität der Prozesse und Methoden zu den einschlägigen Normen der funktionalen Sicherheit (IEC 61508, EN 50128, DO-178) im Vordergund.