IAR Systems bietet noch mehr Leistung für Design und Verifikation von Embedded Anwendungen basierend auf Zustandsautomaten

IAR visualSTATE 7.1 mit einer Vielzahl an neuen Funktionen für Design und formale Verifikation mit Zustandsautomaten

Uppsala, Schweden - 27. März 2013 - IAR Systems stellt heute eine neue Version seiner Toolsuite für Zustandsautomaten IAR visualSTATE vor. Die Version 7.1 bietet zahlreiche neue Funktionen und Integrationen, die die Entwicklung von komplexen zustands- oder ereignisgetriebenen Embedded Systemen vereinfachen. Mit IAR visualSTATE können Nutzer ihr Design auf einem höheren Level aufbauen, komplexe Anwendungen strukturieren, Schritt für Schritt Funktionen im Detail hinzufügen und vollautomatisch einen Code generieren, der zu 100 Prozent mit dem Design übereinstimmt. Außerdem bietet es eine fortschrittliche formale Verifikation, Analyse und Validierung, durch die sichergestellt werden kann, dass sich die Anwendung wie vorgesehen verhält. Zur Vereinfachung des Designprozesses werden „Submachine States“ und „Design Stereotypen“ eingeführt. Die Submachine States sind wiederverwendbare Zustandsautomaten-Fragmente, ähnlich einer Subroutine oder Funktion in einer Programmiersprache. Häufige Strukturen lassen sich sofort erstellen und innerhalb eines Designs oder designübergreifend wiederverwenden. Die Ereignisse und Aktionen lassen sich nach Bedarf anpassen. Design Stereotypen sind Vorlagen zur Spezifikation des des Erscheinungsbildes von Zuständen. Mit diesen beiden neuen Funktionen lässt sich das Design komplexer Systeme erheblich beschleunigen. Weiterhin sind nun zahlreiche neue Integrationsmöglichkeiten verfügbar. Eine offene StateChartModel-Programmierschnittstelle (API) bietet alles was Nutzer brauchen, um eigene Tools zu bauen, mit denen sie die Modelle in IAR visualSTATE manipulieren können. Das beinhaltet zum Beispiel auch Tools zur Überprüfung der Konformität mit Namenskonventionen und spezielle Code-Generatoren. Außerdem können externe Clients den Zustandsautomaten-Simulator und -Designer über TCP/IP steuern. Dieses Interface liefert eine automatische Integration für Fujitsu CGI Studio, eine Software-Entwicklungsplattform zur Erzeugung von grafischen 2D- und 3D-Benutzeroberflächen. Zusätzlich zur Erzeugung von Zustandsautomaten-Modellen und Embedded Anwendungen erlaubt IAR visualSTATE dem Nutzer, diese per formaler Verifikation zu untersuchen, um sicherzugehen, dass sie keine Design-Inkonsistenzen oder lokale Lücken enthalten. Die formale Verifikation wurde um zahlreiche neue Funktionen erweitert, darunter eine vielschichtige Verifikation. Diese kann die Leistung des Verifikators für gewisse Modelle extrem steigern. Darüber hinaus liefert sie detaillierte Informationen darüber, wo sich Komplexitäten bei der Verifikation verbergen, wodurch der Nutzer Probleme mit der Komplexität des Designs genau bestimmen kann. IAR visualSTATE ist vollständig in die leistungsstarke C/C++-Compiler- und Debugger-Toolsuite IAR Embedded Workbench integriert. Werden beide Tools genutzt, ist ein komplettes Debugging des Zustandsautomaten auf der Hardware verfügbar. IAR Systems bietet Nutzern von IAR visualSTATE außerdem einen freistehenden Viewer: Dieser kann zum Betrachten, aber nicht zum Editieren von Modell-Dateien verwendet werden und darf kopiert und gemeinsam genutzt werden, um ein Design mit Projektbeteiligten außerhalb des Entwicklungsteams zu besprechen. Mehr Informationen zu IAR visualSTATE und kostenfreie Evaluierungslizenzen zum Download unter www.iar.com/vs.

Über IAR Systems IAR Systems ist der weltweit führende Anbieter für Softwaretools zur Entwicklung von Embedded Systems Anwendungen. Die Softwaretools ermöglichen es über 14.000 großen, mittelständischen und kleinen Unternehmen Premium-Produkte basierend auf 8-, 16- und 32-bit Mikrocontrollern zu entwickeln, vor allem in den Branchen industrielle Automation, Medizintechnik, Konsumerelektronik, Telekommunikation und Automotive. IAR Systems verfügt über ein weitreichendes Netzwerk von Partnern und arbeitet mit den weltweit führenden Halbleiterherstellern zusammen. Die IAR Systems Group AP ist an der NASDAQ OMX Stockholm gelistet. Weitere Informationen zu IAR Systems unter www.iar.com. Hinweis: IAR Systems, IAR Embedded Workbench, C-SPY, visualSTATE, The Code to Success, IAR KickStart Kit, I-jet, IAR und das Logo von IAR Systems sind Markenzeichen bzw. eingetragene Markenzeichen von IAR Systems AB. Alle weiteren Produkte sind Markenzeichen ihrer jeweiligen Eigentümer.