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.