On self-verifying DSL generation for embedded systems automation

Zhao Han, Shahzaib Qazi, Michael Werner, Keerthikumara Devarajegowda, Wolfgang Ecker

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Scopus citations

Abstract

As various domain knowledge is prerequired, the embedded systems development is difficult. In the development process, multiple programming languages are used to develop different aspects such as hardware, firmware and formal verification. The semantic gap and inconsistent syntax among these languages escalate further the design efforts. We propose to generate Python-embedded Self-Verifying Domain-Specific Languages (DSLs) from metamodels. Domain-specific semantics are captured in metamodels. With additional configurations, domain-specific functionalities are included in DSLs. Further, tests are generated to assure the DSL quality. To demonstrate the applicability, the proposed approach is applied on an embedded system automation framework that generates hardware, firmware and formal properties for verification. An SoC was generated and verified with the automation framework. Minimal efforts were observed to achieve high code coverage for DSLs. Furthermore, our approach scales well with increasing domain complexity, i.e., the generation took less than 10 seconds for the most complex DSL (129.9k Lines of Code).

Original languageEnglish
Title of host publicationMBMV 2021
Subtitle of host publicationMethoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 24. Workshop
PublisherVDE VERLAG GMBH
Pages124-130
Number of pages7
ISBN (Electronic)9783800755011
StatePublished - 2021
Event24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2021 - 24th Workshop on Methods and Description Languages for the Modeling and Verification of Circuits and Systems, MBMV 2021 - Virtual, Online
Duration: 18 Mar 202119 Mar 2021

Publication series

NameMBMV 2021: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen - 24. Workshop

Conference

Conference24. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2021 - 24th Workshop on Methods and Description Languages for the Modeling and Verification of Circuits and Systems, MBMV 2021
CityVirtual, Online
Period18/03/2119/03/21

Keywords

  • Domain-Specific Language Generation
  • Electronic Design Automation
  • Metamodeling
  • Quality Assurance

Fingerprint

Dive into the research topics of 'On self-verifying DSL generation for embedded systems automation'. Together they form a unique fingerprint.

Cite this