loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Adrian Rumpold and Bernhard Bauer

Affiliation: Institute of Computer Science, University of Augsburg and Germany

Keyword(s): Domain-specific Modeling, Model-based Analysis, Model-based Testing and Validation, Systems Engineering, Electronic Design Automation, Design Rule Checking.

Related Ontology Subjects/Areas/Topics: Applications and Software Development ; Domain-Specific Modeling and Domain-Specific Languages ; Languages, Tools and Architectures ; Methodologies, Processes and Platforms ; Model-Based Testing and Validation ; Model-Driven Software Development ; Software Engineering ; Systems Engineering

Abstract: 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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.214.106.184

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Rumpold, A. and Bauer, B. (2019). A Metamodel and Model-based Design Rule Checking DSL for Verification and Validation of Electronic Circuit Designs. In Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - MODELSWARD; ISBN 978-989-758-358-2; ISSN 2184-4348, SciTePress, pages 317-324. DOI: 10.5220/0007381303170324

@conference{modelsward19,
author={Adrian Rumpold. and Bernhard Bauer.},
title={A Metamodel and Model-based Design Rule Checking DSL for Verification and Validation of Electronic Circuit Designs},
booktitle={Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - MODELSWARD},
year={2019},
pages={317-324},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0007381303170324},
isbn={978-989-758-358-2},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development - MODELSWARD
TI - A Metamodel and Model-based Design Rule Checking DSL for Verification and Validation of Electronic Circuit Designs
SN - 978-989-758-358-2
IS - 2184-4348
AU - Rumpold, A.
AU - Bauer, B.
PY - 2019
SP - 317
EP - 324
DO - 10.5220/0007381303170324
PB - SciTePress