SAVONA – DESIGN, SPEZIFIKATION & VERIFIKATION VON EMBEDDED SYSTEMS

ANWENDUNGSBEREICH

SAVONA ist ein leistungsfähiges Werkzeug für Systemdesign, Systemspezifikation und Systemverifikation von Embedded Systems (Hardware & Software). Es kombiniert Methoden der modellbasierten Entwicklung mit Design-by-Contract und erlaubt dadurch die Validierung und Verifikation der Systemarchitektur bereits in frühen Entwicklungsphasen. So kann beispielsweise in agilen Umgebungen der Einfluss von Anforderungsänderungen auf die Systemintegrität schnell analysiert, oder die im sicherheitsrelevanten Umfeld geforderten Safety-Nachweise frühzeitig eingebunden werden. Modelle der Systemarchitektur lassen sich dank der intuitiv-bedienbaren Benutzeroberfläche in SysML grafisch erstellen. Gut lesbare, semi-formale Contracts können so der spezifizierten Systemarchitektur einfach zugeordnet und automatisiert über Modellprüfungen validiert werden.

Jetzt SAVONA kostenfrei testen: Ab sofort ist SAVONA als kostenfreie Pre-Release Version verfügbar (Download SAVONA 1.0.0.) Die Vollversion kommt Ende 2018 auf den Markt.

FUNKTIONEN AUF EINEN BLICK

  • Grafischer Entwurf von Systemarchitekturen (SysML IBD) eingebetteter Systeme (Hardware & Software)
  • Werkzeugunterstützte Spezifikation des Systemverhaltens auf Basis von Constraint-Natural-Language
  • Automatische Validierung und Verifizierung der Systemarchitektur basierend auf Modellen und Spezifikationen
  • Automatische Generierung der Systemdokumentation mit Modell- & Spezifikationsartefakten
  • Schnittstellen, u.a. IBM DOORS, HP ALM

VORTEILE VON SAVONA

  • Frühzeitige Validierung und Verifizierung der Systemarchitektur, um Fehler bereits während der Entwurfsphase zu erkennen und zu beheben
  • Nutzung von Constraint-Natural-Language erlaubt einen einfachen Zugang zur formalen Verifikation und ermöglicht eine höhere Qualität der Systemspezifikationen
  • Automatisiertes Requirements-Tracing an der schrittweise verfeinerten Systemarchitektur
  • Angepasst an die Anforderungen agiler und sicherheitsrelevanter Entwicklungen
  • Universell in der Embedded-Entwicklung einsetzbar (Automobil, Luftfahrt, Industrie … )

SERVICE & INFORMATIONEN

Technischer Support

Download