A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)

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 and model transformations 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
Place of PublicationEnschede
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages23
StatePublished - Sep 2016

Publication series

NameCTIT Technical Report Series
PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
No.TR-CTIT-16-09
ISSN (Print)1381-3625

Fingerprint

Hardware
Interoperability

Keywords

  • METIS-318514
  • Meta-modeling
  • Model Transformation
  • Model Driven Engineering
  • EWI-27205
  • IR-101851
  • EC Grant Agreement nr.: FP7/318490
  • EC Grant Agreement nr.: FP7/2007-2013
  • hardware-software co-design

Cite this

Ahmad, W., Yildiz, B. M., Rensink, A., & Stoelinga, M. I. A. (2016). A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version). (CTIT Technical Report Series; No. TR-CTIT-16-09). Enschede: Centre for Telematics and Information Technology (CTIT).

Ahmad, W.; Yildiz, Bugra Mehmet; Rensink, Arend; Stoelinga, Mariëlle Ida Antoinette / A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version).

Enschede : Centre for Telematics and Information Technology (CTIT), 2016. 23 p. (CTIT Technical Report Series; No. TR-CTIT-16-09).

Research output: ProfessionalReport

@book{841c64c6ff914d66ad49103212565385,
title = "A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)",
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 and model transformations 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 = "METIS-318514, Meta-modeling, Model Transformation, Model Driven Engineering, EWI-27205, IR-101851, EC Grant Agreement nr.: FP7/318490, EC Grant Agreement nr.: FP7/2007-2013, hardware-software co-design",
author = "W. Ahmad and Yildiz, {Bugra Mehmet} and Arend Rensink and Stoelinga, {Mariëlle Ida Antoinette}",
note = "Technical Report accompanying CyPhy 2016 paper.",
year = "2016",
month = "9",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "TR-CTIT-16-09",
address = "Netherlands",

}

Ahmad, W, Yildiz, BM, Rensink, A & Stoelinga, MIA 2016, A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version). CTIT Technical Report Series, no. TR-CTIT-16-09, Centre for Telematics and Information Technology (CTIT), Enschede.

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version). / Ahmad, W.; Yildiz, Bugra Mehmet; Rensink, Arend; Stoelinga, Mariëlle Ida Antoinette.

Enschede : Centre for Telematics and Information Technology (CTIT), 2016. 23 p. (CTIT Technical Report Series; No. TR-CTIT-16-09).

Research output: ProfessionalReport

TY - BOOK

T1 - A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)

AU - Ahmad,W.

AU - Yildiz,Bugra Mehmet

AU - Rensink,Arend

AU - Stoelinga,Mariëlle Ida Antoinette

N1 - Technical Report accompanying CyPhy 2016 paper.

PY - 2016/9

Y1 - 2016/9

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 and model transformations 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 and model transformations 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 - METIS-318514

KW - Meta-modeling

KW - Model Transformation

KW - Model Driven Engineering

KW - EWI-27205

KW - IR-101851

KW - EC Grant Agreement nr.: FP7/318490

KW - EC Grant Agreement nr.: FP7/2007-2013

KW - hardware-software co-design

M3 - Report

T3 - CTIT Technical Report Series

BT - A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)

PB - Centre for Telematics and Information Technology (CTIT)

ER -

Ahmad W, Yildiz BM, Rensink A, Stoelinga MIA. A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version). Enschede: Centre for Telematics and Information Technology (CTIT), 2016. 23 p. (CTIT Technical Report Series; TR-CTIT-16-09).