Functional model-based design of embedded systems with UniTi

K.C. Rovers

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

70 Downloads (Pure)

Abstract

Advancing the field of embedded systems requires a rigorous approach to their design. This is because embedded systems are complex, diverse and challenging. Although many tools exist, none support the following four essential features: (i) the modelling of multiple domains, (ii) accurate inclusion of time, (iii) mathematical definitions, and (iv) model transformations. In addition, such a tool must underlie a sound design flow that adequately supports the complexity of designing embedded systems. In this thesis we propose a design flow and a modelling and simulation framework called UniTi that manages complexity in a top-down fashion; a problem is split up into sub-problems that are solved individually and then combined. This design flow and framework is based on model-based design, i.e. a single reference model is iteratively and incrementally developed and refined during the design process. Our approach is a functional approach, not only because it is practical and useful, but also because it has a mathematical basis supported by a functional language, i.e. computations are considered as evaluations of mathematical functions. In this work we specialise the design for the application domain of beamforming applications, for which we propose a generic platform. Two adaptive algorithms for tracking are developed in the context of this platform. A tiled reconfigurable architecture is used, as the tiles provide scalability and reconfigurability provides flexibility. The environment and analogue hardware are represented in the continuous time (CT) domain, while digital hardware is represented in the discrete time (DT) domain and software in the dataflow (DF) domain. We formally define the CT, DT, and DF domains for UniTi. It also supports exact time delays in the CT domain by representing signals as functions of time. Model components, represented as signal transformations, are composed using function composition instead of value-passing, with unified sequential, parallel and feedback composition by re-defining the dataflow model to match with CT and DT components and signals. As a consequence, mixed-domain models are executable for simulation. Finally, UniTi provides support for model transformations. The result of this work is a functional model-based design approach for designing, modelling, and simulation of embedded systems.
Original languageUndefined
Awarding Institution
  • University of Twente
Supervisors/Advisors
  • Smit, Gerardus Johannes Maria, Supervisor
  • Kuper, Jan , Advisor
  • Kokkeler, Andre B.J., Advisor
Thesis sponsors
Award date2 Dec 2011
Place of PublicationEnschede, the Netherlands
Publisher
Print ISBNs978-90-365-3294-5
DOIs
Publication statusPublished - 2 Dec 2011

Keywords

  • IR-78601
  • EWI-21156
  • METIS-284961

Cite this

Rovers, K. C. (2011). Functional model-based design of embedded systems with UniTi. Enschede, the Netherlands: University of Twente. https://doi.org/10.3990/1.9789036532945
Rovers, K.C.. / Functional model-based design of embedded systems with UniTi. Enschede, the Netherlands : University of Twente, 2011. 216 p.
@phdthesis{643a4ec801424192903cda0729899996,
title = "Functional model-based design of embedded systems with UniTi",
abstract = "Advancing the field of embedded systems requires a rigorous approach to their design. This is because embedded systems are complex, diverse and challenging. Although many tools exist, none support the following four essential features: (i) the modelling of multiple domains, (ii) accurate inclusion of time, (iii) mathematical definitions, and (iv) model transformations. In addition, such a tool must underlie a sound design flow that adequately supports the complexity of designing embedded systems. In this thesis we propose a design flow and a modelling and simulation framework called UniTi that manages complexity in a top-down fashion; a problem is split up into sub-problems that are solved individually and then combined. This design flow and framework is based on model-based design, i.e. a single reference model is iteratively and incrementally developed and refined during the design process. Our approach is a functional approach, not only because it is practical and useful, but also because it has a mathematical basis supported by a functional language, i.e. computations are considered as evaluations of mathematical functions. In this work we specialise the design for the application domain of beamforming applications, for which we propose a generic platform. Two adaptive algorithms for tracking are developed in the context of this platform. A tiled reconfigurable architecture is used, as the tiles provide scalability and reconfigurability provides flexibility. The environment and analogue hardware are represented in the continuous time (CT) domain, while digital hardware is represented in the discrete time (DT) domain and software in the dataflow (DF) domain. We formally define the CT, DT, and DF domains for UniTi. It also supports exact time delays in the CT domain by representing signals as functions of time. Model components, represented as signal transformations, are composed using function composition instead of value-passing, with unified sequential, parallel and feedback composition by re-defining the dataflow model to match with CT and DT components and signals. As a consequence, mixed-domain models are executable for simulation. Finally, UniTi provides support for model transformations. The result of this work is a functional model-based design approach for designing, modelling, and simulation of embedded systems.",
keywords = "IR-78601, EWI-21156, METIS-284961",
author = "K.C. Rovers",
note = "eemcs-eprint-21156 http://eprints.ewi.utwente.nl/21156",
year = "2011",
month = "12",
day = "2",
doi = "10.3990/1.9789036532945",
language = "Undefined",
isbn = "978-90-365-3294-5",
publisher = "University of Twente",
address = "Netherlands",
school = "University of Twente",

}

Rovers, KC 2011, 'Functional model-based design of embedded systems with UniTi', University of Twente, Enschede, the Netherlands. https://doi.org/10.3990/1.9789036532945

Functional model-based design of embedded systems with UniTi. / Rovers, K.C.

Enschede, the Netherlands : University of Twente, 2011. 216 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

TY - THES

T1 - Functional model-based design of embedded systems with UniTi

AU - Rovers, K.C.

N1 - eemcs-eprint-21156 http://eprints.ewi.utwente.nl/21156

PY - 2011/12/2

Y1 - 2011/12/2

N2 - Advancing the field of embedded systems requires a rigorous approach to their design. This is because embedded systems are complex, diverse and challenging. Although many tools exist, none support the following four essential features: (i) the modelling of multiple domains, (ii) accurate inclusion of time, (iii) mathematical definitions, and (iv) model transformations. In addition, such a tool must underlie a sound design flow that adequately supports the complexity of designing embedded systems. In this thesis we propose a design flow and a modelling and simulation framework called UniTi that manages complexity in a top-down fashion; a problem is split up into sub-problems that are solved individually and then combined. This design flow and framework is based on model-based design, i.e. a single reference model is iteratively and incrementally developed and refined during the design process. Our approach is a functional approach, not only because it is practical and useful, but also because it has a mathematical basis supported by a functional language, i.e. computations are considered as evaluations of mathematical functions. In this work we specialise the design for the application domain of beamforming applications, for which we propose a generic platform. Two adaptive algorithms for tracking are developed in the context of this platform. A tiled reconfigurable architecture is used, as the tiles provide scalability and reconfigurability provides flexibility. The environment and analogue hardware are represented in the continuous time (CT) domain, while digital hardware is represented in the discrete time (DT) domain and software in the dataflow (DF) domain. We formally define the CT, DT, and DF domains for UniTi. It also supports exact time delays in the CT domain by representing signals as functions of time. Model components, represented as signal transformations, are composed using function composition instead of value-passing, with unified sequential, parallel and feedback composition by re-defining the dataflow model to match with CT and DT components and signals. As a consequence, mixed-domain models are executable for simulation. Finally, UniTi provides support for model transformations. The result of this work is a functional model-based design approach for designing, modelling, and simulation of embedded systems.

AB - Advancing the field of embedded systems requires a rigorous approach to their design. This is because embedded systems are complex, diverse and challenging. Although many tools exist, none support the following four essential features: (i) the modelling of multiple domains, (ii) accurate inclusion of time, (iii) mathematical definitions, and (iv) model transformations. In addition, such a tool must underlie a sound design flow that adequately supports the complexity of designing embedded systems. In this thesis we propose a design flow and a modelling and simulation framework called UniTi that manages complexity in a top-down fashion; a problem is split up into sub-problems that are solved individually and then combined. This design flow and framework is based on model-based design, i.e. a single reference model is iteratively and incrementally developed and refined during the design process. Our approach is a functional approach, not only because it is practical and useful, but also because it has a mathematical basis supported by a functional language, i.e. computations are considered as evaluations of mathematical functions. In this work we specialise the design for the application domain of beamforming applications, for which we propose a generic platform. Two adaptive algorithms for tracking are developed in the context of this platform. A tiled reconfigurable architecture is used, as the tiles provide scalability and reconfigurability provides flexibility. The environment and analogue hardware are represented in the continuous time (CT) domain, while digital hardware is represented in the discrete time (DT) domain and software in the dataflow (DF) domain. We formally define the CT, DT, and DF domains for UniTi. It also supports exact time delays in the CT domain by representing signals as functions of time. Model components, represented as signal transformations, are composed using function composition instead of value-passing, with unified sequential, parallel and feedback composition by re-defining the dataflow model to match with CT and DT components and signals. As a consequence, mixed-domain models are executable for simulation. Finally, UniTi provides support for model transformations. The result of this work is a functional model-based design approach for designing, modelling, and simulation of embedded systems.

KW - IR-78601

KW - EWI-21156

KW - METIS-284961

U2 - 10.3990/1.9789036532945

DO - 10.3990/1.9789036532945

M3 - PhD Thesis - Research UT, graduation UT

SN - 978-90-365-3294-5

PB - University of Twente

CY - Enschede, the Netherlands

ER -

Rovers KC. Functional model-based design of embedded systems with UniTi. Enschede, the Netherlands: University of Twente, 2011. 216 p. https://doi.org/10.3990/1.9789036532945