Alternatives and similar repositories for utap

Users that are interested in utap are comparing it to the libraries listed below

• luyangshang / OpenFTA
  OpenFTA
  ☆14Updated 12 years ago
• CinCoders / cs-deadlines
  CS Deadlines - Top CS Conferences deadlines
  ☆11Updated 9 months ago
• oris-tool / sirio
  The Sirio library for the analysis of stochastic time Petri nets
  ☆14Updated 3 months ago
• ARISSIM / ARISS
  An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)
  ☆19Updated 8 years ago
• modeldriven-hu / cameo_lesson_1
  Plugin development for Cameo - The basics
  ☆13Updated 3 years ago
• eclipse-basyx / basyx-cpp-sdk
  cpp-sdk
  ☆16Updated 2 years ago
• RepliCode / RepliCode
  Replicode is a content creation platform for creating interactive coding tutorials.
  ☆17Updated 6 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆33Updated last week
• sireum / kekinian
  Sireum: A High Assurance System Engineering Platform
  ☆15Updated this week
• AutoSARioDeveloper / ArxmlEditor
  Arxml Editor, using Eclipse XML Editor
  ☆11Updated 7 years ago
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated 2 years ago
• itemisCREATE / examples
  YAKINDU Statechart Tools examples
  ☆21Updated 3 weeks ago
• open-simulation-platform / cpp-fmus
  C++ FMUs
  ☆16Updated 3 years ago
• mbeddr / mbeddr.formal
  FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.
  ☆27Updated last week
• catedrasaes-umu / emf4cpp
  Eclipse Modeling Framework for C++
  ☆45Updated 4 years ago
• systerel / S2OPC
  Mirror repository for open-source OPC-UA Toolkit designed with security and embedded devices in mind. Main repository is on gitlab:
  ☆20Updated last week
• OpenAADL / AADLib
  Library of AADL models
  ☆45Updated 11 months ago
• mbeddr / mbeddr.core
  The mbeddr core. An extensible C
  ☆227Updated this week
• DLR-FT / ModelBasedSTPA
  ☆10Updated last month
• Felipeasg / matiec_examples
  Simple examples about how to use MATIEC compiler for IEC 61131-3
  ☆36Updated 6 years ago
• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆113Updated 2 weeks ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆70Updated 3 years ago
• mattsse / plcopen-xml-xcore
  The PlcOpen Xml Standard implemented as Xcore model and with full gradle and maven support
  ☆15Updated 4 years ago
• MDE4CPP / MDE4CPP
  Model Driven Engineering for C++ (MDE4CPP)
  ☆12Updated last month
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆19Updated 4 years ago
• Apress / models-to-code
  Source code for 'Models to Code' by Leon Starr, Andrew Mangogna, and Stephen Mellor
  ☆17Updated 8 years ago
• LorenzoBettini / packtpub-xtext-book-2nd-examples
  This contains the examples for the book "Implementing Domain-Specific Languages with Xtext and Xtend, 2nd edition"
  ☆74Updated 5 years ago
• ev3rt-git / ev3rt-hrp2
  RTOS for Mindstorms EV3
  ☆23Updated 5 years ago
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 5 months ago
• STMicroelectronics / fp-sns-datalog2
  The FP-SNS-DATALOG2 function pack represents an evolution of FP-SNS-DATALOG1 and provides a comprehensive solution for saving data from a…
  ☆19Updated last week