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

W. Ahmad, Bugra Mehmet Yildiz, Arend Rensink, Mariëlle Ida Antoinette Stoelinga

    Research output: Book/ReportReportProfessional

    53 Downloads (Pure)

    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
    Publication statusPublished - 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

    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; TR-CTIT-16-09).
    @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{\"e}lle Ida Antoinette}",
    note = "Technical Report accompanying CyPhy 2016 paper.",
    year = "2016",
    month = "9",
    language = "Undefined",
    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: Book/ReportReportProfessional

    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)

    CY - Enschede

    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).