Alternatives and similar repositories for utap

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

• 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
• luyangshang / OpenFTA
  OpenFTA
  ☆14Updated 12 years ago
• sireum / kekinian
  Sireum: A High Assurance System Engineering Platform
  ☆16Updated this week
• eclipse-basyx / basyx-cpp-sdk
  cpp-sdk
  ☆16Updated 2 years 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 this week
• juli1 / aadl-book
  Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book
  ☆13Updated 8 years ago
• RepliCode / RepliCode
  Replicode is a content creation platform for creating interactive coding tutorials.
  ☆17Updated 6 years ago
• Apress / models-to-code
  Source code for 'Models to Code' by Leon Starr, Andrew Mangogna, and Stephen Mellor
  ☆17Updated 8 years ago
• modeldriven-hu / cameo_lesson_1
  Plugin development for Cameo - The basics
  ☆14Updated 3 years ago
• DLR-FT / ModelBasedSTPA
  ☆10Updated last month
• ev3rt-git / ev3rt-hrp2
  RTOS for Mindstorms EV3
  ☆23Updated 5 years ago
• IDA-TUBS / pycpa
  Compositional Performance Analysis in Python
  ☆20Updated 4 years ago
• AutoSARioDeveloper / ArxmlEditor
  Arxml Editor, using Eclipse XML Editor
  ☆12Updated 7 years ago
• FAMILIAR-project / teaching
  Repository of teaching material for product lines and variability
  ☆12Updated 2 years ago
• open-simulation-platform / cpp-fmus
  C++ FMUs
  ☆16Updated 3 years ago
• ftsrg / gamma
  An Eclipse-based modeling framework for the component-based design and analysis of reactive systems
  ☆33Updated last week
• csrohit / stm32-startup-cpp
  Writing startup script for STM32 Arm Cortex M3 controllers in C language
  ☆11Updated 2 years ago
• JetBrains / fbme
  IDE for IEC 61499 built on top of JetBrains MPS
  ☆22Updated last week
• eclipse-capella / capella-requirements-vp
  This add-on allows importing a set of requirements from a ReqIF file
  ☆22Updated 5 months 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
• labs4capella / stpa-capella
  STPA Viewpoint for Capella
  ☆24Updated 4 months ago
• juhaszmarcell96 / cppcon_2024
  ☆15Updated last year
• 61131 / echidna
  Compiler and virtual machine run-time for IEC 61131-3 languages
  ☆62Updated 10 months ago
• Felipeasg / matiec_examples
  Simple examples about how to use MATIEC compiler for IEC 61131-3
  ☆36Updated 6 years ago
• SysMLModelicaIntegration / edu.ufc.femtost.disc.sysml2modelica
  ATL and Acceleo based transformation from SysML to Modelica
  ☆21Updated 8 years ago
• moves-rwth / dft-gui
  Visualization for Dynamic Fault Trees
  ☆15Updated last week
• catedrasaes-umu / emf4cpp
  Eclipse Modeling Framework for C++
  ☆45Updated 4 years ago
• Lembed / ROS-Nuttx-STM32
  ros nodes on stm32 board with nuttx, a fork of ros2
  ☆23Updated 9 years ago
• MDEGroup / MDEForge
  MDEForge is an extensible modeling framework specifically conceived to support for discovery and reuse of existing modeling artefacts. MD…
  ☆24Updated 2 years ago