👋 Welcome to the mbeddr GitHub organization.
mbeddr aims at creating a different way of developing embedded software systems. Instead of using archaic modeling tools and manually written C code, we use the open source JetBrains MPS language workbench to create an integrated approach to embedded development, where C programming, DSLs, domain-specific extensions to C, product line variability, requirements traceability and model checking are supported directly.
- old homepage: mbeddr.com
- mbeddr user guide + mbeddr documentation language
- practical knowledge (MPS + platforms): MPS Platform Docs
If you are interested in the reusable part of mbeddr, have a look at the old mbeddr platform page and visit the repository at mbeddr.core. Some of the old documentation can still be found in the mbeddr.core wiki, the rest of it has moved to MPS Platform Docs. Some plugins migrated to MPS-extensions are documented in the MPS-extensions documentation. For everything else, there are sandboxes and test cases in the corresponding repositories to learn from.
- MPS-extensions: The MPS extensions aim to ease language development within MPS.
- iets3.opensource: The platform of the IETS3 research project.
- mbeddr.formal: FASTEN (FormAl SpecificaTion ENvironment) is a set of DSLs to experiment with rigorous systems and safety engineering.
- mps-qa: Quality Assurance Tooling for JetBrains MPS
- mps-gradle-plugin: miscellaneous tasks that were found useful when building MPS-based projects with Gradle.
- mps-build-backends: command-line utilities used e.g. by Gradle plugins to generate or check models.
- build.publish.mps: contains a gradle script for publishing MPS and its jars to a few Maven repositories.
- build.publish.jdk: the published Jetbrains Runtime Environment for MPS
- publish-mps-prereleases: published MPS pre-releases from JetBrains TeamCity to itemis Nexus.
For a broader overview of MPS resources, you can visit mps.rocks.
Join the discussion on Slack in the #mbeddr room.
