en_GB EN
en_GB EN de_DE DE

Result-Based Product Development Services

We free up your team by performing mundane but important tasks

Systems Engineering
Systems Engineering
Methods | Processes | Compliance
MBSE
Model Based Systems Engineering
SysML | UML | Formal Modeling
NLP
Natural Language Processing
Processing Requirements with AI

News (English)

6 Trends in Embedded Systems Development That Will Affect Systems Engineering
6 Trends in Embedded Systems Development That Will Affect Systems Engineering
Dealing with Change in Systems Engineering
Dealing with Change in Systems Engineering
ReqIF in 2022: Silently Growing
ReqIF in 2022: Silently Growing
How Changan is transforming their product development with MBSE
How Changan is transforming their product development with MBSE
IoT Security: A Tsunami is coming
IoT Security: A Tsunami is coming
previous arrow
next arrow
Visit Blog

News (German)

PTC kauft Intland (Codebeamer)
PTC kauft Intland (Codebeamer)
Safety Integrity Level (SIL): Essentiell für die funktionale Sicherheit
Safety Integrity Level (SIL): Essentiell für die funktionale Sicherheit
8 Möglichkeiten, wie KI die Entwicklung von Produktlinien verändern wird
8 Möglichkeiten, wie KI die Entwicklung von Produktlinien verändern wird
Physikalische Modelle im Systems Engineering
Physikalische Modelle im Systems Engineering
5 Reviews, die ein Systems Engineer kennen muss
5 Reviews, die ein Systems Engineer kennen muss
previous arrow
next arrow
Visit SE-Trends

Subscribe

1-2 emails per month. Unsubscribe anytime.

You want results, not work!

Analyzing traceability, categorizing requirements, setting up a ReqIF exchange – there are many activities where you care about a quality result. In requirements engineering and management, there are many tedious activities that still need a skilled engineer.

We offer an alternative to hiring an expensive consultant: Let us do the work at a fixed price, a clearly defined time frame and guaranteed outcome.

Schedule Call

How we work

  1. Pick the outcome you need (e.g. ReqIF exchange up and running)
  2. 30-Minute conversation where we identify the scope of the ReqIF exchange
  3. Fixed price, time-boxed offer for getting it done
  4. You provide us with access to people and systems
  5. We work with the relevant stakeholders to define, test and document an exchange process, based on your requirements
  6. After launch, we provide 3 months support and fine-tuning

Tools and Services

Requirements and MBSE Service Packages

We perform mundane but important tasks in product development in a fixed time frame for a fixed price to relieve your team. This includes traceability analysis and maintenance, SysML-modeling based on textual requirements and similar activities.

Schedule Free Consultation

Semiant: AI-based Quality Assistant for Product Development

Semiant accelerates functional safety analysis with compliance and traceability automation

Learn more

ReqIF.academy: Requirements Exchange Services, Training and Tools

A knowledge library for the Requirements Interchange Format (ReqIF) and requirements exchange. It contains content like software, checklists and references, as well as ready-to-go solutions.

Visit ReqIF.academy

Systems and Requirements Modeling Expertise

Hire Dr. Michael Jastram for Trainings, Workshops or Keynotes.

Schedule Free Consultation

Testimonials

Open Requirements Exchange

Open Requirements Exchange

Stefan Langner, CEO, resolut GmbH

ProR convinced us of the feasibility of open source in a commercial setting. The tool covers all important aspects of requirements management and provides dependability through open standards. Read more >>
ProB Validation

ProB Validation

Jérôme Falapin, Siemens SAS

Adapting the ProB model checker, duration wayside data validation was reduced from weeks to minutes Read more >>
Driving the Open ReqIF Standard

Driving the Open ReqIF Standard

Achim Seibertz, Senior Manager, Advanced Methods & Technology, ProSTEP ivip

By using open source, the neutrality of the results was ensured. With this, Formal Mind contributed significantly to the spread and acceptance of the ReqIF standard. Read more >> 
Handbook on Formal Methods

Handbook on Formal Methods

Prof. Michael Butler, University of Southampton

Michael Jastram and the team at Düsseldorf have done an excelent job in putting together, extending and improving various sources of documentation on the Rodin tool. Read more >>
Project Leadership

Project Leadership

Dr. Klaus-Rüdiger Hase, openETCS project management

Formal Mind, with knowledge and experience of Eclipse-based projects, as well as excellent management and leadership by Michael Jastram, have brought the “openETCS software tools development” outstanding success. Read more >>

Our Proven Process

Capture

We start by capturing the context for the activity at hand.

Setup

A proper test setup gives us agility and quick feedback loops.

Producing the Deliverable

Based on your input, we follow a proven process to produce your deliverable following best practices.

Validation & Verification

At checkpoints and at the end, we validate the deliverable together with you and verify that it works as expected with life data.

Fine Tuning & Support

Once you are up and running, we provide you with three months of support and fine-tuning.

Schedule Free Consultation