A metamodel and model-based design rule checking DSL for verification and validation of electronic circuit designs

  • Development of embedded systems depends on both software and hardware design activities. Quality management of development artifacts is of crucial importance for the overall function and safety of the final product. This paper introduces a metamodel and model-based approach and accompanying domain-specific language for validation of electronic circuit designs. The solution does not depend on any particular electronic design automation (EDA) software, instead we propose a workflow that is integrated into a modular, general-purpose model analysis framework. The paper illustrates both the underlying concepts as well as possible application scenarios for the developed validation domain-specific language, MBDRC (Model-Based Design Rule Checking). It also discusses fields for further research and transfer of the initial results.

Download full text files

Export metadata


Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Author:Adrian RumpoldORCiDGND, Bernhard BauerORCiDGND
Frontdoor URLhttps://opus.bibliothek.uni-augsburg.de/opus4/53932
Parent Title (English):Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD
Place of publication:Setúbal
Editor:Slimane Hammoudi, Luis Ferreira Pires, Bran Selić
Type:Part of a Book
Year of first Publication:2019
Publishing Institution:Universität Augsburg
Release Date:2019/05/16
First Page:317
Last Page:324
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Software & Systems Engineering
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Softwaretechnik / Professur Softwaremethodik für verteilte Systeme
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht