Start Kontakt EN | DE

Produkte

Version Planned Release Tool Features
Basic MBRE v1.0 Mai 2022
  • Erstellung von Spezifizierungsartefakten durch Klassen-Instanzen 
  • Basis-Systemkit für Embedded Systems und abgeleitete Library-Klassen 
  • Automatische Databank(Klassen) -Erstellung für
    • Schnittstellenanforderungen
    • HL Requirements und dessen Solutions 
  • Automatische Erstellung/Synchronisation von Tabellen auf Basis von Datenbanken
  • Automatisches Interface-Requirement und Solution/Subsolution-Assignment Routing
  • Automatische Verifizierung
    • der object value Finalisierungen (Vollständigkeit)
    • ob Vererbungsregeln in abgeleiteten Klassen oder in Instanzen verletzt werden
    • ob alle optionale Solutions berücksichtigt werden
    • ob für alle Requirements entsprechende Solutions definiert und Funktionen/Komponenten-Strukturen eindeutig zugeordnet sind
Behavior-Methods v2.0 Juli 2022
  • Integrierte Methode zur kontrollierten Verhaltensanforderungsbeschreibung
  • Einschließlich der Erstellung von funktionalen Unteranforderungen mittels State-Diagramms
  • Automatische Verifizierung, 
    • ob die Requirements und ihre Solutions vollständig definiert sind 
    • ob das dominante Verhalten in jeder Situation eindeutig definiert ist 
    • ob alle pot.  IO-Kombinationen die Evaluierung aller Out-Signale eindeutig definiert sind
  • Automatische Generierung von textuellen Verhaltensanforderungen
MBSE-Diagramm v3.0 Okt 2022
  • Integrierte Methode zur kontrollierten Verhaltensanforderungsbeschreibung
  • Einschließlich der Erstellung von funktionalen Unteranforderungen mittels State-Diagramms
  • Automatische Verifizierung, 
    • ob die Requirements und ihre Solutions vollständig definiert sind 
    • ob das dominante Verhalten in jeder Situation eindeutig definiert ist 
    • ob alle pot.  IO-Kombinationen die Evaluierung aller Out-Signale eindeutig definiert sind
  • Automatische Generierung von textuellen Verhaltensanforderungen
Verification Methods v4.0 Dez 2022
  • Derived-Work-Product Checker
  • Automatische Generierung des HL Requirement Implementation Traceability Document
  • Ressourcen und Constraints checker
  • Weitere MBSE Diagramme (tbd)