viatra / massifLinks
Massif is a Matlab Simulink Integration Framework for Eclipse
☆20Updated last year
Alternatives and similar repositories for massif
Users that are interested in massif are comparing it to the libraries listed below
Sorting:
- ☆34Updated 6 years ago
- ☆11Updated 3 months ago
- Open Source AADL2 Tool Environment☆48Updated 2 months ago
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated 5 months ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆123Updated last week
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆36Updated last week
- MISRA C:2012 and MISRA C++:2008 compliance checkers for clang-tidy☆172Updated 7 years ago
- Library for rigorous verification of non-linear arithmetic☆115Updated last year
- IBEX is a C++ library for constraint processing over real numbers.☆84Updated last month
- ☆52Updated 9 years ago
- Embedded Multicore Building Blocks (EMB²): Library for parallel programming of embedded systems. Star us on GitHub? +1☆187Updated 2 years ago
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆36Updated 3 weeks ago
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated last month
- Eclipse Modeling Framework for C++☆45Updated 4 years ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆77Updated 7 months ago
- This is a GIT repository for the open source spacecraft SysML model presented in the book Architecting Spacecraft with SysML by Sanford F…☆24Updated 7 years ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆27Updated 2 years ago
- Thirty Meter Telescope System Model in SysML☆47Updated 5 months ago
- Library of AADL models☆45Updated last year
- Core OpenMETA Framework☆28Updated 2 years ago
- A tiny framework to wrap algorithms for dataflow programming☆40Updated last year
- ☆226Updated 2 years ago
- SSP Layered Standard Traceability☆14Updated 3 months ago
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆13Updated 8 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated this week
- A scripting and animation runtime for the RAMSES rendering ecosystem☆10Updated last year
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆22Updated last year
- A formal model of the FMI specification in VDM☆14Updated 4 months ago
- ELISA Aerospace Working Group☆32Updated last week
- An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…☆46Updated 8 years ago