Statemate ist ein Werkzeug, welches von I-Logix entwickelt wurde, um die Entwicklung eingebetteter Systeme zu vereinfachen. Dies ist gerade im Hinblick auf die ständig wachsende Systemkomplexität notwendig. Dabei ist es egal, ob man die Anzahl von Komponenten in einem System, die Tiefe der Design-Hierarchie oder die Funktionspunkte als Maßeinheit für die Komplexität eines System nimmt.
Die Spezifikation kann dabei ebenso wie die Modellierung grafisch vorgenommen werden. Zur Vereinfachung der Spezifikation, die normalerweise in textueller Form z.B. über temporallogische Formeln geschieht, dienen sog. "Symbolic Timing Diagrams". Die Modellierung wird anschließend über Activity-Charts, die eine funktionale Dekomposition ermöglichen, und State-Charts, die das Verhalten in Form von Zustandsautomaten festhalten, vorgenommen.
Besondere Features von Statemate sind:
- Simulation
Die in Statemate erstellen Diagramme sind formale Modelle, die direkt nach der Erstellung simuliert werden können. Dadurch bekommt der Anwender die Möglichkeit, sich noch vor der eigentlichen Implementierung bestimmte Teile seines Modells direkt (in Aktion) anzusehen.
- Prototyping
Das erstellte Modell kann direkt in C oder Ada Code für Softwareentwickler und VHDL oder Verilog Code für Hardwareingenieure übersetzt werden. Dadurch wird die direkte Möglichkeit für ein Prototyping gegeben, ohne eine langwierige Implementierung von Hand.
- Automatische Dokumentationsgenerierung
Alle im Modell enthaltenen Informationen können extrahiert und für die Dokumentation verwendet werden.
- Hybride Systeme
Neben diskreten können auch kontinuierliche Modelle entwickelt werden, die z.B. häufig im Automobilbereich benötigt werden.
- Bibliotheken
Hier lassen sich bestimmte Features und Funktionen ablegen und wiederverwenden. Der eigentliche Import kann dabei als „White-“ „Gray-“ oder „Blackbox“ erfolgen, d.h. je nach der Granularität der Anwendung können hier die einzelnen Bibliothekselemente an bestimmte Anforderungen angepasst werden.
Statemate wird bereits in vielen Domänen, wie z.B. im Automobil-, Eisenbahn-, Luftfahrtbereich erfolgreich eingesetzt.
|
Glossar 
Forschungsprojekte 
Anbieterverzeichnis 
Datenbanksuche 
Highlights 
Eintrag kommentieren
