Formal Mind Blog

News on Open Systems Engineering – usually once a month. Consider subscribing by E-Mail

  • ISO/IEC 29110 (Part 1): Lightweight Standard-based Software and Systems Engineering

    Those familiar in the software and systems engineering domain are typically familiar with ISO/IEC 15288, a standard covering processes and life cycle stages. But it’s huge, and small organizations have a hard time to justify its adaptation, for good reasons. For those not familiar with the standard should check out  What is ISO/IEC 15288 and […]

    Read more >>


  • 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 a booth with our partner Orange Moon Systems.  […]

    Read more >>


  • New Documentation / New Writing / ReConf Special Sale

    Better Documentation A while ago, we migrated the user documentation of Eclipse RMF and formalmind Studio to a new publishing technology (Latex).  This allows us to publish the documentation at  the same time on the Web, as a PDF and as built-in tool documentation (Eclipse Help).  You can access the web and PDF from the […]

    Read more >>


  • Sprechen Sie deutsch? Or: How to make this blog as useful to you as possible

    This is actually the 50th post to the Formal Mind blog. A reason to celebrate, but also a reason to reflect. The goal of this blog is to inform our readers on science in systems engineering.  Are we doing a good job? To find out, we created a short one-page survey on the content of […]

    Read more >>


  • Visualize your requirements (and see the talk at ReConf 2015)

    Requirements require some effort to read and understand. But what if you could bring them to life? This is possible, and you can see this at this year’s ReConf at the science track on Monday, March 16 2015. Visit our booth us at ReConf 2015.  Please contact us to receive a discount code. No matter […]

    Read more >>


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

    [vc_row][vc_column width=”1/4″][vc_single_image image=”416″ img_size=”150×150″ alignment=”center” css_animation=”appear”][/vc_column][vc_column width=”3/4″][vc_column_text] 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. [/vc_column_text][/vc_column][/vc_row][vc_row][vc_column […]

    Read more >>


  • Leitung eines Arbeitspakets von openETCS für die Deutsche Bahn

    [vc_row][vc_column width=”1/4″][vc_single_image image=”416″ img_size=”150×150″ alignment=”center” css_animation=”appear”][/vc_column][vc_column width=”3/4″][vc_column_text] 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 einem Budget […]

    Read more >>


  • Effektiver Einsatz von Open Source für Standardisierung von ReqIF

    [vc_row][vc_column width=”1/4″][vc_single_image image=”416″ img_size=”150×150″ alignment=”center” css_animation=”appear”][/vc_column][vc_column width=”3/4″][vc_column_text] 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 bedeutet nicht […]

    Read more >>


  • ProB Validierung für Siemens SAS

    [vc_row][vc_column width=”1/4″][vc_single_image image=”416″ img_size=”150×150″ alignment=”center” css_animation=”appear”][/vc_column][vc_column width=”3/4″][vc_column_text] 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 darauf verwendet, […]

    Read more >>


  • Effective Use of Open Source for Standardizing ReqIF

    Effective Use of Open Source for Standardizing ReqIF

    By using open source, the neutrality of the results was ensured.

    Read more >>


Sign up!

Subscribe to our Newsletter