| AutoFocus unterstützt die Entwicklung verteilter, eingebetteter Systeme auf der Grundlage formaler Techniken (SSD, STD, EET) durch den Einsatz integrierter, im wesentlichen graphischer, Beschreibungstechniken, mit deren Hilfe sowohl unterschiedliche Sichten (siehe Struktursicht, Verhaltenssicht und Interaktionssicht) als auch verschiedene Abstraktionsebenen eines Systems beschrieben werden. Um konsistente und vollständige Beschreibungen sicherzustellen, bietet AutoFocus die Möglichkeit, Konsistenzbedingungen zu formulieren und Systembeschreibungen daraufhin zu überprüfen. Aus ausführbaren Spezifikationen können Prototypen des entwickelten Systems erzeugt werden und in einer Simulationsumgebung ausgeführt und visualisiert oder Code generiert werden. Zur formalen Verifikation von Systemeigenschaften verfügt AutoFocus über Anbindungen an Modellprüfungswerkzeuge wie µcke oder SMV. |
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
