Yakindu Statechart Tools
Yakindu Statechart Tools (Yakindu SCT) ist ein Werkzeug[1] zur Spezifikation und Entwicklung reaktiver, ereignisgesteuerter Systeme mit Hilfe von Zustandsautomaten. Es besteht aus einem leicht zu bedienenden Werkzeug zum graphischen Editieren von Zustandsdiagrammen (Statecharts) und bietet Validierung und Simulation sowie Quellcode-Generatoren für verschiedene Zielplattformen und Programmiersprachen. Yakindu Statechart Tools sind als Standard- und als Professional-Edition verfügbar, mit kostenfreien Lizenzen für den Einsatz im nichtkommerziellen Bereich oder in der Ausbildung.[2] Anwender kommen sowohl aus der Industrie[3][4] wie auch aus dem akademischen Bereich. Das Werkzeug wurde mittlerweile umbenannt und heißt nun Itemis Create.[5][6]
| YAKINDU Statechart Tools
| |
|---|---|
| |
 Yakindu Statechart Tools führt ein Zustandsdiagramm im Simulationsmodus aus. | |
| Basisdaten
| |
| Hauptentwickler | Yakindu-Team der Itemis AG |
| Entwickler | itemis AG |
| Erscheinungsjahr | 2008 |
| Aktuelle Version | 3.5.5 (2019-06-18) |
| Betriebssystem | Plattformübergreifend (Eclipse), Binaries für Microsoft Windows, Linux und MacOS verfügbar |
| Programmiersprache | Java |
| Kategorie | Entwicklungswerkzeug |
| Lizenz | Proprietär, Teile Eclipse Public License |
| deutschsprachig | nein |
| https://www.itemis.com/en/yakindu/statechart-tools/ | |
Konzepte
BearbeitenYakindu Statechart Tools setzen das Konzept der Statecharts um, die 1984 von David Harel entwickelt wurden.[7] Statecharts wurden später in die UML (Unified Modeling Language) übernommen. Mit der Software können Endliche Automaten (finite-state machines) modelliert werden. Die wesentlichen theoretischen Modelle für Endliche Automaten sind Mealy-Automaten und Moore-Automaten. Yakindu Statechart Tools ermöglichen die Modellierung beider Typen von Automaten.
Funktionalität
BearbeitenDie Hauptmerkmale der Yakindu Statechart Tools sind:
- intelligente Kombination von textueller und grafischer Modellierung
- syntaktische und semantische Prüfungen des modellierten Zustandsautomaten
- ausführbare Zustandsautomatenmodelle durch die Simulationsengine
- Quellcode-Generatoren für Java, C und C++ (sowie Betaversionen von Quellcode-Generatoren für Python, Swift und TypeScript), die die Integration des generierten Zustandsautomaten in die eigene Anwendung ermöglichen
- Test-Framework SCTUnit
- Abdeckungsanalyse (SCov)
Erweiterbarkeit
BearbeitenDie Yakindu Statechart Tools bieten offene APIs, die weitgehende Anpassungen an spezifische Anforderungen ermöglichen. So sind die Codegeneratoren erweiterbar. Es ist jedoch auch möglich, eigene Statechart-Dialekte zu spezifizieren. Dazu wird das Konzept domänenspezifischer Statecharts definiert. Dies ermöglicht es, Statecharts als wiederverwendbare Sprachbausteine zu nutzen.
Geschichte
BearbeitenDie erste Version der Yakindu Statechart Tools wurde im Jahre 2008 im Rahmen des Forschungsprojektes MDA for Embedded veröffentlicht.[8] In diesem Forschungsprojekts wurden modellbasierte Entwicklungsverfahren für die Entwicklung eingebetteter Systeme auf Basis des Eclipse-Projekts erarbeitet. Seit Mitte 2010 arbeitete das Yakindu-Team, das hauptsächlich aus Mitarbeitern der Firma itemis AG bestand, an der Version 2. Das erste offizielle Release dieser Version erfolgte zusammen mit der Eclipse-Version 4.2 (Juno).
- Version 2.9 ist kompatibel zu den Eclipse-Versionen 4.5 (Mars) und 4.6 (Neon). Ab dieser Version ist es möglich, Codegeneratoren auf der Kommandozeile auszuführen und damit auch in einem Continuous-Integration-System einzusetzen.
Professional Edition
BearbeitenIm Dezember 2016 veröffentlichte die itemis AG eine kostenpflichtige »Professional Edition« der Software mit zusätzlichen Funktionalitäten:
- Nahtlose Integration der Programmiersprache C
- Erweiterte Möglichkeiten zur Simulation von Statecharts (Breakpoints, Snapshots)
Wechsel des Lizenzmodells
BearbeitenMit der Version 3.0 der Standard-Edition[9] im Juli und der Professionial-Edition[10] im August 2017 stellte itemis das Lizenzmodell von einer Open-Source- auf eine proprietäre Lizenz um. Nichtkommerzielle Anwender können die Standard-Edition weiterhin kostenlos nutzen. Für Anwender im Ausbildungsbereich stehen auch für die Professional-Edition kostenfreie Lizenzen zur Verfügung.
Die letzte quelloffene Version 2.9.3 von Yakindu Statechart Tools ist nach wie vor im YSCT-GitHub-Repository erhältlich.
Auszeichnung
Bearbeiten- Deutschland – Land der Ideen 2008: Modellbasierte, generative Softwareentwicklung für eingebettete Systeme[11]
Literatur und Quellen
Bearbeiten- Andreas Mülder, Alexander Nyßen: TMF meets GMF. (PDF; 1,5 MB) In: Eclipse Magazin, Nr. 3. Software & Support Media GmbH, 2011, S. 74–78, abgerufen am 20. Juni 2016 (Frankfurt am Main, ISSN 1861-2296).
- Andreas Mülder, Andreas Unger: Yakindu ist auch eine Stadt. In: Software & Support Media GmbH (Hrsg.): Eclipse Magazin. Nr. 3, 2012, ISSN 1861-2296.
- Alexander Nyßen: TMF meets GMF – Combining Graphical & Textual Modeling. (PDF) Vortrag auf der EclipseCon Europe 2011. EclipseCon Europe 2011, 2011, abgerufen am 17. Juni 2016 (englisch).
- Alexander Nyßen, Axel Terfloth: YAKINDU SCT – Domain-Specific Statecharts. Vortrag auf der EclipseCon 2012. EclipseCon Europe 2012, 2012, abgerufen am 15. September 2012 (englisch).
- Axel Terfloth: Modellgetriebene Entwicklung mit der Yakindu Workbench. (PDF) Vortrag auf dem BAIKEM Netzwerktreffen Embedded Systems. Bayern Innovativ, 12. Juli 2011, abgerufen am 15. September 2016.
Weblinks
BearbeitenEinzelnachweise
Bearbeiten- ↑ Alexander Neumann: itemis stellt Statechart-Tools unter die Eclipse-Lizenz. In: heise.de. Heise Medien GmbH & Co. KG, 5. März 2009, abgerufen am 29. November 2024.
- ↑ YAKINDU Statechart Tools (YAKINDU SCT). State Machine Tool. itemis AG, abgerufen am 11. Januar 2018 (englisch).
- ↑ Improved AUTOSAR tool chain with YAKINDU. Case Study: Leopold Kostal GmbH & Co. KG. itemis AG, archiviert vom (nicht mehr online verfügbar) am 16. September 2016; abgerufen am 15. September 2016 (englisch). Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.
- ↑ Stephane Maag: Final Security Testing Techniques. (PDF; 3,91 MB) DIAMONDS Consortium, 23. Mai 2013, abgerufen am 17. Januar 2017 (englisch).
- ↑ YAKINDU Statechart Tools Is Now itemis CREATE. itemis AG, abgerufen am 15. März 2023 (englisch).
- ↑ Maryam Rahmaniheris, Yu Jiang, Lui Sha: Model-Driven Design of Clinical Guidance Systems. (PDF; 1,19 MB) University of Illinois, 21. Oktober 2016, abgerufen am 17. Januar 2017 (englisch).
- ↑ David Harel: Statecharts: A Visual Formalism For Complex Systems. (PDF) In: Science of Computer Programming, Volume 8. North Holland, 1984, S. 231–274, abgerufen am 17. Juni 2016 (englisch).
- ↑ Tutorial: Statechart Editor mit GMF erstellen. In: Forschungsprojekt MDA for Embedded. itemis AG, Ingenieurbüro Dr. Kahlert, Nachrichtentechnik FH Dortmund, 16. Juli 2008, archiviert vom (nicht mehr online verfügbar) am 9. Oktober 2011; abgerufen am 21. Juni 2012. Info: Der Archivlink wurde automatisch eingesetzt und noch nicht geprüft. Bitte prüfe Original- und Archivlink gemäß Anleitung und entferne dann diesen Hinweis.
- ↑ Axel Terfloth: Introducing YAKINDU Statechart Tools 3.0 Standard Edition. Itemis AG, 18. Juli 2017, abgerufen am 12. Januar 2018 (englisch).
- ↑ Andreas Mülder: YAKINDU Statechart Tools 3.0 Professional Edition – New and Noteworthy. Itemis AG, 7. August 2017, abgerufen am 12. Januar 2018 (englisch).
- ↑ 365 Orte: Lünen 2008. In: Deutschland – Land der Ideen. Deutschland – Land der Ideen Management GmbH, abgerufen am 29. November 2024.
