Multi-domain transformational design flow for embedded systems


Rovers, Kenneth C. and Burgwal, Marcel D. van de and Kuper, Jan and Kokkeler, André B.J. and Smit, Gerard J.M. (2011) Multi-domain transformational design flow for embedded systems. In: International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation, IC-SAMOS 2011, 18-21 July 2011, Samos, Greece (pp. pp. 93-101).

[img] PDF
Restricted to UT campus only
: Request a copy
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.
Item Type:Conference or Workshop Item
Copyright:© 2011 IEEE
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page