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☆47Updated 3 weeks ago
- ☆10Updated last month
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆115Updated last month
- OUTPOST - Open modUlar sofTware PlatfOrm for SpacecrafT☆35Updated 2 years ago
- ☆34Updated 6 years ago
- Examples and case-study that use OSATE☆56Updated 6 months ago
- ☆52Updated 9 years ago
- Core OpenMETA Framework☆28Updated 2 years ago
- Library of AADL models☆45Updated 11 months ago
- openmcx☆40Updated 7 months ago
- Examples of Co-Simulation with Simulink☆16Updated 7 years ago
- MasterSim is an FMI Co-Simulation master and programming library.☆25Updated last month
- Thirty Meter Telescope System Model in SysML☆45Updated 4 months ago
- IBEX is a C++ library for constraint processing over real numbers.☆78Updated last week
- C Implementation of a Software Framework for Service-Oriented Applications with PUS Support☆14Updated 2 weeks ago
- Free (standard conforming) library for interface definitions and architectures for vehicle system modeling☆48Updated last week
- A tiny framework to wrap algorithms for dataflow programming☆40Updated 10 months ago
- Library for rigorous verification of non-linear arithmetic☆115Updated last year
- ICAROUS is a software architecture for the development of UAS applications☆169Updated 2 years ago
- Free library providing different representations of linear, time invariant differential and difference equation systems, as well as typic…☆26Updated last month
- A Functional Mockup Interface (FMI) Standard Implementation for Trick Base Models and Simulations☆21Updated last year
- CAPD library☆14Updated 4 months ago
- C++ FMUs☆16Updated 3 years ago
- SSP Layered Standard Traceability☆14Updated 2 months ago
- HyPro: A C++ state set representation library for the analysis of hybrid systems☆36Updated 3 months ago
- XSTAMPP (eXtensible STAMP Platform) is an open-source platform for safety engineering designed specially to serve the widespread adoption…☆28Updated 3 months ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆72Updated 3 years ago
- This document specifies the ways in which sensor models are to be packaged for use in simulation environments with FMI 2.0☆43Updated this week
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆76Updated 6 months ago
- Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs☆27Updated 2 years ago