Alternatives and similar repositories for massif:

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

• icyphy / ptII
  Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.
  ☆103Updated last year
• nasa / CertWare
  ☆50Updated 8 years ago
• osate / osate2
  Open Source AADL2 Tool Environment
  ☆41Updated 3 months ago
• SE-Stuttgart / XSTAMPP
  XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…
  ☆28Updated 3 years ago
• actiontofu / architecting-spacecraft
  This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…
  ☆22Updated 7 years ago
• osate / examples
  Examples and case-study that use OSATE
  ☆56Updated 4 years ago
• smaccm / smaccm
  ☆33Updated 5 years ago
• coco-team / cocoSim-deprecated
  Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)
  ☆25Updated 7 years ago
• cmu-sei / emfta
  EMF-based Fault-Tree Analysis Tool
  ☆56Updated 7 years ago
• nasa / TrickFMI
  A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations
  ☆21Updated 7 months ago
• DLR-RY / outpost-core
  OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT
  ☆33Updated 2 years ago
• SysMLModelicaIntegration / edu.ufc.femtost.disc.sysml2modelica
  ATL and Acceleo based transformation from SysML to Modelica
  ☆20Updated 8 years ago
• nasa / OpenVSP
  A parametric aircraft geometry tool
  ☆73Updated 8 years ago
• Open-MBEE / TMT-SysML-Model
  Thirty Meter Telescope System Model in SysML
  ☆41Updated 9 months ago
• modelica / ssp-standard.org
  Website of System Structure and Parameterization (SSP) of components for virtual system design standard
  ☆14Updated last month
• yamcs / yamcs-studio
  Desktop TM/TC Client for Yamcs
  ☆27Updated last month
• Open-MBEE / exec-ve
  Web Client Application designed to enable users to interact with Model Based System Engineering (MBSE) models
  ☆42Updated 6 months ago
• krystophny / matclipse
  .m file editor and console that connects to MATLAB®
  ☆26Updated last week
• cmu-rss-lab / rosdiscover
  ☆16Updated last year
• Systems-Modeling / SysML-v2-API-Python-Client
  Python client software for the Systems Modeling API.
  ☆40Updated 3 years ago
• modelica / Modelica_LinearSystems2
  Free library providing different representations of linear, time invariant differential and difference equation systems, as well as typic…
  ☆22Updated 2 months ago
• INTO-CPS-Association / maestro
  Maestro a Co-Simulation Orchestration Engine
  ☆20Updated last week
• juli1 / aadl-book
  Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book
  ☆12Updated 7 years ago
• elisa-tech / wg-aerospace
  ELISA Aerospace Working Group
  ☆22Updated this week
• eclipse-openmcx / openmcx
  openmcx
  ☆36Updated 5 months ago
• nasa / PLEXIL5
  PLEXIL5 is a Formal Verification Environment for PLEXIL
  ☆17Updated last year
• rettichschnidi / clang-misracpp2008
  An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…
  ☆44Updated 7 years ago
• nimble-code / Modex
  a model extractor, to automatically extract Spin verification models from multi-threaded C code
  ☆21Updated last month
• modelica / DCPLib
  C++ reference implementation of the Distributed Co-Simulation Protocol (DCP)
  ☆45Updated 7 months ago
• metamorph-inc / meta-core
  Core OpenMETA Framework
  ☆27Updated last year