skip to main content
10.1145/2663171.2663186acmconferencesArticle/Chapter ViewAbstractPublication PagesadaConference Proceedingsconference-collections
research-article

mbeddr: extensible languages for embedded software development

Published: 18 October 2014 Publication History

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).
[2]
Fault tree analysis - http://goo.gl/XQBevA (as on 21.07.2014).
[3]
Jetbrains MPS (Meta Programming System) - http://www.jetbrains.com/mps/.
[4]
The mbeddr project - mbeddr.com.
[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.
[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.
[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.

Cited By

View all
  • (2020)The Art of BootstrappingModel-Driven Engineering and Software Development10.1007/978-3-030-37873-8_8(182-200)Online publication date: 3-Jan-2020
  • (2014)mbeddr - Extensible Languages for Embedded Software DevelopmentProceedings of the 2014 Workshop on Eclipse Technology eXchange10.1145/2688130.2688132(21-22)Online publication date: 21-Oct-2014
  • (2024)Supporting Construction of Domain-Specific Representations in Textual Source CodeProceedings of the 3rd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments10.1145/3689488.3689990(17-28)Online publication date: 18-Oct-2024
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
HILT '14: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technology
October 2014
116 pages
ISBN:9781450332170
DOI:10.1145/2663171
Permission to make digital or hard copies of all or part 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 components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 18 October 2014

Permissions

Request permissions for this article.

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

HILT '14
Sponsor:

Acceptance Rates

HILT '14 Paper Acceptance Rate 12 of 20 submissions, 60%;
Overall Acceptance Rate 27 of 48 submissions, 56%

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)3
  • Downloads (Last 6 weeks)0
Reflects downloads up to 11 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2020)The Art of BootstrappingModel-Driven Engineering and Software Development10.1007/978-3-030-37873-8_8(182-200)Online publication date: 3-Jan-2020
  • (2014)mbeddr - Extensible Languages for Embedded Software DevelopmentProceedings of the 2014 Workshop on Eclipse Technology eXchange10.1145/2688130.2688132(21-22)Online publication date: 21-Oct-2014
  • (2024)Supporting Construction of Domain-Specific Representations in Textual Source CodeProceedings of the 3rd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments10.1145/3689488.3689990(17-28)Online publication date: 18-Oct-2024
  • (2024)Text Editing, with Structure2024 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC)10.1109/VL/HCC60511.2024.00055(1-2)Online publication date: 2-Sep-2024
  • (2023)Visual Replacements: Cross-Language Domain-Specific Representations in Structured EditorsProceedings of the 2nd ACM SIGPLAN International Workshop on Programming Abstractions and Interactive Notations, Tools, and Environments10.1145/3623504.3623569(25-35)Online publication date: 18-Oct-2023
  • (2023)Structured Editing for All: Deriving Usable Structured Editors from GrammarsProceedings of the 2023 CHI Conference on Human Factors in Computing Systems10.1145/3544548.3580785(1-16)Online publication date: 19-Apr-2023
  • (2022)Partial Parsing for Structured EditorsProceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3567512.3567522(110-120)Online publication date: 29-Nov-2022
  • (2021)Teaching Language Engineering Using MPSDomain-Specific Languages in Practice10.1007/978-3-030-73758-0_11(315-336)Online publication date: 15-Apr-2021

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