YAKINDU Statechart Tools

from Wikipedia, the free encyclopedia
YAKINDU Statechart Tools

YAKINDU Statechart Tools logo
Screenshot
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

Literature and Sources

Web links

Individual evidence

  1. ↑ 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 .
  2. ↑ YAKINDU Statechart Tools (YAKINDU SCT). State machine tool. itemis AG , accessed on January 11, 2018 (English).
  3. ↑ 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 .
  4. ↑ 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).
  5. ↑ 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 .
  6. ↑ 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).
  7. ↑ 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).
  8. ↑ 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 .
  9. ^ 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).
  10. ↑ 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).
  11. ↑ 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).
  12. ↑ 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).
  13. ^ 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).
  14. ↑ 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 .
  15. ↑ 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).
  16. ↑ 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 .
  17. ↑ 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 .
  18. ^ 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).
  19. ↑ 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 .
  20. ↑ 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 .
  21. ↑ 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 .
  22. ↑ 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 .