Auf der Embedded World 2012 wird itemis die mbeddr IDE vorstellen. mbeddr ist ein radikal neuer Ansatz zur Entwicklung eingebetteter Software basierend auf der Programmiersprache C, domänenspezifischen Sprachen und formalen Verifikationstechniken. Dabei können domänenspezifische Sprachen direkt mit C integriert werden. Durch die Verwendung passender Sprachabstraktionen wird die formale Verifikation des Codes erleichtert.
mbeddr bietet eine Reihe von Standard-Spracherweiterungen, darunter Schnittstellen, Komponenten, Unittests und Zustandsmaschinen. Model Checking auf Zustandsmaschinen wird direkt in der IDE unterstützt. mbeddr basiert auf JetBrains MPS. Dies erlaubt Anwendern die einfache Integration eigener DSLs bzw. die Erweiterung von C.
Sowohl der Kern von mbeddr als auch JetBrains MPS sind Open-Source-Software, verfügbar unter http://mbeddr.com bzw. http://jetbrains.com/mps. itemis ist mit JetBrains eine Partnerschaft eingegangen, um innovative Lösungen für Embedded-Softwareentwicklung voranzutreiben und das volle Potenzial vom mbeddr auszuschöpfen.
mbeddr ist derzeit als Betaversion verfügbar. itemis sucht noch Betatester für die prototypische Erprobung des Werkzeugs.
Über JetBrains
JetBrains ist ein technisch führendes Software-Unternehmen, das auf die Entwicklung intelligenter, produktivitätssteigernder Software spezialisiert ist. Das Unternehmen ist weitbekannt durch seine innovative, preisgekrönte Java(TM)-integrierte Entwicklungsumgebung IntelliJ(R) IDEA (Weitere Informationen finden Sie unter: http://www.jetbrains.com/... AppCode - eine bessere IDE für Objective-C-Entwickler (http://www.jetbrains.com/objc); ReSharper - ein Produktivitätstool für .NET-Entwickler (http://www.jetbrains.com/...); TeamCity - eine kontinuierliche Umgebung für Integrations- und Build-Management (http://www.jetbrains.com/...); YouTrack - ein innovatives und effizientes Tool zur Problemverfolgung (http://www.jetbrains.com/...); und weitere.
JetBrains unterhält seine Zentrale in Prag, Tschechische Republik, mit F&E-Labors in St. Petersburg, Russland, München, Deutschland, und Boston, Massachusetts.
Weitere Informationen finden Sie unter http://www.jetbrains.com.