Out-of-the-Box Use for Embedded Software Development

mbeddr is an Integrated Platform for Efficient, Multi-Paradigm Embedded Software Development:


  • State-of-the-Art C IDE including Syntax Highlighting, Code Completion, Refactorings, Debugger
  • Incremental improvements to C, such as Modules, Boolean Types, Stricter Type System, Phyiscal Units
  • Modular C extensions to improve Robustness, Testability and Maintainabiliy such as Unit Tests, State Machines or Components
  • Support for Key Aspects of the Software Engineering Process: Requirements & Rracing, Product Lines, Documentation
  • Integrated Formal Verifications, for example, to Verify State Machines, Component Contracts or Decision Tables
  • Integrated Visualizations and Reports


  • Improved Code Quality, Testability and Maintainability
  • Direct, Integrated Support for the Development Process and its Artifacts
  • Tight Integration of Different Programming Paradigms in terms of Semantics and IDE
  • Avoids many of today's Tool Integration Problems
  • Blurs the Artificial Boundary between Coding and Modeling.

... and yes, it integrates with build servers, works with existing version control systems such as git or svn, and can host plugins to integrate with other tools.


Build Your Own Customized Development Environment

mbeddr Supports Comprehensive and Deep Extensibility of Every Aspect of the Platform, including Language Syntax, Type System, Generators and IDE:


  • Add Arbitrary, Structured Meta Data to any Program Element
  • Add Arbitrary Extensions to C, affecting the Type System, Code Generators and IDE
  • Integrate DSLs Directly with C Code
  • Restrict (Parts of) Programs to User-Defined Subsets of C
  • Mix Textual, Mathematical and Tabular Notations
  • Add Arbitrary Additional Specifications to Requirements
  • Define Custom Visualizations or Reports


  • Manage Complexity by Expressing Everything at an Appropriate Abstraction Level and with Intuitive Notations
  • Avoid the Need for External Tools "just" to add a bit of Additional Data
  • Incrementally Adapt the Languges and Tool to Your Own Project, Organization, Domain or Process
  • Prevent Divergence of Different Artifacts of the Software Engineering Process

... and Use Any of these Extensions in Programs Only When Needed, to Limit Complexity!