JetBrains MPS Adopted by Yet Another Open Source Project
- itemis AG chooses JetBrains MPS to develop a powerful IDE for embedded software development based on C, DSLs and formal verification
Mar 12, 2012
JetBrains, creators of intelligent, productivity-enhancing development tools, have announced that MPS, their software development environment for creating DSLs (Domain Specific Languages), has been adopted by yet another innovative open source project, led by the German company itemis AG.
Now JetBrains MPS can also be used for C programming thanks to an open-source tool developed by itemis AG, a new JetBrains partner. The collaboration focuses on developing innovative solutions for embedded software development. This is implemented in the mbeddr IDE - a revolutionary approach for embedded software development based on C, domain-specific languages and formal verification.
mbeddr enables mixing domain-specific languages with C code and, through suitable abstractions, makes formal verification possible. Since mbeddr is build on top of MPS, users can easily develop custom DSLs or extensions of C.
Both JetBrains MPS and the core of mbeddr are open source software, available from http://jetbrains.com/mps and http://mbeddr.com, respectively. JetBrains will continue to support mbeddr by developing and enhancing MPS accordingly.
Now JetBrains MPS can also be used for C programming thanks to an open-source tool developed by itemis AG, a new JetBrains partner. The collaboration focuses on developing innovative solutions for embedded software development. This is implemented in the mbeddr IDE - a revolutionary approach for embedded software development based on C, domain-specific languages and formal verification.
mbeddr enables mixing domain-specific languages with C code and, through suitable abstractions, makes formal verification possible. Since mbeddr is build on top of MPS, users can easily develop custom DSLs or extensions of C.
Both JetBrains MPS and the core of mbeddr are open source software, available from http://jetbrains.com/mps and http://mbeddr.com, respectively. JetBrains will continue to support mbeddr by developing and enhancing MPS accordingly.