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

W. Ahmad, Bugra Mehmet Yildiz, Arend Rensink, 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
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 Verlag
Pages1-16
Number of pages15
Volume10107
ISBN (Electronic)978-3-319-51738-4
ISBN (Print)978-3-319-51737-7
DOIs
StatePublished - 13 Jan 2017

Publication series

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

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

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 Verlag. DOI: 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. ed. / C. Berger; M. Mousavi; R. Wisniewski. Vol. 10107 Switserland : Springer Verlag, 2017. p. 1-16 (Lecture Notes in Computer Science; Vol. 10107).

Research output: Scientific - peer-reviewConference contribution

@inbook{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ëlle Ida Antoinette}",
year = "2017",
month = "1",
doi = "10.1007/978-3-319-51738-4_1",
isbn = "978-3-319-51737-7",
volume = "10107",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
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",
address = "Germany",

}

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 Verlag, Switserland, pp. 1-16. DOI: 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 Verlag, 2017. p. 1-16 (Lecture Notes in Computer Science; Vol. 10107).

Research output: Scientific - peer-reviewConference contribution

TY - CHAP

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

PB - Springer Verlag

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 Verlag. 2017. p. 1-16. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-319-51738-4_1