Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

27608 A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications
Home Policy Brochure Browse Search User Area Contact Help

Ahmad, W. and Yildiz, B.M. and Rensink, A. and Stoelinga, M.I.A. (2017) A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications. In: Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems, CyPhy 2016. Revised Selected Papers., 06 Oct 2016, Pittsburgh, PA, USA. pp. 1-16. Lecture Notes in Computer Science 10107. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-51737-7

Full text available as:


881 Kb

Official URL:


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.

Item Type:Conference or Workshop Paper (Full Paper, Talk)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-General
Research Project:SENSATION: Self Energy-supporting Autonomous Computation, BEAT: Better Testing With Game Theory
Uncontrolled Keywords:HW/SW co-design, Model-driven engineering, Metamodel, Model transformation, Uppaal, SDF, synchronous dataflow, Viola-Jones face detector, priced timed automata, Uppaal Cora, Eclipse, ETL, EuGenia, GMF, Ecore
ID Code:27608
Deposited On:14 March 2017
More Information:statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item