Eclipse Mbeddr

Warning

This projects has been archived!

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)
Statemachines
Components
Requirements
Documentation
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.

Basics

Repositories

Repository	Commits	Reviews	Issues

This project has no activity.

The EMO oversees the lifecycle of Eclipse projects, trademark and IP management, and provides a governance framework and recommendations on open source best practices.

See the project’s PMI page at https://projects.eclipse.org/projects/technology.mbeddr

Releases

Reviews

Termination (2024-01-17) – see review
Progress Review 2023.12 (2023-12-13) – see review

IP Lab requests

Security related information is not yet available for this project. In order to gather such information automatically, Self Service of GitHub resources needs to be enabled for this project.