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

Waheed Ahmad; Bugra M. Yildiz; Arend Rensink; Mariëlle Stoelinga

doi:10.1007/978-3-319-51738-4_1

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

Waheed Ahmad, Bugra M. Yildiz, Arend Rensink, Mariëlle Stoelinga

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

224 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 language	English
Title of host publication	Cyber Physical Systems. Design, Modeling, and Evaluation
Subtitle of host publication	6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Editors	C. Berger, M. Mousavi, R. Wisniewski
Place of Publication	Switserland
Publisher	Springer
Pages	1-16
Number of pages	15
ISBN (Electronic)	978-3-319-51738-4
ISBN (Print)	978-3-319-51737-7
DOIs	https://doi.org/10.1007/978-3-319-51738-4_1
Publication status	Published - 13 Jan 2017
Event	6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2016 - Pittsburgh, United States Duration: 6 Oct 2016 → 6 Oct 2016

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	10107
ISSN (Print)	0302-9743

Workshop

Workshop	6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2016
Country/Territory	United States
City	Pittsburgh
Period	6/10/16 → 6/10/16

Keywords

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

Access to Document

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

ArticleAccepted author version, 881 KB

Cite this

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

Ahmad, Waheed ; Yildiz, Bugra M. ; Rensink, Arend et al. / A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. editor / C. Berger ; M. Mousavi ; R. Wisniewski. 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, EuGenia, Metamodel, HW/SW co-design, GMF, Model Driven Engineering, Model Transformation, Viola-Jones face detector, ETL, Eclipse, Ecore, Uppaal Cora, UPPAAL, SDF",

author = "Waheed Ahmad and Yildiz, {Bugra M.} and Arend Rensink and Mari{\"e}lle Stoelinga",

year = "2017",

month = jan,

day = "13",

doi = "10.1007/978-3-319-51738-4_1",

language = "English",

isbn = "978-3-319-51737-7",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "1--16",

editor = "Berger, {C. } and Mousavi, {M. } and R. Wisniewski",

booktitle = "Cyber Physical Systems. Design, Modeling, and Evaluation",

address = "Germany",

note = "6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2016 ; Conference date: 06-10-2016 Through 06-10-2016",

}

Ahmad, W, Yildiz, BM, Rensink, A & Stoelinga, M 2017, A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. in C Berger, M Mousavi & R Wisniewski (eds), Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. Lecture Notes in Computer Science, vol. 10107, Springer, Switserland, pp. 1-16, 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2016, Pittsburgh, Pennsylvania, United States, 6/10/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, Waheed; Yildiz, Bugra M.; Rensink, Arend et al.
Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. ed. / C. Berger; M. Mousavi; R. Wisniewski. Switserland: Springer, 2017. p. 1-16 (Lecture Notes in Computer Science; Vol. 10107).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

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

AU - Ahmad, Waheed

AU - Yildiz, Bugra M.

AU - Rensink, Arend

AU - Stoelinga, Mariëlle

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 - EuGenia

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

T3 - Lecture Notes in Computer Science

SP - 1

EP - 16

BT - Cyber Physical Systems. Design, Modeling, and Evaluation

A2 - Berger, C.

A2 - Mousavi, M.

A2 - Wisniewski, R.

PB - Springer

CY - Switserland

T2 - 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2016

Y2 - 6 October 2016 through 6 October 2016

ER -

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

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

Abstract

Publication series

Workshop

Keywords

Access to Document

Fingerprint

Cite this