The Andres Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems

Herrholz, Andreas; Oppenheimer, E.; Hartmann, Philipp A.; Schallenberg, Andreas; Nebel, Wolfgang; Grimm, Christoph; Damm, Markus; Haase, Jan; Brame, E.; Herrera, Fernando; Villar, Eugenio; Sander, Ingo; Jantsch, Axel; Fouilliart, Anne-Marie; Martinez, Marcos

doi:10.1109/fpl.2007.4380679

Cited by 12 publications

(6 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The ANDRES project [6] provides a SystemC framework to create an adaptive heterogeneous system consisting of software and digital hardware components. ANDRES uses the OSSS+R SystemC library [7] to divide a system's hardware in a static and a reconfigurable area.…”

Section: Related Workmentioning

confidence: 99%

A new concept for system-level design of runtime reconfigurable real-time systems

Luppold¹,

Menhorn²,

Falk³

et al. 2013

SIGBED Rev.

View full text Add to dashboard Cite

This concept paper proposes a new system-level design methodology for runtime reconfigurable adaptive heterogeneous systems in a real-time environment. Today, among those approaches dealing with runtime reconfiguration and hardware/software co-design, compliance with hard real-time conditions is not guaranteed. Our approach will fill this gap. In contrast to other approaches, we apply methods of real-time analysis to embedded reconfigurable systems. An extended compiler and a runtime resource manager guarantee both synthesis and reconfiguration in a (hard) real-time environment. With this approach, the system can adapt to changes in requirements and operational environments during runtime.

show abstract

Section: Related Workmentioning

confidence: 99%

A new concept for system-level design of runtime reconfigurable real-time systems

Luppold¹,

Menhorn²,

Falk³

et al. 2013

SIGBED Rev.

View full text Add to dashboard Cite

show abstract

“…In [9] reconfiguration of hardware tasks is modelled using dynamic threads. ANDRES [14] adaptive heterogeneous embedded systems, based on three SystemC extensions. It supports multiple means of adaptivity.…”

Section: Related Workmentioning

confidence: 99%

Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions

Göthel¹,

Klös²,

Bartels³

2015

EAI Endorsed Transactions on Self-Adaptive Systems

View full text Add to dashboard Cite

A promising way to cope with complexity in verifying large systems is to perform modular verification where components are verified separately. However, in the context of adaptive systems, it is difficult to apply this principle because adaptation behaviour and functional behaviour are often intertwined. In this paper, we present and apply a design pattern for distributed adaptive real-time systems using the process calculus Timed CSP. Our pattern explicitly differentiates between functional data and adaptive control data and thereby allows for a strict separation of adaptation and functional components. We enable the modular verification of functional and adaptation behaviour, respectively, based on the notion of process refinement in Timed CSP. The verification of refinements is automated using industrial-strength proof tools. As the notion of refinement can also be used to justify abstractions, we furthermore enable abstractionbased verification, where a detailed system is abstracted to facilitate more efficient verification efforts. This is especially important in the industrial development of adaptive systems using languages like SystemC where a designer not necessarily applies fine-grained refinements, but implements larger parts of the functional and adaptation logic possibly at the same time. Therefore, we discuss how common refinements and abstractions from the context of Timed CSP can be used as a formal basis for refinements and abstractions in SystemC.

show abstract

“…Although heterogeneous systems often unite digital hardware, analogue hardware and software in one model, each part requires a different simulator or model of computation (MoC) [13], [7]. Non standardised simulator interfaces as well as different MoCs make connecting simulators difficult [9].…”

Section: Related Workmentioning

confidence: 99%

Mixed signal simulation with SystemC and Saber

Kirchner¹,

Bannow²,

Kerstan³

et al. 2010

2010 Forum on Specification &Amp; Design Languages (FDL 2010)

Self Cite

View full text Add to dashboard Cite

Increasing complexity and heterogeneity leads to systems that combine the aspects of both digital hardware/software and mixed-signal embedded systems. A major difficulty is the fact that the components for mixed-signal systems are designed bottom-up, while a digital hardware/software system is designed top-down. Often this requires co-simulation, in practice involving multiple simulators from different vendors and on different platforms. Unfortunately, setting up co-simulations is a time-consuming task which is therefore done only a few times for verification purposes. In this paper we show how a plain SystemC simulation can be connected to Saber. A proxy module interfaces to the SystemC simulation and relays signals to Saber. A special signal synchronisation and update scheme ensures the availability of current analogue values to SystemC starting from the very beginning of each time step. Furthermore we introduce a mechanism for automatically connecting SystemC modules and show how it can be used to implement a graphical SystemC editor. A design example which compares a SystemC to Saber cosimulation to a functionally identical SystemC-AMS simulation is also included.

show abstract

The Andres Project: Analysis and Design of Run-Time Reconfigurable, Heterogeneous Systems

Cited by 12 publications

References 5 publications

A new concept for system-level design of runtime reconfigurable real-time systems

A new concept for system-level design of runtime reconfigurable real-time systems

Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions

Mixed signal simulation with SystemC and Saber

Contact Info

Product

Resources

About