Abonnieren

Blog

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

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

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

Read more

Effective Use of Open Source for Standardizing ReqIF

Effective Use of Open Source for Standardizing ReqIF
Situation The standardization of the Requirements Interchange Format (ReqIF) by OMG in 2011 was a significant step towards interoperability of requirements between software tools. All important tool vendors added support of ReqIF to their tools, which clearly showed that the standard was accepted. But supporting a standardRead more

Work Package Leadership for openETCS on Behalf of Deutsche Bahn

Work Package Leadership for openETCS on Behalf of Deutsche Bahn
Situation Deutsche Bahn (DB) is the project leader of the itea2 project openETCS, which has the objective to develop an integrated modeling, development, validation and testing framework for leveraging the cost-efficient and reliable implementation of the European Train Control System (ETCS). This three year, 212 person-year projectRead more

What to do if Office-based Requirements Management is Outgrown? ProR Essentials at resolut

What to do if Office-based Requirements Management is Outgrown? ProR Essentials at resolut
Situation resolut is a medium sized company that develops solutions for complex mechatronic systems and safety-critical applications. For many years, MS Office was sufficient for requirements management. However, this solution had eventually reached its limits, not least because of rising expectations from customers and increasing complexity ofRead more

Production of the Rodin Handbook

Production of the Rodin Handbook
Situation Deploy was a four-year European FP7 program with the goal of making major advances in engineering methods for dependable systems through the deployment of formal engineering methods.  Advancing and improving the professional development environment built on the Eclipse-based Rodin environment and enabling industrial users to useRead more

ProB Validation for Siemens SAS

ProB Validation for Siemens SAS
Situation During the course of the European FP7 project Deploy, Siemens deployed the ProB software to check if it was feasible to use ProB to automatically check B models. These models were already used in a production environment and related to the track topology and signal data. Read 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
Seite 3 von 912345...Letzte »