ftsrg / BME-MODES3
Model-based Demonstrator for Smart and Safe Systems
☆16Updated 5 years ago
Alternatives and similar repositories for BME-MODES3:
Users that are interested in BME-MODES3 are comparing it to the libraries listed below
- An efficient graph solver for generating well-formed models☆25Updated 2 years ago
- This repository contains ROSMOD developed for WebGME. ROSMOD is a web-based, collaborative, modeling and execution environment for distri…☆15Updated last month
- Open Source AADL2 Tool Environment☆41Updated 3 months ago
- A Tool for Multi-Paradigm Modeling☆24Updated 4 months ago
- FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.☆23Updated this week
- An Eclipse-based modeling framework for the component-based design and analysis of reactive systems☆30Updated this week
- A Python(nic) Implementation of EMF/Ecore (Eclipse Modeling Framework)☆169Updated last month
- The mbeddr core. An extensible C☆226Updated this week
- Xsemantics is a DSL (implemented in Xtext itself) for writing type systems, reduction rules, interpreters (and in general relation rules)…☆32Updated last year
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 2 years ago
- ☆14Updated 3 years ago
- Model and examples for the AADL book. More on http://julien.gunnm.org/aadl-book☆12Updated 7 years ago
- ☆9Updated 4 years ago
- Robot navigation algorithms implemented in SPARK☆11Updated 10 years ago
- Drona is a programming framework for building safe robotics systems☆29Updated 2 years ago
- Ptolemy II is an open-source software framework supporting experimentation with actor-oriented design.☆101Updated last year
- Automated Controller Synthesis☆15Updated 6 years ago
- ☆27Updated 3 years ago
- ☆12Updated 6 years ago
- An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.☆25Updated 7 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆51Updated this week
- JKind - An infinite-state model checker for safety properties in Lustre☆53Updated last week
- The Melange Language Workbench☆29Updated last year
- DSLs for modeling and analyzing farming systems☆11Updated 7 years ago
- KTH's Timed C compiler☆19Updated 3 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- A multi-formalism, multi-solution model-checker centered on the language GAL☆23Updated 6 months ago
- ☆50Updated 8 years ago
- Full-fledged industrial environment for scientific computing and High Performance Computing☆18Updated last year
- Java bindings for LLVM libraries☆8Updated 3 years ago