A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

Christian Berger (Editor), W. Ahmad, Bugra Mehmet Yildiz, Mohammad Reza Mousavi (Editor), Arend Rensink, Rafael Wisniewski (Editor), Mariëlle Ida Antoinette Stoelinga

  • 1 Citations

Abstract

Hardware-software (HW-SW) co-design allows to meet system-level objectives by exploiting the synergy of hardware and software. Current tools and approaches for HW-SW co-design face difficulties coping with the increasing complexity of modern-day application due to, e.g., concurrency and energy constraints. Therefore, an automated modeling approach is needed which satisfies modularity, extensibility and interoperability requirements. Model-Driven Engineering (MDE) is a prominent paradigm that, by treating models as first-class citizens, helps to fulfill these requirements. This paper presents a state-of-the-art MDE-based framework for HW-SW co-design of dataflow applications, based on synchronous dataflow (SDF) graph formalism. In the framework, we introduce a reusable set of three coherent metamodels for creating HW-SW co-design models concerning SDF graphs, hardware platforms and allocation of SDF tasks to hardware. The framework also contains model transformations that cast these models into priced timed-automata models, the input language of the well-known model checker Uppaal Cora. We demonstrate how our framework satisfies the requirements of modularity, extensibility and interoperability in an industrial case study.
Original languageUndefined
Pages1-16
Number of pages15
DOIs
StatePublished - 13 Jan 2017

Fingerprint

Hardware
Interoperability

Keywords

  • Priced Timed Automata
  • Synchronous Data Flow
  • EC Grant Agreement nr.: FP7/318490
  • EWI-27608
  • EuGenia
  • IR-104078
  • Metamodel
  • HW/SW co-design
  • GMF
  • Model Driven Engineering
  • Model Transformation
  • Viola-Jones face detector
  • ETL
  • Eclipse
  • Ecore
  • Uppaal Cora
  • UPPAAL
  • SDF

Cite this

Berger, Christian (Editor); Ahmad, W.; Yildiz, Bugra Mehmet; Reza Mousavi, Mohammad (Editor); Rensink, Arend; Wisniewski, Rafael (Editor); Stoelinga, Mariëlle Ida Antoinette / A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications.

2017. 1-16.

Research output: Scientific - peer-reviewPaper

@misc{fd33890c821e456a8e6d495bda60e0ab,
title = "A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications",
abstract = "Hardware-software (HW-SW) co-design allows to meet system-level objectives by exploiting the synergy of hardware and software. Current tools and approaches for HW-SW co-design face difficulties coping with the increasing complexity of modern-day application due to, e.g., concurrency and energy constraints. Therefore, an automated modeling approach is needed which satisfies modularity, extensibility and interoperability requirements. Model-Driven Engineering (MDE) is a prominent paradigm that, by treating models as first-class citizens, helps to fulfill these requirements. This paper presents a state-of-the-art MDE-based framework for HW-SW co-design of dataflow applications, based on synchronous dataflow (SDF) graph formalism. In the framework, we introduce a reusable set of three coherent metamodels for creating HW-SW co-design models concerning SDF graphs, hardware platforms and allocation of SDF tasks to hardware. The framework also contains model transformations that cast these models into priced timed-automata models, the input language of the well-known model checker Uppaal Cora. We demonstrate how our framework satisfies the requirements of modularity, extensibility and interoperability in an industrial case study.",
keywords = "Priced Timed Automata, Synchronous Data Flow, EC Grant Agreement nr.: FP7/318490, EWI-27608, EuGenia, IR-104078, Metamodel, HW/SW co-design, GMF, Model Driven Engineering, Model Transformation, Viola-Jones face detector, ETL, Eclipse, Ecore, Uppaal Cora, UPPAAL, SDF",
author = "Christian Berger and W. Ahmad and Yildiz, {Bugra Mehmet} and {Reza Mousavi}, Mohammad and Arend Rensink and Rafael Wisniewski and Stoelinga, {Mariëlle Ida Antoinette}",
year = "2017",
month = "1",
doi = "10.1007/978-3-319-51738-4_1",
pages = "1--16",

}

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. / Berger, Christian (Editor); Ahmad, W.; Yildiz, Bugra Mehmet; Reza Mousavi, Mohammad (Editor); Rensink, Arend; Wisniewski, Rafael (Editor); Stoelinga, Mariëlle Ida Antoinette.

2017. 1-16.

Research output: Scientific - peer-reviewPaper

TY - CONF

T1 - A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

AU - Ahmad,W.

AU - Yildiz,Bugra Mehmet

AU - Rensink,Arend

AU - Stoelinga,Mariëlle Ida Antoinette

A2 - Berger,Christian

A2 - Reza Mousavi,Mohammad

A2 - Wisniewski,Rafael

PY - 2017/1/13

Y1 - 2017/1/13

N2 - Hardware-software (HW-SW) co-design allows to meet system-level objectives by exploiting the synergy of hardware and software. Current tools and approaches for HW-SW co-design face difficulties coping with the increasing complexity of modern-day application due to, e.g., concurrency and energy constraints. Therefore, an automated modeling approach is needed which satisfies modularity, extensibility and interoperability requirements. Model-Driven Engineering (MDE) is a prominent paradigm that, by treating models as first-class citizens, helps to fulfill these requirements. This paper presents a state-of-the-art MDE-based framework for HW-SW co-design of dataflow applications, based on synchronous dataflow (SDF) graph formalism. In the framework, we introduce a reusable set of three coherent metamodels for creating HW-SW co-design models concerning SDF graphs, hardware platforms and allocation of SDF tasks to hardware. The framework also contains model transformations that cast these models into priced timed-automata models, the input language of the well-known model checker Uppaal Cora. We demonstrate how our framework satisfies the requirements of modularity, extensibility and interoperability in an industrial case study.

AB - Hardware-software (HW-SW) co-design allows to meet system-level objectives by exploiting the synergy of hardware and software. Current tools and approaches for HW-SW co-design face difficulties coping with the increasing complexity of modern-day application due to, e.g., concurrency and energy constraints. Therefore, an automated modeling approach is needed which satisfies modularity, extensibility and interoperability requirements. Model-Driven Engineering (MDE) is a prominent paradigm that, by treating models as first-class citizens, helps to fulfill these requirements. This paper presents a state-of-the-art MDE-based framework for HW-SW co-design of dataflow applications, based on synchronous dataflow (SDF) graph formalism. In the framework, we introduce a reusable set of three coherent metamodels for creating HW-SW co-design models concerning SDF graphs, hardware platforms and allocation of SDF tasks to hardware. The framework also contains model transformations that cast these models into priced timed-automata models, the input language of the well-known model checker Uppaal Cora. We demonstrate how our framework satisfies the requirements of modularity, extensibility and interoperability in an industrial case study.

KW - Priced Timed Automata

KW - Synchronous Data Flow

KW - EC Grant Agreement nr.: FP7/318490

KW - EWI-27608

KW - EuGenia

KW - IR-104078

KW - Metamodel

KW - HW/SW co-design

KW - GMF

KW - Model Driven Engineering

KW - Model Transformation

KW - Viola-Jones face detector

KW - ETL

KW - Eclipse

KW - Ecore

KW - Uppaal Cora

KW - UPPAAL

KW - SDF

U2 - 10.1007/978-3-319-51738-4_1

DO - 10.1007/978-3-319-51738-4_1

M3 - Paper

SP - 1

EP - 16

ER -

Berger C, (ed.), Ahmad W, Yildiz BM, Reza Mousavi M, (ed.), Rensink A, Wisniewski R, (ed.) et al. A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. 2017. Available from, DOI: 10.1007/978-3-319-51738-4_1