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ó | 1 | 7 | 2.28 |
Markus Voelter | 2 | 321 | 29.85 |
Bernd Kolb | 3 | 151 | 13.29 |
Daniel Ratiu | 4 | 493 | 38.87 |
Bernhard Schätz | 5 | 604 | 94.43 |