YAKINDU Statechart Tools

YAKINDU Statechart Tools (YAKINDU SCT) ist ein Werkzeug 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. Anwender kommen sowohl aus der Industrie wie auch aus dem akademischen Bereich. Das Werkzeug wurde mittlerweile umbenannt und heißt nun itemis CREATE.

YAKINDU Statechart Tools
YAKINDU Statechart Tools führt ein Zustandsdiagramm im Simulationsmodus aus.
Basisdaten
Maintainer	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

YAKINDU Statechart Tools setzen das Konzept der Statecharts um, die 1984 von David Harel entwickelt wurden. 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

Die 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

Die 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

Die erste Version der YAKINDU Statechart Tools wurde im Jahre 2008 im Rahmen des Forschungsprojektes MDA for Embedded veröffentlicht. 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

Im 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

Mit der Version 3.0 der Standard-Edition im Juli und der Professionial-Edition 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

• Deutschland – Land der Ideen 2008: Modellbasierte, generative Softwareentwicklung für eingebettete Systeme

Literatur und Quellen

• 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

• Homepage der Projektseite
• Projektstatistiken
• Model Viewer Tool

Einzelnachweise

1. Alexander Neumann: itemis stellt Statechart-Tools unter die Eclipse-Lizenz. (Nicht mehr online verfügbar.) In: heise Developer. 5. März 2009, ehemals im Original; abgerufen am 17. Juni 2016.@1@2Vorlage:Toter Link/www.heise.de (Seite nicht mehr abrufbar. Suche in Webarchiven.)  Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis. 
2. YAKINDU Statechart Tools (YAKINDU SCT). State Machine Tool. itemis AG, abgerufen am 11. Januar 2018 (englisch). 
3. Improved AUTOSAR tool chain with YAKINDU. Case Study: Leopold Kostal GmbH & Co. KG. (Nicht mehr online verfügbar.) itemis AG, ehemals im Original; abgerufen am 15. September 2016 (englisch).@1@2Vorlage:Toter Link/www.itemis.com (Seite nicht mehr abrufbar. Suche in Webarchiven.)  Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis. 
4. Stephane Maag: Final Security Testing Techniques. (PDF; 3,91 MB) DIAMONDS Consortium, 23. Mai 2013, abgerufen am 17. Januar 2017 (englisch). 
5. YAKINDU Statechart Tools Is Now itemis CREATE. itemis AG, abgerufen am 15. März 2023 (englisch). 
6. 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). 
7. Rafael Mota Gregorut: Synthesising formal properties from statechart test cases. (PDF; 1,35 MB) Final monograph for the course MAC0499 – Final Graduation Project. (Nicht mehr online verfügbar.) University of São Paulo, Dezember 2015, ehemals im Original; abgerufen am 17. Januar 2017 (englisch).@1@2Vorlage:Toter Link/linux.ime.usp.br (Seite nicht mehr abrufbar. Suche in Webarchiven.)  Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis. 
8. Marina Machado: MODUS – Generation of Interfaces based on Models. (PDF; 5,55 MB) Master dissertation. (Nicht mehr online verfügbar.) Universidade do Minho, 24. Oktober 2015, ehemals im Original; abgerufen am 17. Januar 2017 (englisch).@1@2Vorlage:Toter Link/mei.di.uminho.pt (Seite nicht mehr abrufbar. Suche in Webarchiven.)  Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis. 
9. Rogerio Atem de Carvalho, Hudson Silva, Rafael Ferreira Toledo, Milena Silveira de Azevedo: TDD for Embedded Systems: A Basic Approach and Toolset. (PDF; 417 kB) Instituto Federal Fluminense (IFF), 3. August 2015, abgerufen am 17. Januar 2017 (englisch). 
10. João Henrique Correia Pimentel: Systematic design of adaptive systems – control-based framework. (PDF; 10,3 MB) Ph.D. Thesis. (Nicht mehr online verfügbar.) Universidade Federal de Pernambuco, 27. Februar 2015, ehemals im Original; abgerufen am 17. Januar 2017 (portugiesisch).@1@2Vorlage:Toter Link/repositorio.ufpe.br (Seite nicht mehr abrufbar. Suche in Webarchiven.)  Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis. 
11. Joel Greenyer: Formal Methods in Software Engineering. (PDF; 667 kB) Vorlesung. (Nicht mehr online verfügbar.) Leibniz-Universität Hannover, 28. Oktober 2014, ehemals im Original; abgerufen am 17. Januar 2017 (englisch).@1@2Vorlage:Toter Link/www.se.uni-hannover.de (Seite nicht mehr abrufbar. Suche in Webarchiven.)  Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis. 
12. Christian Motika: SCCharts-Editor based on Yakindu. Christian-Albrechts-Universität zu Kiel, 27. Juni 2014, abgerufen am 14. September 2016 (englisch). 
13. Jabier Martinez, Tewfik Ziadi, Jacques Klein, Yves le Traon: Identifying and Visualising Commonality and Variability in Model Variants. (PDF; 878 kB) University of Luxembourg, 13. Mai 2014, abgerufen am 17. Januar 2017 (englisch). 
14. Josip Bozic, Dimitris E. Simos, Franz Wotawa: Attack Pattern-Based Combinatorial Testing. (PDF; 249 kB) (Nicht mehr online verfügbar.) Graz University of Technology, SBA Research, 10. März 2014, ehemals im Original; abgerufen am 17. Januar 2017 (englisch).@1@2Vorlage:Toter Link/www.sba-research.org (Seite nicht mehr abrufbar. Suche in Webarchiven.)  Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis. 
15. Mohamad Sbeiti: Simulation-based Performance Evaluation of PASER. (Nicht mehr online verfügbar.) Technische Universität Dortmund, archiviert vom Original am 17. Dezember 2012; abgerufen am 5. Juli 2012 (englisch). 
16. A. Topalidou-Kyniazopoulou, N. I. Spanoudakis2, M. G. Lagoudakis: A CASE Tool for Robot Behavior Development. (PDF; 762 kB) Technical University of Crete, 4. März 2012, abgerufen am 14. September 2016 (englisch). 
17. Erik Kamsties, Burkhard Igel: Vorlesung "Einführung in die modellbasierte Softwareentwicklung". (Nicht mehr online verfügbar.) Fachhochschule Dortmund, 16. März 2011, ehemals im Original; abgerufen am 14. September 2016.@1@2Vorlage:Toter Link/www.fh-dortmund.de (Seite nicht mehr abrufbar. Suche in Webarchiven.)  Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis. 
18. Claudia Picoco, Valentin Rychkov, Tunc Aldemir: A framework for verifying Dynamic Probabilistic Risk Assessment models. In: Reliability Engineering and System Safety. November 2020, abgerufen am 10. Juli 2020 (englisch). 
19. YAKINDU Statechart Tools Is Now itemis CREATE. itemis AG, abgerufen am 15. März 2023 (englisch). 
20. 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). 
21. Tutorial: Statechart Editor mit GMF erstellen. (Nicht mehr online verfügbar.) In: Forschungsprojekt MDA for Embedded. itemis AG, Ingenieurbüro Dr. Kahlert, Nachrichtentechnik FH Dortmund, 16. Juli 2008, ehemals im Original; abgerufen am 21. Juni 2012.@1@2Vorlage:Toter Link/www.mda4e.org (Seite nicht mehr abrufbar. Suche in Webarchiven.)  Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis. 
22. Axel Terfloth: Introducing YAKINDU Statechart Tools 3.0 Standard Edition. itemis AG, 18. Juli 2017, abgerufen am 12. Januar 2018 (englisch). 
23. Andreas Mülder: YAKINDU Statechart Tools 3.0 Professional Edition – New and Noteworthy. itemis AG, 7. August 2017, abgerufen am 12. Januar 2018 (englisch). 
24. 365 Orte: Lünen 2008. (Nicht mehr online verfügbar.) In: Deutschland – Land der Ideen. Deutschland – Land der Ideen Management GmbH, 5. März 2009, ehemals im Original; abgerufen am 17. Juni 2016.@1@2Vorlage:Toter Link/www.land-der-ideen.de (Seite nicht mehr abrufbar. Suche in Webarchiven.)  Info: Der Link wurde automatisch als defekt markiert. Bitte prüfe den Link gemäß Anleitung und entferne dann diesen Hinweis.