The project addresses the development and evolution of mbeddr language extensions (standalone DSLs and C extensions), their IDE, debuggers, and the integration of formal verification tools. mbeddr languages and extensions include:
- C99 (C99 is an informal name for ISO/IEC 9899:1999, a past version of the C programming language standard which is supported by most embedded compilers)
- Product-Line Support
- A build language
- Integration with various formal analyses tools (e.g. CBMC, NuSMV, yices)
As well as additional base languages (e.g. C++ or Ada), and additional higher level languages extensions (e.g. tracing, logging, data flow, protocol description). In addition the project provides example languages and language modules which illustrate the integration into existing environments. The project does not include development and evolution of MPS, the verification tools themselves or actual C compilers or debuggers.