Statemate

Statemate ist eine Softwareentwicklungsumgebung die für den Entwurf komplexer, reaktiver Systeme entwickelt wurde. Das grafische Modellierungswerkzeug wird zur Entwicklung eingebetteter Systeme herangezogen um deren Entwicklung zu vereinfachen.

Statemate wurde von dem Unternehmen I-Logix entworfen und ist in der Automobil- und Luftfahrtindustrie verbreitet. Das zentrale Modell von Statmate sind Zustandsautomaten und basiert auf einer Umsetzung des Informatikers David Harel, Mitbegründer der Firma I-Logix.

  1. ↑ Formale Analyse und Verifikation von Statemate – Entwürfen oldenbourg-link.com – abgerufen am 26. März 2013.
  2. ↑ Statemate – A Working Environment for the Development of Complex Reactive Systems bears.ece.ucsb.edu – abgerufen am 26. März 2013.
  3. ↑ Statemate – Beschreibung des Werkzeuges software-kompetenz.de – abgerufen am 26. März 2013.
Dieser Artikel wurde von Wikipedia herausgegeben. Der Text ist unter Creative Commons Attribution-Share Alike 4.0 verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.