itemis and JetBrains: partnering in the development of better tools for embedded software
itemis launches mbeddr IDE at Embedded World 2012 – Looking for Early Adopters
February 23th 2012. itemis AG and JetBrains entered a new partnership: Together both companies will work on innovative solutions for embedded software development. The collaboration is focused on the mbeddr tool which is based on JetBrains MPS. For the new mbeddr IDE, itemis is looking for early adopters who are willing to prototype the approach together with itemis.
Download: Long version (PDF, 28 KB)
itemis will launch the mbeddr IDE at Embedded World 2012. mbeddr is a revolutionary approach for embedded software development based on C, domain-specific languages and formal verification. Domain-specific languages can be mixed with C code. By choosing suitable abstractions, formal verification becomes feasible.
mbeddr provides a set of standard extensions including interfaces, components, unit tests and state machines. Model checking is supported for state machines directly in the IDE. mbeddr is built on top of JetBrains MPS, which allows users to easily develop custom DSLs or extensions of C.
Both the core of mbeddr and JetBrains MPS are open source software, available from http://mbeddr.com and http://jetbrains.com/mps, respectively. itemis has partnered with JetBrains in order to co-innovate in the space of embedded software development and to realize the full potential of mbeddr.
mbeddr is available as an early access version right now and itemis is looking for early adopters who are willing to prototype the approach together with itemis.