ReConf 2015: A Retrospective

Last week, ReConf 2015 took place in Munich – this conference is the biggest on requirements an Europe, and the place where the Who is Who of RE meets.  First impressions have already been posted. Formal Mind was present in two capacities.  First, we an exhibitor, sharing

Read more

Was tun, wenn Office für Anforderungsmanagement aus den nähten platzt? ProR Essentials bei resolut

Was tun, wenn Office für Anforderungsmanagement aus den nähten platzt? ProR Essentials bei resolut
Ausgangssituation resolut ist ein mittelständisches Unternehmen, das Lösungen für komplexe Mechatroniksysteme und sicherheitskritische Anwendungen entwickelt.  Viele Jahre haben Office-Lösungen gute Dienste geleistet, um die Anforderungen zu verwalten.  Nicht zuletzt durch die steigenden Erwartungen der Kunden und die steigende Komplexität der Systeme, erreichte die Office-basierte Lösung ihre Grenzen.Read more

Leitung eines Arbeitspakets von openETCS für die Deutsche Bahn

Leitung eines Arbeitspakets von openETCS für die Deutsche Bahn
Ausgangssituation Die Deutsche Bahn (DB) leitet das itea2-Projekt openETCS, welches zum Ziel hat, eine integrierte Entwicklungsumgebung für Modellierung, Entwicklung, Validieren und Testen zu entwickeln.  Damit soll eine kostengünstige und zuverlässige Implementierung des European Train Control System (ETCS) realisiert werden.  Dieses Projekt läuft über drei Jahre mit einemRead more

Effektiver Einsatz von Open Source für Standardisierung von ReqIF

Effektiver Einsatz von Open Source für Standardisierung von ReqIF
Ausgangssituation Die Standardisierung des Requirements Interchange Format (ReqIF) durch die OMG in 2011 war ein großer Schritt für die Interoperabilität von Anforderungen zwischen Werkzeugen. Die Akzeptanz des Standards wurde auch dadurch verdeutlicht, dass alle wichtigen Werkzeughersteller die Unterstützung des Standards umsetzten. Doch den Standard zu unterstützen bedeutetRead more

ProB Validierung für Siemens SAS

ProB Validierung für Siemens SAS
Situation Im Rahmen des europäischen FP7 Projekts Deploy hat Siemens die Software ProB eingesetzt um herauszufinden, ob sie in der Lage ist, automatisch bestehende B-Modelle zu überprüfen. Diese Modelle, die Gleisstrukturen und Signaldaten beschreiben, wurden bereits produktiv eingesetzt. Bei Siemens wurden zum damaligen Zeitpunkt mehrere Wochen daraufRead more

Erstellung Rodin Handbook

Erstellung Rodin Handbook
Ausgangssituation Deploy war ein europäisches FP7 Projekt mit dem Ziel, Techniken und Methoden für die Entwicklung sicherheitskritischer Systeme mittels formaler Methoden voranzutreiben und weiterzuentwickeln. Ein zentrales Ziel war es, die sogenannte Rodin Platform weiterzuentwickeln und für Anwender aus der Industrie zugänglich zu machen. Aufgabe Rodin war zuRead more