viatra / massif
Massif is a Matlab Simulink Integration Framework for Eclipse
☆19Updated last year
Alternatives and similar repositories for massif
Users that are interested in massif are comparing it to the libraries listed below
Sorting:
- Open Source AADL2 Tool Environment☆44Updated 6 months ago
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated 3 years ago
- Examples and case-study that use OSATE☆57Updated last month
- This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…☆23Updated 7 years ago
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆34Updated 2 years ago
- Eclipse Modeling Framework for C++☆45Updated 4 years ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆76Updated 3 weeks ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆108Updated last year
- Software Quality Management Tool☆30Updated this week
- EMF-based Fault-Tree Analysis Tool☆58Updated 7 years ago
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆165Updated 6 years ago
- ☆33Updated 6 years ago
- Specify and synthesize systems using symbolic algorithms☆48Updated 6 months ago
- Automated Analysis Framework for Simulink/Stateflow (deprecated, see cocoSim2)☆25Updated 8 years ago
- An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…☆45Updated 7 years ago
- ATL and Acceleo based transformation from SysML to Modelica☆21Updated 8 years ago
- Repository to store the code developed in the context of the Safety Architecture WG☆17Updated 6 months ago
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆21Updated 10 months ago
- Core OpenMETA Framework☆27Updated 2 years ago
- libSPRITE is a set of libraries that have been used on several past projects including flight, technology demonstration, and simulation p…☆61Updated 8 years ago
- Reactive Extensions Adapters for RTI Connext DDS.☆23Updated 9 years ago
- read and write simulink model in python☆47Updated 10 months ago
- Web-based Generic Modeling Environment☆165Updated 3 months ago
- ASN.1 implementation of the PUS-C ECSS standard using ACN encoding.☆16Updated last year
- .m file editor and console that connects to MATLAB®☆26Updated 3 months ago
- A tiny framework to wrap algorithms for dataflow programming☆41Updated 5 months ago
- ☆50Updated 8 years ago
- IBEX is a C++ library for constraint processing over real numbers.☆76Updated last week
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated last month
- Thirty Meter Telescope System Model in SysML☆44Updated last year