Subscribe

Blog

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

Best of Eclipse RMF in 2014

As newspapers and TV stations get ready to publish their annual reviews and retrospectives of 2014, they are bound to forget to report the remarkable progress that has been made on the Eclipse Requirements Modeling Framework this year.  But no fear, we shall now remedy this. Below

Read more

Standards

We talked about Standards before. n n From Andrea: Standards sind jedoch besser als ihr Ruf. Insgesamt unterstützt mindestens ein halbes Dutzend IEEE-Standards das RE. Diese sind miteinander kompatibel und ergänzen einander. Betrachten wir als Beispiel den Standard ISO/IEC/IEEE 29148 „Systems and software engineering — Life cycle

Read more

New Stuff: New Committer, New Product, New Importer, New Release

We haven’t written in a while, and, as a consequence, there is plenty of news that we would like to share. Axiom – ReqIF-based requirements exchange Don’t worry: We will still provide plenty of technical insights on requirements and Eclipse in this newsletter.  But we also want

Read more

New Stuff: New Committer, New Product, New Importer, New Release

We haven’t written in a while, and, as a consequence, there is plenty of news that we would like to share. Axiom – ReqIF-based requirements exchange Don’t worry: We will still provide plenty of technical insights on requirements and Eclipse in this newsletter.  But we also want

Read more

formalmind Studio & ProR improvements – and beta program about to start

We just uploaded a new version of formalmind Studio on our servers.  If you are already using formalmind Studio, it should offer by itself to update, or check manually via Help | Check for Updates. So, what’s new? Beta Test of Exchange Component has started We just

Read more

Learn about Requirements and Systems Engineering

With the free formalmind Studio, it is finally possible to do professional requirements engineering, without having to invests thousands in a tool that offers far more than the typical user needs.  While we’re working on improving the documentation, getting started can be a challenge.  But fear not,

Read more