A Methodology to Design Programmable Embedded Systems

Kienhuis, Bart; Deprettere, E.F.; Wolf, Pieter van der; Vissers, Kees

doi:10.1007/3-540-45874-3_2

Cited by 89 publications

(59 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this new state, t and u are enabled with respective bindings b 3 , b 2 . Executing (u, b 2 ) will lead to the state {(p, [3,4]), (q, [1]), (r, [2,3] V. FROM PPOS TO COLOURED PETRI NETS Before defining the correspondence, we introduce some notation. Let O = (T, V, S, P ) be a PPO.…”

Section: Bag(c(p)) Is Called a Marking A Marked Cpn Is A Pair (N M)mentioning

confidence: 99%

“…DSEIR adopts the Y-chart philosophy [4] popular in hardware design. It is based on the observation that design space exploration process typically involves the co-development of an application (system use-cases), a platform (system resources), and the mapping of the application onto the platform (defining which resources are involved in which tasks).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets

Trčka

Voorhoeve

Basten

2011

2011 Eleventh International Conference on Application of Concurrency to System Design

View full text Add to dashboard Cite

Section: Bag(c(p)) Is Called a Marking A Marked Cpn Is A Pair (N M)mentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets

Trčka

Voorhoeve

Basten

2011

2011 Eleventh International Conference on Application of Concurrency to System Design

View full text Add to dashboard Cite

“…The Y-chart approach approach supports heterogeneous modeling and is popular for hardware-software codesign [47]. This approach separates modeling of the hardware architecture that will realize a system from modeling of application behavior (a form of multi-view modeling), and provides mechanisms for bringing these disparate models together.…”

Section: Related Workmentioning

confidence: 99%

Disciplined Heterogeneous Modeling

Lee¹

2010

Model Driven Engineering Languages and Systems

View full text Add to dashboard Cite

Abstract. Complex systems demand diversity in the modeling mechanisms. One way to deal with a diversity of requirements is to create flexible modeling frameworks that can be adapted to cover the field of interest. The downside of this approach is a weakening of the semantics of the modeling frameworks that compromises interoperability, understandability, and analyzability of the models. An alternative approach is to embrace heterogeneity and to provide mechanisms for a diversity of models to interact. This paper reviews an approach that achieves such interaction between diverse models using an abstract semantics, which is a deliberately incomplete semantics that cannot by itself define a useful modeling framework. It instead focuses on the interactions between diverse models, reducing the nature of those interactions to a minimum that achieves a well-defined composition. An example of such an abstract semantics is the actor semantics, which can handle many heterogeneous models that are built today, and some that are not common today. The actor abstract semantics and many concrete semantics have been implemented in Ptolemy II, an open-source software framework distributed under a BSD-style license.

show abstract

“…The way a system behaves depends on the architecture, the way the applications are written, and how these applications are mapped onto the architecture as compactly expressed by the Y-chart [5]. Examples of architectures for low-power have already been given in other sections.…”

Section: Design and Architecture Explorationmentioning

confidence: 99%

Architectures and Design Techniques for Energy Efficient Embedded DSP and Multimedia Processing

Verbauwhede¹,

Schaumont²,

Piguet³

et al.

Ultra Low-Power Electronics and Design

Self Cite

View full text Add to dashboard Cite

Abstract:Energy efficient embedded systems consist of a heterogeneous collection of very specific building blocks, connected together by a complex network of many dedicated busses and interconnect options. The trend to merge multiple functions into one device makes the design and integration of these "systemson-chip" (SOC's) even more challenging. Yet, specifications and applications are never fixed and require the embedded units to be programmable. The topic of this chapter is to give the designer architectures and design techniques to find the right balance between energy efficiency and flexibility. The key is to include programmability (or reconfiguration) at the right level of abstraction and tuned to the application domain. The challenge is to provide an exploration and programming environment for this heterogeneous architecture platform.

show abstract

A Methodology to Design Programmable Embedded Systems

Cited by 89 publications

References 20 publications

Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets

Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets

Disciplined Heterogeneous Modeling

Architectures and Design Techniques for Energy Efficient Embedded DSP and Multimedia Processing

Contact Info

Product

Resources

About