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)
    110 Downloads (Pure)


    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
    Number of pages15
    ISBN (Electronic)978-3-319-51738-4
    ISBN (Print)978-3-319-51737-7
    Publication statusPublished - 13 Jan 2017

    Publication series

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


    • 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