Guest post by Dr. Andrea Herrmann, who is Freelance Trainer and Consultant in IT Management. Her 19 years of work experience were an enriching mixture of practice and research: 7 years as consultant and project manager, 10 years in research and university teaching, up to two guest professorships. She wrote more than 100 publications, regularly…
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…
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. …
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…
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…
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…
[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…
[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…
[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…
[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,…
