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)

The 10 Biggest Illusions of Systems Engineering
The 10 Biggest Illusions of Systems Engineering
The Power of a One-Pager (And How You Can Put It to Use)
The Power of a One-Pager (And How You Can Put It to Use)
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
previous arrow
next arrow
Visit Blog

News (German)

Die Halbleiter-Achterbahn — 5 Lektionen für Systems Engineers
Die Halbleiter-Achterbahn — 5 Lektionen für Systems Engineers
Traceability: Die wichtigsten Link-Typen
Traceability: Die wichtigsten Link-Typen
NASA Artemis startet: Was bedeutet das für SpaceX Starship?
NASA Artemis startet: Was bedeutet das für SpaceX Starship?
Digital Twin und Digital Thread: Nicht verwechseln!
Digital Twin und Digital Thread: Nicht verwechseln!
Wird MBSE in diesem Jahrzehnt Mainstream? Drei Expertenmeinungen
Wird MBSE in diesem Jahrzehnt Mainstream? Drei Expertenmeinungen
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

Southampton
Image not available
Read More
Handbook on Formal Methods
“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.”
University of Southampton
Prof. Michael Butler
ProSTEP
Image not available
Read More
Driving the Open ReqIF Standard
“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.”
Senior Manager, Advanced Methods & Technology, ProSTEP ivip
Achim Seibertz
Siemens SAS
Image not available
Read More
ProB Model Validation
“Adapting the ProB model checker, duration wayside data validation was reduced from weeks to minutes.”
Siemens SAS
Jérôme Falapin
Bahn
Image not available
Read More
Project Leadership
“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.”
Deutsche Bahn, openETCS project management
Dr. Klaus-Rüdiger Hase
Resolut
Image not available
Read More
Open Requirements Exchange
“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.”
CEO, resolut GmbH
Stefan Langner
Siemens K.K.
Image not available
Viewing and editing of ReqIF export
“ReqIF Studio is easy to use and powerful! It is much better than them in requirement editing and viewing in Capella and Simulink.”
Siemens K.K. Japan
Tsutomu Inoue
Volvo
Image not available
Business Case and Technical Clarity for ReqIF
“ReqIF.academy has provided great help for us at Volvo Cars with information to better understand ReqIF. Also the software tools is a great help to validate and view ReqIF files.”
Volvo Car Group, Tools Architect
Peter Gergely
previous arrow
next arrow

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