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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    69 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 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
    Title of host publicationProceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems
    Subtitle of host publicationCyPhy 2016. Revised Selected Papers
    EditorsC. Berger, M. Mousavi, R. Wisniewski
    Place of PublicationSwitserland
    PublisherSpringer
    Pages1-16
    Number of pages15
    Volume10107
    ISBN (Electronic)978-3-319-51738-4
    ISBN (Print)978-3-319-51737-7
    DOIs
    Publication statusPublished - 13 Jan 2017

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    Volume10107
    ISSN (Print)0302-9743

    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

    Ahmad, W., Yildiz, B. M., Rensink, A., & Stoelinga, M. I. A. (2017). A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. In C. Berger, M. Mousavi, & R. Wisniewski (Eds.), Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems: CyPhy 2016. Revised Selected Papers (Vol. 10107, pp. 1-16). (Lecture Notes in Computer Science; Vol. 10107). Switserland: Springer. https://doi.org/10.1007/978-3-319-51738-4_1
    Ahmad, W. ; Yildiz, Bugra Mehmet ; Rensink, Arend ; Stoelinga, Mariëlle Ida Antoinette. / A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems: CyPhy 2016. Revised Selected Papers. editor / C. Berger ; M. Mousavi ; R. Wisniewski. Vol. 10107 Switserland : Springer, 2017. pp. 1-16 (Lecture Notes in Computer Science).
    @inproceedings{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 = "W. Ahmad and Yildiz, {Bugra Mehmet} and Arend Rensink and Stoelinga, {Mari{\"e}lle Ida Antoinette}",
    year = "2017",
    month = "1",
    day = "13",
    doi = "10.1007/978-3-319-51738-4_1",
    language = "Undefined",
    isbn = "978-3-319-51737-7",
    volume = "10107",
    series = "Lecture Notes in Computer Science",
    publisher = "Springer",
    pages = "1--16",
    editor = "Berger, {C. } and Mousavi, {M. } and R. Wisniewski",
    booktitle = "Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems",

    }

    Ahmad, W, Yildiz, BM, Rensink, A & Stoelinga, MIA 2017, A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. in C Berger, M Mousavi & R Wisniewski (eds), Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems: CyPhy 2016. Revised Selected Papers. vol. 10107, Lecture Notes in Computer Science, vol. 10107, Springer, Switserland, pp. 1-16. https://doi.org/10.1007/978-3-319-51738-4_1

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

    Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems: CyPhy 2016. Revised Selected Papers. ed. / C. Berger; M. Mousavi; R. Wisniewski. Vol. 10107 Switserland : Springer, 2017. p. 1-16 (Lecture Notes in Computer Science; Vol. 10107).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    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

    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 - Conference contribution

    SN - 978-3-319-51737-7

    VL - 10107

    T3 - Lecture Notes in Computer Science

    SP - 1

    EP - 16

    BT - Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems

    A2 - Berger, C.

    A2 - Mousavi, M.

    A2 - Wisniewski, R.

    PB - Springer

    CY - Switserland

    ER -

    Ahmad W, Yildiz BM, Rensink A, Stoelinga MIA. A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. In Berger C, Mousavi M, Wisniewski R, editors, Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems: CyPhy 2016. Revised Selected Papers. Vol. 10107. Switserland: Springer. 2017. p. 1-16. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-51738-4_1