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.
(Logo: http://www.newscom.com/cgi-bin/prnh/20070118/JBLOGO
)
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.
About JetBrains
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.
About itemis
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.