Produkte

Das Visioneer MBRE-Tool ist derzeit als Add-On (Scripts) für Rational Doors, für Word und für Siemens Polarion geplant.

Road-Map der Tool-Versionen und ihrer Capabilities:

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)

Zu Produktlizenzpreisen und Konditionen kontaktieren Sie uns bitte:
info@visioneer.info oder Tel. Tel.: +49 179-324 5588