Towards a Python-Based One Language Ecosystem for Embedded Systems Automation
Autor: | Michael Werner, Keerthikumara Devarajegowda, Zhao Han, Wolfgang Ecker |
---|---|
Rok vydání: | 2019 |
Předmět: |
010302 applied physics
Firmware business.industry Computer science Dataflow programming 02 engineering and technology Python (programming language) computer.software_genre 01 natural sciences 020202 computer hardware & architecture Metamodeling Digital subscriber line Proof of concept Embedded system 0103 physical sciences 0202 electrical engineering electronic engineering information engineering System on a chip Electronic design automation Software_PROGRAMMINGLANGUAGES business computer computer.programming_language |
Zdroj: | NORCAS |
DOI: | 10.1109/norchip.2019.8906949 |
Popis: | Design productivity remains a big problem in current embedded system development. Domain-Specific Languages (DSLs) are a promising measure to accelerate the development cycle. However, the inconsistent syntax in various DSLs, during system development and manual DSL development negatively impact any gained productivity. In this paper, we propose a metamodel-based framework for the generation of Python-embedded DSLs. A target metamodel abstracts models by defining elementary building blocks. With an additional configuration, our framework generates an expressive DSL which automates model construction and enables dataflow programming. By applying the proposed framework on different target meta-models, a “One Language Ecosystem” is formed with the generated DSLs describing RTL, firmware and formal properties. As a proof of concept, a System on a Chip (SoC) consisting of RTL code and a firmware stack is generated, and formal properties are automated to verify the hardware components. To develop the RTL DSL, a time reduction by a factor-of-six is observed by using this generative approach. Furthermore, by comparing the DSL description to the generated target code, a code reduction by a factor-of-eight is given. |
Databáze: | OpenAIRE |
Externí odkaz: |