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:
- Open Source AADL2 Tool Environment☆46Updated this week
- Examples and case-study that use OSATE☆56Updated 3 months ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆109Updated last year
- Library for rigorous verification of non-linear arithmetic☆114Updated last year
- Free library providing different representations of linear, time invariant differential and difference equation systems, as well as typic…☆25Updated last month
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆13Updated 8 years ago
- ☆34Updated 6 years ago
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆35Updated 2 years ago
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated 3 weeks ago
- Demonstration of how to use ASCET-DEVELOPER in a CI/CD pipeline.☆2Updated 7 months ago
- ELISA Aerospace Working Group☆32Updated this week
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆77Updated 3 months ago
- A tiny framework to wrap algorithms for dataflow programming☆41Updated 7 months ago
- C++ FMUs☆16Updated 3 years ago
- A Python 3 headless implementation of the Capella modeling tool.☆58Updated this week
- Free (standard conforming) library for interface definitions and architectures for vehicle system modeling☆45Updated 2 months ago
- ☆51Updated 9 years ago
- Eclipse Modeling Framework for C++☆45Updated 4 years ago
- Prototyping of an SSP Traceability Layered Standard☆13Updated last week
- Flowchart-based documentation for C++ codes. Complementing Doxygen.☆43Updated last year
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated last week
- 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
- IBEX is a C++ library for constraint processing over real numbers.☆76Updated last week
- The front-end of the INTO-CPS tool chain☆21Updated last month
- Repository to store the code developed in the context of the Safety Architecture WG☆18Updated 9 months ago
- Examples of Co-Simulation with Simulink☆16Updated 7 years ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆27Updated 2 weeks ago
- Maestro a Co-Simulation Orchestration Engine☆20Updated 3 weeks ago
- An open source checker for MISRA C++:2008 rules. Implemented as LLVM/Clang plugin. (No longer active, please use clang-tidy-misra instead…☆46Updated 7 years ago
- openmcx☆39Updated 5 months ago