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

doi:10.1109/SAMOS.2011.6045449

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 proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

15 Downloads (Pure)

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 language	Undefined
Title of host publication	International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2011
Place of Publication	USA
Publisher	IEEE
Pages	93-101
Number of pages	9
ISBN (Print)	978-1-4577-0802-2
DOIs	https://doi.org/10.1109/SAMOS.2011.6045449
Publication status	Published - 18 Jul 2011
Event	2011 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS XI - Institute of East Aegean, Samos, Greece Duration: 18 Jul 2011 → 21 Jul 2011 Conference number: 11

Publication series

Name
Publisher	IEEE Computer Society

Conference

Conference	2011 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS XI
Abbreviated title	IC-SAMOS
Country/Territory	Greece
City	Samos
Period	18/07/11 → 21/07/11

Keywords

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

Access to Document

10.1109/SAMOS.2011.6045449

http://eprints.eemcs.utwente.nl/secure2/20367/01/PID1838347.pdf

Cite this

@inproceedings{d09faf4962f248fabaa99bdb1b4dbf5f,

title = "Multi-domain transformational design flow for embedded systems",

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.",

keywords = "METIS-278738, IR-77924, Embedded system, EWI-20367, Model Transformations, system design flow, multi-domain, Model-based design",

author = "K.C. Rovers and {van de Burgwal}, M.D. and Jan Kuper and Kokkeler, {Andre B.J.} and Smit, {Gerardus Johannes Maria}",

year = "2011",

month = jul,

day = "18",

doi = "10.1109/SAMOS.2011.6045449",

language = "Undefined",

isbn = "978-1-4577-0802-2",

publisher = "IEEE",

pages = "93--101",

booktitle = "International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2011",

address = "United States",

note = "2011 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS XI ; Conference date: 18-07-2011 Through 21-07-2011",

}

Rovers, KC, van de Burgwal, MD, Kuper, J, Kokkeler, ABJ & Smit, GJM 2011, Multi-domain transformational design flow for embedded systems. in International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2011. IEEE, USA, pp. 93-101, 2011 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS XI, Samos, Greece, 18/07/11. https://doi.org/10.1109/SAMOS.2011.6045449

Multi-domain transformational design flow for embedded systems. / Rovers, K.C.; van de Burgwal, M.D.; Kuper, Jan et al.
International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2011. USA: IEEE, 2011. p. 93-101.

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

TY - GEN

T1 - Multi-domain transformational design flow for embedded systems

AU - Rovers, K.C.

AU - van de Burgwal, M.D.

AU - Kuper, Jan

AU - Kokkeler, Andre B.J.

AU - Smit, Gerardus Johannes Maria

N1 - Conference code: 11

PY - 2011/7/18

Y1 - 2011/7/18

N2 - 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.

AB - 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.

KW - METIS-278738

KW - IR-77924

KW - Embedded system

KW - EWI-20367

KW - Model Transformations

KW - system design flow

KW - multi-domain

KW - Model-based design

U2 - 10.1109/SAMOS.2011.6045449

DO - 10.1109/SAMOS.2011.6045449

M3 - Conference contribution

SN - 978-1-4577-0802-2

SP - 93

EP - 101

BT - International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2011

PB - IEEE

CY - USA

T2 - 2011 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, IC-SAMOS XI

Y2 - 18 July 2011 through 21 July 2011

ER -