Abonnieren

Blog

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

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

The Standards Jungle of Systems Engineering

ISO 26262 The Standards Jungle of Systems Engineering  

Read more

Rodin Handbook Now Available in Print

A while ago, we supported the EU project Deploy and produced a handbook for the Rodin platform, a tool for creating formal specifications using the Event-B method.  This book was a great success, but only available electronically (for free, licensed under a Creative Commons license). Due to

Read more
Seite 4 von 9« Erste...23456...Letzte »