skip to main content
10.1145/2688130.2688132acmconferencesArticle/Chapter ViewAbstractPublication PagessplashConference Proceedingsconference-collections
research-article

mbeddr - Extensible Languages for Embedded Software Development

Published: 21 October 2014 Publication History

Abstract

Todays' embedded systems are highly diverse, often very complex and many domains are safety-critical, where hardware or software failures may cost lives or a lot of money. An adequate language and tool can ease the development of such systems in many ways; it can ensure the well-formedness of the content and increase the productivity of the developer through the automation of many tedious and repetitive (thus error-prone) tasks, while it can also help with the verification of the critical properties of the system.
While the C programming language provides very good support for writing efficient, low-level code, it does not offer adequate means for defining higher-level abstractions relevant to embedded software. In this industrial presentation we present the mbeddr technology stack that supports the extension of C with constructs adequate for embedded systems. In mbeddr, efficient low-level programs can be written using the well-known concepts from C. Higher-level domain-specific abstractions can be seamlessly integrated into C by means of modular language extensions regarding syntax, type system, semantics and IDE.

References

[1]
The mbeddr project - mbeddr.com.
[2]
Jetbrains MPS (Meta Programming System) -http://www.jetbrains.com/mps/.
[3]
D. Ratiu, B. Schaetz, M. Voelter, and B. Kolb. Language engineering as an enabler for incrementally defined formal analyses. In Software Engineering: Rigorous and Agile Approaches(FormSERA), 2012 Formal Methods in, pages 9?15, June 2012.
[4]
T. Szabó, M. Voelter, B. Kolb, D. Ratiu, and B. Schaetz. Mbeddr: Extensible languages for embedded software development. In Proceedings of the 2014 ACM SIGAda Annual Conference on High Integrity Language Technology, HILT ?14, pages 13?16, New York, NY, USA, 2014. ACM. ISBN 978-1-4503-3217-0. . URL http://doi.acm.org/10.1145/2663171. 2663186.
[5]
M. Voelter, S. Benz, C. Dietrich, B. Engelmann, M. Helander, L. C. L. Kats, E. Visser, and G. Wachsmuth. DSL Engineering - Designing, Implementing and Using Domain-Specific Languages. dslbook.org, 2013. ISBN 978-1-4812-1858-0.
[6]
M. Voelter, D. Ratiu, B. Kolb, and B. Schaetz. mbeddr: instantiating a language workbench in the embedded software domain. Automated Software Engineering, 20(3):339?390, 2013. ISSN 0928-8910. . URL http://dx.doi.org/10.1007/s10515-013-0120-4.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
ETX '14: Proceedings of the 2014 Workshop on Eclipse Technology eXchange
October 2014
36 pages
ISBN:9781450325301
DOI:10.1145/2688130
Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Sponsors

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 21 October 2014

Check for updates

Author Tags

  1. domain specific languages and tooling
  2. embedded systems
  3. language workbenches
  4. synthesis of tailored tools

Qualifiers

  • Research-article

Conference

SPLASH '14
Sponsor:

Upcoming Conference

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 57
    Total Downloads
  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 10 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media