skip to main content
research-article

mbeddr: extensible languages for embedded software development

Published:18 October 2014Publication History
Skip Abstract Section

Abstract

In this industrial presentation we will demonstrate mbeddr, an extensible set of integrated languages for embedded software development. After discussing the context of the talk, we will give details about the mbeddr architecture, which relies on the MPS language workbench. Then we will elaborate on the extension modules and show how they fit with safety-critical development processes. Finally we will point out how the existing languages can be extended by the user by giving some real-world examples, including a language construct that could have prevented the Apple 'goto fail' bug as well as mathematical notations.

References

  1. Failure mode and effects analysis - http://goo.gl/3CoKV (as on 21.07.2014).Google ScholarGoogle Scholar
  2. Fault tree analysis - http://goo.gl/XQBevA (as on 21.07.2014).Google ScholarGoogle Scholar
  3. Jetbrains MPS (Meta Programming System) - http://www.jetbrains.com/mps/.Google ScholarGoogle Scholar
  4. The mbeddr project - mbeddr.com.Google ScholarGoogle Scholar
  5. 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. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Markus Voelter, Sebastian Benz, Christian Dietrich, Birgit Engelmann, Mats Helander, Lennart C. L. Kats, Eelco Visser, and Guido Wachsmuth. DSL Engineering - Designing, Implementing and Using Domain-Specific Languages. dslbook.org, 2013.Google ScholarGoogle Scholar
  7. Markus Voelter, Daniel Ratiu, Bernd Kolb, and Bernhard Schaetz. mbeddr: instantiating a language workbench in the embedded software domain. Automated Software Engineering, 20(3):339--390, 2013.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. mbeddr: extensible languages for embedded software development

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!