Abonnieren

Systemtechnik

Wir sind Spezialisten im Bereich Systemtechnik für sicherheitskritische Systeme.  Beispiele solcher Systeme sind Zugleitsysteme, eingebettete Steuergeräte für Autos oder Flugleitsysteme.

Wir machen die Systementwicklung effizienter und zuverlässiger

In bestimmten Bereichen des Systementwicklungsprozesses können wir die Effizienz und Zuverlässigkeit erhöhen: Indem wir unsere Werkzeuge an Ihre Bedürfnisse anpassen, sparen Sie Zeit und können bestimmte Probleme vollständig vermeiden.  Wie das konkret aussehen kann, lässt sich am Besten an ein paar Beispielen veranschaulichen:

Fallstudie: Mit ProB den Aufwand zur Validierung von drei Personen-Wochen auf fünf Minuten reduzieren

Unser Kunde setzte bereits formale Methoden bei der Entwicklung einer Gleissteueranlage für Zugsysteme ein.  Allerdings mussten bei jeder Änderung an der Gleistopologie bestimmte Eigenschaften erneut nachgewiesen werden, um die Sicherheit des Systems zu garantieren.  Diese Validierung beanspruchte jedes Mal ca. drei Personen-Wochen, um von Hand bestimmte mathematischen Beweise zu führen, was langsam und fehleranfällig war.  Mit ProB konnte die Validierung in weniger als fünf Minuten durchgeführt werden.

mehr

Fallstudie: Mit ProR die Nachverfolgbarkeit zwischen Anforderungen, Code und Tests verwalten

Ein Partner entwickelte ein Werkzeug, um Verknüpfungen zwischen Code, Unit Tests und Anforderungen herzustellen.  Die Wahl fiel auf ProR, um mit natürlichsprachigen Anforderungen zu arbeiten.  Mit wenig Aufwand konnten sie ihr Tracking-Werkzeug mit Hilfe des gut dokumentierten Erweiterungsmechanismus in ProR integrieren.