Multi-domain transformational design flow for embedded systems

K.C. Rovers, M.D. van de Burgwal, Jan Kuper, Andre B.J. Kokkeler, Gerardus Johannes Maria Smit

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

    2 Citations (Scopus)

    Abstract

    Current tools for embedded system design have limited support for modelling the interaction of the system with its physical environment. Furthermore, the natural representation of (streaming, real-time) applications with dataflow models is not supported by most tools. However, integrating multiple domains supports the design of complex interdisciplinary systems and enables model transformations. In this paper we discuss a unified approach, called UniTi, to handle continuous and discrete time models in a single framework, which includes the dataflow model as well. Our approach consists of a transformational design flow, expressed mathematically in a functional language. We formally distinguish the various domains and explain their interaction. In addition, we give guidelines for specifying algorithms such that these transformations can be applied. Our approach is illustrated with a non-trivial case study: beamforming in a phased array system.
    Original languageUndefined
    Title of host publicationInternational Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2011
    Place of PublicationUSA
    PublisherIEEE Computer Society
    Pages93-101
    Number of pages9
    ISBN (Print)978-1-4577-0802-2
    DOIs
    Publication statusPublished - 18 Jul 2011
    Event2011 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS XI - Institute of East Aegean, Samos, Greece
    Duration: 18 Jul 201121 Jul 2011
    Conference number: 11

    Publication series

    Name
    PublisherIEEE Computer Society

    Conference

    Conference2011 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS XI
    Abbreviated titleIC-SAMOS
    CountryGreece
    CitySamos
    Period18/07/1121/07/11

    Keywords

    • METIS-278738
    • IR-77924
    • Embedded system
    • EWI-20367
    • Model Transformations
    • system design flow
    • multi-domain
    • Model-based design

    Cite this