YAKINDU Statechart Tools
YAKINDU Statechart Tools
|
|
---|---|
YAKINDU Statechart Tools executes a state diagram in simulation mode. |
|
Basic data
|
|
Maintainer | YAKINDU team at itemis AG |
developer | itemis AG |
Publishing year | 2008 |
Current version | 3.5.5 (2019-06-18) |
operating system | Cross-platform (Eclipse), binaries for Microsoft Windows , Linux and MacOS available |
programming language | Java |
category | Development tool |
License | Proprietary, parts of Eclipse Public License |
German speaking | No |
https://www.itemis.com/en/yakindu/statechart-tools/ |
YAKINDU Statechart Tools (YAKINDU SCT) is a tool for the specification and development of reactive , event-driven systems with the help of state machines . It consists of an easy-to-use tool for the graphic editing of state diagrams (Statecharts) and offers validation and simulation as well as source code generators for various target platforms and programming languages. YAKINDU Statechart Tools are available as standard and professional editions, with free licenses for use in the non-commercial sector or in training. Users come from both industry and academia.
Concepts
YAKINDU Statechart Tools implement the concept of Statecharts developed by David Harel in 1984. Statecharts were later incorporated into the UML .
The software can be Finite Automata (finite state machines) model. The main theoretical models for finite automata are Mealy automata and Moore automata . Both types can be modeled with YAKINDU Statechart Tools.
Functionality
The main features of the YAKINDU Statechart Tools are:
- intelligent combination of textual and graphic modeling
- syntactic and semantic tests of the modeled state machine
- executable state machine models through the simulation engine
- Source code generators for Java , C and C ++ (as well as beta versions of source code generators for Python, Swift and TypeScript), which enable the integration of the generated state machine into your own application
- Test framework SCTUnit
- Coverage Analysis (SCov)
Expandability
The YAKINDU Statechart Tools offer open APIs that allow extensive adjustments to specific requirements. The code generators can thus be expanded. However, it is also possible to specify your own Statechart dialects. For this purpose, the concept of domain-specific Statecharts is defined. This enables Statecharts to be used as reusable language modules.
history
The first version of the YAKINDU Statechart Tools was published in 2008 as part of the MDA for Embedded research project . In this research project, model-based development processes for the development of embedded systems based on the Eclipse project were developed. The YAKINDU team, which mainly consisted of employees from itemis AG , had been working on version 2 since mid-2010 . The first official release of this version took place together with Eclipse version 4.2 (Juno).
- Version 2.9 is compatible with Eclipse versions 4.5 (Mars) and 4.6 (Neon). From this version it is possible to run code generators on the command line and thus also to use them in a continuous integration system .
Professional Edition
In December 2016 itemis AG published a fee-based "Professional Edition" of the software with additional functionalities:
- Seamless integration of the C programming language
- Extended options for simulating Statecharts (breakpoints, snapshots)
Change of license model
With version 3.0 of the Standard Edition in July and the Professionial Edition in August 2017, itemis switched the license model from an open source to a proprietary license. Non-commercial users can continue to use the Standard Edition free of charge. For users in the training sector, free licenses are also available for the Professional Edition.
The last open source version 2.9.3 of YAKINDU Statechart Tools is still available in the YSCT GitHub repository.
Award
- Germany - Land of Ideas 2008 : Model-based, generative software development for embedded systems
Literature and Sources
- Andreas Mülder, Alexander Nyßen: TMF meets GMF. (PDF, 1.5 MB) In: Eclipse Magazin, No. 3. Software & Support Media GmbH, 2011, pp. 74–78 , archived from the original on June 20, 2016 ; Retrieved June 20, 2016 (Frankfurt am Main, ISSN 1861-2296 ).
- Andreas Mülder, Andreas Unger: Yakindu is also a city . In: Software & Support Media GmbH (Ed.): Eclipse Magazin . No. 3 , 2012, ISSN 1861-2296 .
- Alexander Nyßen: TMF meets GMF - Combining Graphical & Textual Modeling. (PDF) Presentation at EclipseCon Europe 2011. EclipseCon Europe 2011, 2011, archived from the original on June 17, 2016 ; accessed on June 17, 2016 (English).
- Alexander Nyßen, Axel Terfloth: YAKINDU SCT - Domain-Specific Statecharts. Lecture at EclipseCon 2012. EclipseCon Europe 2012, 2012, archived from the original on September 15, 2012 ; accessed on September 15, 2012 (English).
- Axel Terfloth: Model-driven development with the Yakindu Workbench. (PDF) Lecture at the BAIKEM network meeting Embedded Systems. Bayern Innovativ, July 12, 2011, archived from the original on September 15, 2016 ; accessed on September 15, 2016 .
Web links
Individual evidence
- ↑ Alexander Neumann: itemis puts Statechart tools under the Eclipse license. In: heise Developer. March 5, 2009, archived from the original on June 17, 2016 ; Retrieved June 17, 2016 .
- ↑ YAKINDU Statechart Tools (YAKINDU SCT). State machine tool. itemis AG , accessed on January 11, 2018 (English).
- ↑ Improved AUTOSAR tool chain with YAKINDU. Case Study: Leopold Kostal GmbH & Co. KG. itemis AG, archived from the original on September 15, 2016 ; accessed on September 15, 2016 .
- ↑ Stephane Maag: Final Security Testing Techniques. (PDF, 3.91 MB) DIAMONDS Consortium, May 23, 2013, archived from the original on January 17, 2017 ; accessed on January 17, 2017 (English).
- ↑ Maryam Rahmaniheris, Yu Jiang, Lui Sha: Model-Driven Design of Clinical Guidance Systems. (PDF, 1.19 MB) University of Illinois, October 21, 2016, accessed January 17, 2017 .
- ↑ Rafael Mota Gregorut: Synthesizing formal properties from statechart test cases. (PDF, 1.35 MB) Final monograph for the course MAC0499 - Final Graduation Project. University of São Paulo, December 2015, archived from the original on January 17, 2017 ; accessed on January 17, 2017 (English).
- ↑ Marina Machado: MODUS - Generation of Interfaces based on Models. (PDF, 5.55 MB) Master's dissertation. Universidade do Minho, October 24, 2015, archived from the original on January 17, 2017 ; accessed on January 17, 2017 (English).
- ↑ 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), August 3, 2015, accessed on January 17, 2017 .
- ^ João Henrique Correia Pimentel: Systematic design of adaptive systems - control-based framework. (PDF, 10.3 MB) Ph.D. Thesis. Universidade Federal de Pernambuco, February 27, 2015, archived from the original on January 17, 2017 ; Retrieved January 17, 2017 (Portuguese).
- ↑ Joel Greenyer: Formal Methods in Software Engineering. (PDF, 667 KB) Lecture. Leibniz University Hanover, October 28, 2014, archived from the original on January 17, 2017 ; accessed on January 17, 2017 (English).
- ↑ Christian Motika: SCCharts editor based on Yakindu. Christian-Albrechts-Universität zu Kiel, June 27, 2014, archived from the original on September 14, 2016 ; accessed on September 14, 2016 (English).
- ↑ Jabier Martinez, Tewfik Ziadi, Jacques Klein, Yves le Traon: Identifying and Visualizing Commonality and Variability in Model Variants. (PDF, 878 KB) University of Luxembourg, May 13, 2014, archived from the original on January 17, 2017 ; accessed on January 17, 2017 (English).
- ^ Josip Bozic, Dimitris E. Simos, Franz Wotawa: Attack Pattern-Based Combinatorial Testing. (PDF, 249 KB) Graz University of Technology, SBA Research, March 10, 2014, archived from the original on January 17, 2017 ; accessed on January 17, 2017 (English).
- ↑ Mohamad Sbeiti: Simulation-based Performance Evaluation of PASER. Technical University of Dortmund, archived from the original on December 17, 2012 ; accessed on July 5, 2012 .
- ↑ A. Topalidou-Kyniazopoulou, NI Spanoudakis2, MG Lagoudakis: A CASE Tool for Robot Behavior Development. (PDF, 762 kB) Technical University of Crete, March 4, 2012, archived from the original on September 14, 2016 ; accessed on September 14, 2016 (English).
- ↑ Erik Kamsties, Burkhard Igel: Lecture "Introduction to Model-Based Software Development". Fachhochschule Dortmund, March 16, 2011, archived from the original on September 14, 2016 ; accessed on September 14, 2016 .
- ↑ Claudia Picoco, Valentin Rychkov, Tunc Aldemir: A framework for verifying Dynamic Probabilistic Risk Assessment models. In: Reliability Engineering and System Safety. November 2020, accessed on July 10, 2020 .
- ^ David Harel: Statecharts: A Visual Formalism For Complex Systems. (PDF) In: Science of Computer Programming, Volume 8. North Holland, 1984, pp. 231-274 , archived from the original on June 17, 2016 ; accessed on June 17, 2016 (English).
- ↑ Tutorial: Creating a Statechart Editor with GMF. In: Research project MDA for Embedded. itemis AG, engineering office Dr. Kahlert, Telecommunications FH Dortmund, July 16, 2008, archived from the original on June 17, 2016 ; Retrieved June 21, 2012 .
- ↑ Axel Terfloth: Introducing YAKINDU Statechart Tools 3.0 Standard Edition. itemis AG , July 18, 2017, archived from the original on January 12, 2018 ; accessed on January 12, 2018 .
- ↑ Andreas Mülder: YAKINDU Statechart Tools 3.0 Professional Edition - New and Noteworthy. itemis AG , August 7, 2017, archived from the original on January 12, 2018 ; accessed on January 12, 2018 .
- ↑ 365 locations: Lünen 2008. In: Germany - Land of Ideas. Germany - Land of Ideas Management GmbH, March 5, 2009, archived from the original on June 17, 2016 ; Retrieved June 17, 2016 .