itemis stellt mbeddr IDE auf der Embedded World 2012 vor

DiWiSH-Mitglied itemis AG und JetBrains sind eine neue Partnerschaft eingegangen: Gemeinsam verfolgen beide Unternehmen nun das Ziel, innovative Lösungen für die Embedded-Softwareentwicklung voranzutreiben. Im Fokus der Zusammenarbeit steht der auf JetBrains MPS basierende Ansatz mbeddr. Für die neue mbeddr IDE werden noch Betatester gesucht. 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. itemis und JetBrains kooperieren bei Embedded-Entwicklungen 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. Betatester gesucht Sowohl der Kern von mbeddr als auch JetBrains MPS sind Open-Source-Software und online verfügbar. 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. Weitere Informationen http://www.itemis.de http://www.jetbrains.com http://mbeddr.com Pressekontakt saalto Agentur und Redaktion GmbH Konstanze Kulus Spitalstraße 23a, 76227 Karlsruhe Tel. 0721.151 88-31 Fax 0721.161 09-88 E Mail konstanze@saalto.de