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.
- Failure mode and effects analysis - http://goo.gl/3CoKV (as on 21.07.2014).Google Scholar
- Fault tree analysis - http://goo.gl/XQBevA (as on 21.07.2014).Google Scholar
- Jetbrains MPS (Meta Programming System) - http://www.jetbrains.com/mps/.Google Scholar
- The mbeddr project - mbeddr.com.Google Scholar
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Cross Ref
Index Terms
mbeddr: extensible languages for embedded software development
Recommendations
mbeddr: extensible languages for embedded software development
HILT '14: Proceedings of the 2014 ACM SIGAda annual conference on High integrity language technologyIn 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 ...
mbeddr - Extensible Languages for Embedded Software Development
ETX '14: Proceedings of the 2014 Workshop on Eclipse Technology eXchangeTodays' 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 ...
Lessons learned from developing mbeddr: a case study in language engineering with MPS
Language workbenches are touted as a promising technology to engineer languages for use in a wide range of domains, from programming to science to business. However, not many real-world case studies exist that evaluate the suitability of language ...







Comments