Title
mbeddr: extensible languages for embedded software development
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.
Year
DOI
Venue
2014
10.1145/2688130.2688132
ACM Sigada Ada Letters
Keywords
DocType
Volume
domain specific languages and tooling,embedded systems,language workbenches,synthesis of tailored tools
Conference
34
Issue
ISSN
Citations 
3
1094-3641
2
PageRank 
References 
Authors
0.71
3
5
Name
Order
Citations
PageRank
Tamás Szabó172.28
Markus Voelter232129.85
Bernd Kolb315113.29
Daniel Ratiu449338.87
Bernhard Schätz560494.43