2011 International Conference on Embedded Computer Systems: Architectures, Modeling and Simulation 2011
DOI: 10.1109/samos.2011.6045449
|View full text |Cite
|
Sign up to set email alerts
|

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 … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1

Citation Types

0
3
0

Year Published

2011
2011
2019
2019

Publication Types

Select...
3

Relationship

1
2

Authors

Journals

citations
Cited by 3 publications
(3 citation statements)
references
References 17 publications
0
3
0
Order By: Relevance
“…The main idea of this approach is to apply the procedures for sequential transformation of the model of the projected system in such a way that at each subsequent stage this model begins to correspond to a larger list of requirements for the system being designed than the model of the previous stage [14]. Thanks to the automatic or automated generation of such models, the use of multilevel verification becomes possible, which allows to identify and eliminate errors in the early design stages [15]. That is why it seems particularly expedient to apply the model-oriented approach to the co-design of the HCS fop, which in this case involves the construction of the following models:…”
Section: Main Features Of the Hcs Design Processmentioning
confidence: 99%
“…The main idea of this approach is to apply the procedures for sequential transformation of the model of the projected system in such a way that at each subsequent stage this model begins to correspond to a larger list of requirements for the system being designed than the model of the previous stage [14]. Thanks to the automatic or automated generation of such models, the use of multilevel verification becomes possible, which allows to identify and eliminate errors in the early design stages [15]. That is why it seems particularly expedient to apply the model-oriented approach to the co-design of the HCS fop, which in this case involves the construction of the following models:…”
Section: Main Features Of the Hcs Design Processmentioning
confidence: 99%
“…Phased array processing can be characterized as a streaming application with high data rates and processing requirements, but a regular processing structure. Because a scalable and regular solution is needed, a reconfigurable multi-processor architecture is proposed [12]. Such a reconfigurable processing architecture provides flexibility and has a number of advantages.…”
Section: Reconfigurable Tiled Architecturesmentioning
confidence: 99%
“…The UNITI design flow and framework presented in [23] is extended in the present paper with the formalisms of the execution model for the DF domain, a detailed treatment of unified time, efficient simulation based on continuations, and a more detailed case study. The contributions of UNITI and this paper are to:…”
Section: Introductionmentioning
confidence: 99%