Req Modeling Slide Requirements Modeling ReqIF | Jama | DOORS | R4J MBSE Slide Model Based Systems Engineering SysML | UML | Formal Modeling AI Slide Natural Language Processing Processing Requirements with AI SE Slide Systems Engineering Methods | Processes | Compliance Result-based Product Development Services We free up your team by performing mundane but important tasks

Kundenstimmen

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.  

Dr. Klaus-Rüdiger Hase

openETCS project management

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.

Prof. Michael Butler

University of Southampton

Driving the Open ReqIF Standard for 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.  

Achim Seibertz

Senior Manager Advanced Methods & Technology

ProB Validation for Siemens SAS

Adapting the ProB model checker, duration wayside data validation was reduced from weeks to minutes

Jérôme Falapin

Siemens SAS

resolut GmbH: 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.  

Stefan Langner

CEO

Sie wollen Ergebnisse, nicht Arbeit!

Nachvollziehbarkeit analysieren, Anforderungen kategorisieren, einen ReqIF-Austausch einrichten – es gibt viele Tätigkeiten, bei denen Sie ein qualitativ hochwertiges Ergebnis benötigen. Im Requirementsengineering und -management gibt es viele langwierige Tätigkeiten, die immer noch einen erfahrenen Ingenieur benötigen.

Wir bieten eine Alternative zur Beauftragung eines teuren Beraters: Lassen Sie uns die Arbeit zu einem Festpreis, einem klar definierten Zeitrahmen und einem garantierten Ergebnis erledigen.

Wie wir arbeiten

  1. Wählen Sie das Ergebnis, das Sie benötigen (z.B. ReqIF-Austausch einsatzbereit)
  2. 30-Minuten-Gespräch, in dem wir den Umfang des ReqIF-Austauschs festlegen
  3. Zeitlich begrenztes Angebot für die Erledigung zum Festpreis
  4. Sie stellen uns den Zugang zu Personen und Systemen zur Verfügung
  5. Wir arbeiten mit den relevanten Stakeholdern zusammen, um einen Austauschprozess zu definieren, zu testen und zu dokumentieren, basierend auf Ihren Anforderungen
  6. Nach dem Start leisten wir 3 Monate Support und Feinabstimmung

Werkzeuge und Dienstleistungen

Formal Mind GmbH

Dienstleistungspakete Anforderungen und MBSE

Zur Entlastung Ihres Teams übernehmen wir in einem festen Zeitrahmen und zu einem festen Preis alltägliche, aber wichtige Aufgaben in der Produktentwicklung. Dazu gehören Traceability-Analyse und -Wartung, SysML-Modellierung auf Basis von textuellen Anforderungen und ähnliche Tätigkeiten.

semiant-80

Semiant: KI-basierte Anforderungs-Automatisierung

Wir setzen Natural Language Processing (NLP) ein, um einfache Aufgaben im Anforderungsmanagement mit unserer KI-Lösung Semiant zu lösen.

reqif.academy-80x80

ReqIF.academy: Dienstleistungen, Schulungen und Werkzeuge für den Austausch von Anforderungen

Eine Bibliothek mit Informationen zum Requirements Interchange Format (ReqIF) und Anforderungsaustausch. Sie enthält Software, Checklisten, Referenzen und fertigen Lösungen.

fm-80x80

Systems Engineering Trends: Wöchentliche Nachrichten zum  Systems Engineering

In diesem Blog gibt es wöchentliche Inhalte zum Systems Engineering: Nachrichten, Interviews, Fachartikel, Werkzeugrezensionen und vieles mehr.

michael-drawn-80x80

Expertise in Anforderungs- und Systemmodellierung

Buchen Sie Dr. Michael Jastram für Schulungen, Workshops oder Keynotes.

Our Proven Process

Erfassen

Wir beginnen damit, den Kontext für die jeweilige Aktivität zu erfassen.

Einrichten

Ein ordentlicher Testaufbau gibt uns Agilität und schnelle Feedbackschleifen.

Ergebnisse produzieren

Basierend auf Ihren Vorgaben folgen wir einem bewährten Prozess, um Ihre Ergebnisse nach Best Practices zu erstellen.

Validieren & Verifizieren

An Checkpoints und am Ende validieren wir das Ergebnis gemeinsam mit Ihnen und verifizieren, dass es wie erwartet mit Produktivdaten funktioniert.

Feinabstimmung & Support

Sobald Sie den Betrieb aufgenommen haben, bieten wir Ihnen drei Monate lang Support und Feinabstimmung.