PRAGUE, March 8, 2012 /PRNewswire/ --
- itemis AG chooses JetBrains MPS to develop a powerful IDE for embedded software development based on C, DSLs and formal verification
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.
JetBrains is a technology-leading software development firm specializing in the creation of intelligent, productivity-enhancing software. The company is widely known for its award-winning Java™ integrated development environment IntelliJ® IDEA (see details at http://www.jetbrains.com/idea), ReSharper - a productivity extension for .NET developers (see http://www.jetbrains.com/resharper), and YouTrack - an innovative web-based bug tracker developed with MPS (http://www.jetbrains.com/youtrack), among others. JetBrains maintains its headquarters in Prague, Czech Republic and has R&D labs in St. Petersburg, Russia; Munich, Germany; and Boston, Massachusetts. For more information see http://www.jetbrains.com.
itemis is an innovative IT consulting company. itemis' core competency is model-driven software development (MDSD) and the design and implementation of custom tool chains. It offers consulting, development services and tools for the efficient development of enterprise, embedded and mobile applications.
itemis' YAKINDU product suite (http://yakindu.com) supports model-driven software- and systems engineering and includes solutions for requirements management and traceability, for executable HMI-specifications and for application lifecycle management. Itemis is based in Lünen, Germany and operates offices in Germany, France and Switzerland. The company is a strategic member of the Eclipse Foundation and was given various awards for the quality of its work, its products and its HR Management. For more information see http://www.itemis.com.