YAKUIDO 상태차트 도구

YAKINDU Statechart Tools
YAKUIDO 상태차트 도구
YAKINDU Statechart Tools logo
Yakindu Statechart Tools.png
시뮬레이션 모드에서 상태표를 실행하는 YAKUIDO 상태 차트 도구
개발자아이템is AG의 야쿠도팀
최초 공개.2008; 14년 전(2008)
안정적 해제
3.5.5 / 2019년 6월 18일; 2년 전(2019-06-18)
기록 위치자바
운영 체제Microsoft Windows, Linux 및 MacOS용 교차 플랫폼, 이진 파일 사용 가능
플랫폼이클립스
다음에서 사용 가능영어
면허증부품 Eclipse Public License
웹사이트www.itemis.com/en/yakindu/statechart-tools/

YAKIUDOID Statechart Tools (YAKIUDO SCT)는 유한 상태 기계의 도움을 받아 반응성, 사건 주도 시스템의 사양 및 개발을[1] 위한 도구다.상태차트의 그래픽 편집을 위한 툴로 구성되며, 다양한 대상 플랫폼 및 프로그래밍 언어에 대한 검증, 시뮬레이션 및 소스 코드 생성기를 제공한다.YAKUIDUDER Statechart Tools는 표준판과 전문판과 함께 사용할 수 있으며, 비상업적 교육용 라이센스도 무료로 이용할 수 있다.[2]산업계와[3][4] 학계 양쪽에서 사용자들이 들어오고 있다.[5][6][7]

개념

YAKUIDO Statechart Tools는 1984년에 David Harel에 의해 발명된 상태차트의 개념을 구현한다.[8]주정부차트는 나중에 UML에 의해 채택되었다.[9]

소프트웨어는 유한 상태 기계를 모델링하는 데 사용될 수 있다.유한 상태 기계에 대한 중요한 이론 모델은 맬리 기계와 무어 기계들이다.YAKUIDO 상태차트 공구는 이 두 가지 유형을 모형화하는 데 사용될 수 있다.

기능

YAKUIDO 상태차트 도구의 주요 특징은 다음과 같다.

  • 텍스트 및 그래픽 모델링의 스마트한 조합
  • 모델링된 상태 시스템의 통사적 및 의미적 검증
  • 시뮬레이션 엔진을 통한 실행 가능한 상태 차트 모델
  • Java, C 및 C++용 소스 코드 생성기(Python, Swift 및 TypeScript용 베타 상태 소스 코드 생성기 포함)를 사용하여 생성된 상태 시스템을 사용자 지정 애플리케이션에 통합
  • 테스트 프레임워크 SCERTnit
  • 범위 분석(SCOV)

확장성

YAKUIDO 상태차트 툴은 오픈 API를 제공하여, 특정 요구사항에 크게 적응할 수 있다.코드 생성기는 확장 가능할 뿐만 아니라 개발자는 자신의 상태도 사투리도 지정할 수 있다.이를 위해 도메인별 상태차트의 개념을 정의한다.이를 통해 상태표를 재사용 가능한 언어 모듈로 사용할 수 있다.

역사

2008년 임베디드용 MDA 연구 프로젝트의 일환으로 YAKUIDUID Statechart Tools의 첫 번째 버전이 출시되었다.[10]이번 연구과제에서는 Eclipse 프로젝트에 기반한 임베디드 시스템 개발을 위한 모델 기반 개발 프로세스가 개발되었다.2010년 중반부터 독일 뤼넨의 회사인 아이템is AG의 직원 위주로 구성된 야쿠유도 팀은 버전 2.0을 제작하고 있다.첫 정식 버전은 이클립스 버전 주노와 함께 발매되었다.

  • 릴리스 2.9는 Eclipse 버전 4.5(Mars) 및 4.6(Neon)과 호환된다.이 릴리스부터 명령줄 resp에서 코드 생성기를 실행할 수 있다.연속 통합 시스템으로

프로페셔널 에디션 소개

2016년 12월, 아이템은 유료로 소프트웨어의 프로페셔널 에디션을 발매하여 추가적인 기능을 제공한다.

라이센싱 모델 변경

7월 표준판[11] 3.0 릴리즈와 2017년 8월 프로페셔널판을[12] 계기로 아이템은 오픈소스에서 전용 라이선스 모델로 라이선스를 변경했다.표준 버전의 비상업적 사용자는 여전히 무료로 라이센스를 이용할 수 있다.학생과 교육자는 전문판을 무료로 얻을 수 있다.

YSCT의 GitHub 저장소에서 YAKUIDO Statechart Tools의 마지막 공개 소스 2.9.3을 여전히 이용할 수 있다.

상

  • 독일 – 아이디어의 나라 2008: 임베디드 시스템을[13] 위한 모델 기반 생성 소프트웨어 개발

문헌 및 출처

  • Mülder, Andreas; Nyßen, Alexander (2011). "TMF meets GMF" (PDF). Eclipse Magazin (in German). Frankfurt am Main: Software & Support Media GmbH (3): S. 74–78. ISSN 1861-2296. Archived from the original (PDF) on 2016-06-20. Retrieved 2016-06-20.
  • Mülder, Andreas; Unger, Andreas (2012). "Yakindu ist auch eine Stadt". Eclipse Magazin (in German). Frankfurt am Main: Software & Support Media GmbH (3). ISSN 1861-2296.
  • Alexander Nyßen (2011). "TMF meets GMF – Combining Graphical & Textual Modeling". EclipseCon Europe 2011. Archived from the original (PDF) on 2016-06-17. Retrieved 2016-06-17.
  • Nyßen, Alexander; Terfloth, Axel (2012). "YAKINDU SCT – Domain-Specific Statecharts". EclipseCon 2012. Archived from the original on 2016-09-15. Retrieved 2012-09-15.
  • Terfloth, Axel (2011-07-12). "Modellgetriebene Entwicklung mit der Yakindu Workbench: Vortrag auf dem BAIKEM Netzwerktreffen Embedded Systems" (PDF) (in German). Bayern Innovativ. Archived from the original (PDF) on 2016-09-15. Retrieved 2016-09-15.

외부 링크

참조

  1. ^ Neumann, Alexander (2009-03-05). "itemis stellt Statechart-Tools unter die Eclipse-Lizenz". Heise Developer (in German). Archived from the original on 2016-06-17. Retrieved 2016-06-17.
  2. ^ "YAKINDU Statechart Tools (YAKINDU SCT)". itemis AG. Retrieved 2018-01-11.
  3. ^ "Improved AUTOSAR tool chain with YAKINDU – Case Study: Leopold Kostal GmbH & Co. KG". itemis AG. Archived from the original on 2016-09-15. Retrieved 2016-09-15.
  4. ^ Stephane Maag (2013-05-23). "Final Security Testing Techniques" (PDF). DIAMONDS Consortium. Archived from the original (PDF, 3.91 MB) on 2017-01-17. Retrieved 2017-01-17.
  5. ^ Maryam Rahmaniheris; Yu Jiang; Lui Sha (2016-10-21). "Model-Driven Design of Clinical Guidance Systems". University of Illinois. arXiv:1610.06895. Bibcode:2016arXiv161006895R. {{cite journal}}:Cite 저널은 필요로 한다. journal=(도움말)
  6. ^ Rafael Mota Gregorut (December 2015). "Synthesising formal properties from statechart test cases" (PDF). University of São Paulo. Archived from the original (PDF, 1.35 MB) on 2017-01-17. Retrieved 2017-01-17.
  7. ^ Claudia Picoco; Valentin Rychkov; Tunc Aldemir (November 2020). "A framework for verifying Dynamic Probabilistic Risk Assessment models" (PDF). Reliability Engineering & System Safety. 203. Retrieved 2020-07-10.
  8. ^ Harel, David (1984). "Statecharts: A Visual Formalism For Complex Systems" (PDF). Science of Computer Programming. North Holland. 8 (3): 231–274. doi:10.1016/0167-6423(87)90035-9. Archived (PDF) from the original on 2013-10-12.
  9. ^ OMG (February 2009). "OMG Unified Modeling Language (OMG UML), Superstructure Version 2.2". p. 525. Archived from the original on 2012-08-13. Retrieved 2016-06-17.
  10. ^ "Tutorial: Statechart Editor mit GMF erstellen". Forschungsprojekt MDA for Embedded (in German). itemis AG, Ingenieurbüro Dr. Kahlert, Nachrichtentechnik FH Dortmund. 2008-07-16. Archived from the original on 2016-06-17. Retrieved 2013-02-19.
  11. ^ Terfloth, Axel (2017-07-18). "Introducing YAKINDU Statechart Tools 3.0 Standard Edition". itemis AG. Archived from the original on 2018-01-12. Retrieved 2018-01-12.
  12. ^ Mülder, Andreas (2017-08-07). "YAKINDU Statechart Tools 3.0 Professional Edition – New and Noteworthy". itemis AG. Archived from the original on 2018-01-12. Retrieved 2018-01-12.
  13. ^ "365 Orte: Lünen 2008". Deutschland – Land der Ideen (in German). Deutschland – Land der Ideen Management GmbH. 2009-03-05. Archived from the original on 2016-06-17. Retrieved 2016-06-17.