Publikationen
von Jun.-Prof. Dr. Achim Rettberg

2017

Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique

Tayfun Gezgin and Björn Koopmann and Achim Rettberg; System Level Design from HW/SW to Memory for Embedded Systems; 01 / 2017

DOI BIB

2015

Combining an Iterative State-based Timing Analysis with a Refinement Checking Technique

Tayfun Gezgin and Björn Koopmann and Achim Rettberg; Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS'15); 11 / 2015

BIB
Combining an Iterative State-based Timing Analysis with a Refinement Checking Technique

Gezgin, Tayfun and Koopmann, Björn and Rettberg, Achim; Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS 2015); 01 / 2015

BIB
Reducing Re-Validation Efforts for Real-time Systems

Tayfun GezginStefan HenklerAchim Rettberg; Model-Based Development of Embedded Systems (MBEES); 3 / 2015

URL BIB
State-Based Real-Time Analysis of SDF Applications on MPSoCs with Shared Communication Resources

Maher Fakih and Kim Grüttner and Martin Fränzle and Achim Rettberg; Journal of Systems Architecture (JSA): the EUROMICRO Journal; oct / 2015

URL DOI BIB
State-Based Real-Time Analysis of SDF Applications on Multi-Cores

Maher Fakih and Kim Grüttner and Martin Fränzle and Achim Rettberg; 1st International Workshop on Investigating Dataflow in Embedded computing Architecture (IDEA); 1 / 2015

URL BIB

2014

A Program State Machine Based Virtual Processing Model in SystemC

Tim Schmidt and Kim Grüttner and Rainer Dömer and Achim Rettberg; The 4th Embedded Operating Systems Workshop (EWiLi'14); 11 / 2014

BIB
Evaluation of a State-based Real-Time Scheduling Analysis Technique

Henkler, Stefan and Gezgin, Tayfun and Stierand, Ingo and Rettberg, Achim; International Conference on Industrial Informatics (INDIN2014); July / 2014

BIB
Impact Analysis for Timing Requirements on Real-Time Systems

Gezgin, Tayfun and Henkler, Stefan and Stierand, Ingo and Rettberg, Achim; The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014); August / 2014

BIB
Multicore Performance analysis of a Multi-phase Electrical Motor Controller

Fakih, Maher and Grüttner, Kim and Fränzle, Martin and Rettberg, Achim; Proceedings of the Embedded Real Time Software and Systems Congress (ERTS²) 2014; 2 / 2014

BIB
Simulative Evaluation of Contract-based Change Management

Markus OertelSebastian GerwinnAchim Rettberg; Proceedings of the 12th International Conference on Industrial Informatics (INDIN 2014); 7 / 2014

BIB

2013

A Design Space Exploration Tool Demonstration for Automotive Systems

Büker, Matthias and Damm, Werner and Ehmen, Günter and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo and Thaden, Eike; 01 / 2013

BIB
Contract-Based Compositional Scheduling Analysis for Evolving Systems

Gezgin, Tayfun and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo; Embedded Systems: Design, Analysis and Verification; 06 / 2013

URL DOI BIB
Contracts for Evolving Systems

Etzien, Christoph and Gezgin, Tayfun and Fröschle, Sibylle and Henkler, Stefan and Rettberg, Achim; 06 / 2013

BIB
Embedded Systems: Design, Analysis and Verification

Schirner, Gunar and Götz, Marcelo and Rettberg, Achim and Zanella, Mauro Cesar and Rammig, Franz J. (Hrsg.); 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings; 01 / 2013

BIB
Exploiting Segregation in Bus-Based MPSoCs to Improve Scalability of Model-Checking-Based Performance Analysis for SDFAs

Maher Fakih, Kim Grüttner, Martin Fränzle, and Achim Rettberg; International Embedded Systems Symposium (IESS); 6 / 2013

BIB
Hierarchical Real-Time Scheduling in the Multi-Core Era - An Overview

Ittershagen, Philipp and Hartmann, Philipp A. and Grüttner, Kim and Rettberg, Achim; 06 / 2013

BIB
Reducing Re-verification Effort by Requirement-Based Change Management

Oertel, Markus and Rettberg, Achim; Embedded Systems: Design, Analysis and Verification; 2013

BIB
State-based scheduling analysis for distributed real-time systems

Gezgin, Tayfun and Stierand, Ingo and Henkler, Stefan and Rettberg, Achim; Design Automation for Embedded Systems; 07 / 2013

URL DOI BIB
Towards Performance Analysis of SDFGs Mapped to Shared-Bus Architectures Using Model-Checking

Fakih, Maher and Grüttner, Kim and Fränzle, Martin and Rettberg, Achim; Proceedings of the Conference on Design, Automation and Test in Europe (DATE) 2013; 03 / 2013

BIB

2012

Abstraction Techniques for Compositional State-based Scheduling Analysis

Gezgin, T. and Henkler, S. and Rettberg, A. and Stierand, I.; 10 / 2012

BIB
DATE 2012 Friday Workshop (W2): Quo Vadis, Virtual Platforms? Challenges and Solutions for Today and Tomorrow

Leupers, Rainer and Haubelt, Christian and Rettberg, Achim and Grüttner, Kim; 03 / 2012

BIB
Nicht-invasive Simulation des Energieverbrauchs von Hardware-Komponenten auf Systemebene mit SystemC

Lorenz, Daniel and Hartmann, Philipp A. and Grüttner, Kim and Rettberg, Achim; 03 / 2012

BIB
Simulation of SystemC Models in a Physical Environment

Görgen, Ralph and Voit, Florian and Rettberg, Achim; 03 / 2012

BIB
SystemC-Based Emulation of Hardware Platforms in a Physical Environment

Görgen, Ralph and Voit, Florian and Rettberg, Achim; 03 / 2012

BIB
Towards a Rigorous Modeling Formalism for Systems of Systems

Gezgin, Tayfun and Etzien Christoph and Henkler, Stefan, Rettberg, Achim; 04 / 2012

BIB
Towards Performance and Energy Efficient Embedded System Design using Virtual Platforms

Grüttner, Kim and Hartmann, Philipp A. and Fandrey, Tiemo and Hylla, Kai and Helms, Domenik and Oppenheimer, Frank and Nebel, Wolfgang and Rettberg, Achim; 06 / 2012

BIB

2011

A Framework for Generic HW/SW Communication using Remote Method Invocation

Hartmann, Philipp A. and Grüttner, Kim and Ittershagen, Philipp and Rettberg, Achim; 06 / 2011

BIB
A Framework for Generic HW/SW Communication using Remote Method Invocation

Hartmann, Philipp A. and Ittershagen, Philipp and Grütter, Kim and Oppenheimer, Frank and Rettberg, Achim; 03 / 2011

BIB
Ein generisches Treiber-Framework zur HW/SW-Kommunikation mittels OSSS-RMI

Ittershagen, Philipp and Hartmann, Philipp A. and Grüttner, Kim and Rettberg, Achim; 02 / 2011

BIB
Low-Level Space Optimization of an IDCT/FDCT Implementation for a Bit-Serial Fully Pipelined Architecture

Weber, Raphael, Henkler, Stefan and Rettberg, Achim; 12 / 2011

BIB
Simulink and Virtual Hardware Platform Co-Simulation for Accurate Timing Analysis of Embedded Control Software

Fakih, Maher A. and Poppen, Frank and Grüttner, Kim, Rettberg, Achim; ASIM-Konferenz STS/GMMS 2011; 02 / 2011

BIB
Towards Dependability-aware Design of Hardware Systems using extended Program State Machines

Grüttner, Kim and Herrholz, Andreas and Kühne, Ulrich and Große, Daniel and Rettberg, Achim and Nebel, Wolfgang and Drechsler, Rolf; 03 / 2011

BIB

2010

A model-based design methodology with contracts to enhance the development process of safety-critical systems

Baumgart, Andreas and Reinkemeier, Philipp and Rettberg, Achim and Stierand, Ingo and Thaden, Eike and Weber, Raphael; Proceedings of the 8th IFIP International Conference on Software Technologies for embedded and ubiquitous Systems (SEUS); 10 / 2010

BIB
Distributed Resource-Aware Scheduling for Multi-Core Architectures with SystemC

Hartmann, Philipp A. and Grüttner, Kim and Rettberg, Achim and Podolski, Ina; 09 / 2010

BIB
Exploiting Parallel Computing Platforms with OSSS

Hartmann, Philipp A. and Grüttner, Kim and Oppenheimer, Frank; 05 / 2010

BIB
Exploiting Parallel Computing Platforms with OSSS

Hartmann, Philipp A and Grüttner, Kim and Oppenheimer, Frank and Rettberg, Achim; 03 / 2010

BIB
Towards a Synthesis Semantics for SystemC Channels

Grüttner, Kim and Kleen, Henning and Oppenheimer, Frank and Rettberg, Achim and Nebel, Wolfgang; 10 / 2010

BIB

2009

Analysis, Architectures and Modelling of Embedded Systems

Rettberg, Achim and Zanella, Mauro C. and Keckeisen, Michael and Ammann, Michael and Rammig, Franz Josef (Editoren); 09 / 2009

BIB
Autonomic Middleware for Automotive Embedded Systems

Anthony, Richard and Chen, DeJiu and Törngren, Martin and Scholle, Detlef and Sanfridson, Martin and Rettberg, Achim and Naseer, Tahir and Persson, Magnus and Feng, Lei; Autonomic Communication; 07 / 2009

BIB
Implementation of the AES Algorithm for a Reconfigurable, Bit Serial, Fully Pipelined Architecture

Weber, Raphael and Rettberg, Achim; Reconfigurable Computing: Architectures, Tools and Applications; 03 / 2009

BIB
Low Level Space Optimization of an AES Implementation for a Bit Serial Fully Pipelined Architecture

Rettberg, Achim and Weber, Raphael; Analysis, Architectures and Modelling of Embedded Systems; 09 / 2009

BIB
Modelling Control Systems in SystemC AMS ̣ Benefits and Limitations

Hartmann, Philipp A., Reinkemeier, Philipp and Rettberg, Achim and Nebel, Wolfgang; IEEE SOC Conference Digest of Technical Papers; 09 / 2009

BIB
Overview of Multicore Requirements towards Real-Time Communication (Position Paper)

Podolski, Ina and Rettberg, Achim; Software Technologies for Embedded Ubiquitous Systems; 11 / 2009

BIB
Proceedings of EduTech Workshop 2009

Rettberg, Achim and Reis, Ricardo (Editoren); Proceedings of 3rd EduTech Workshop; 10 / 2009

BIB
Run-time reconfigurable RTOS for reconfigurable systems-on-chip

Götz, Marcelo and Rettberg, Achim and Pereira, Carlos E.; Journal of Embedded Coomputing (JEC); 01 / 2009

BIB
Self-Configurable Middleware for Autonomous Sensor Networks

Podolski, Ina and Rettberg, Achim; Proceedings of Workshop on Software Technologies for Future Dependable Distributed Systems; 03 / 2009

BIB
Towards a Load Balancing Middleware for Automotive Infotainment Systems

Khaluf, Yara and Rettberg, Achim; 09 / 2009

BIB
Towards a Self-Configurable Middleware for Production Control Systems with Wireless Sensor Networks

Podolski, Ina and Rettberg, Achim; 06 / 2009

BIB
Towards an Irritable Bowel Syndrome Control System based on Artificial Neural Networks

Podolski, Ina and Rettberg, Achim; 09 / 2009

BIB

2008

A Dynamically Reconfigurable Automotive Control System Architecture

Anthony, Richard and Chen, Dejiu and Jahnich, Isabell and Gerrit de Boer and Cecilia Ekelin; 17th IFAC World Congress 2008; 07 / 2008

BIB
A Middleware Approach to Dynamically Configurable Automotive Embedded Systems

rettberg, A. and Anthony, Richard and Ward, Paul and Chen, Dejiu, Hawthorne, James and Pelc, Mariusz and Törngren, Martin; 1st International Symposium on Vehicular Computing Systems (ISVCS 2008); 07 / 2008

BIB
Towards a Middleware Approach for a Self-Configurable Automotive Embedded System

Jahnich, Isabell and Podolski, Ina and Rettberg, Achim; 6th IFIP Workshop on Software Technologies for Future Embedded & Ubiquitous Systems (SEUS 2008); 10 / 2008

BIB
Towards Autonomous Sensor Networks by a Self-Configurable Middleware

Podolski, Ina and Rettberg, Achim and Jahnich, Isabell; Workshop on Sensor Networks and Applications (WSeNA 2008); 09 / 2008

BIB

2007

Latency Optimization for a Reconfigurable, Self-Timed and Bit-Serial Architecture

Dittmann, Florian and Rettberg, Achim and Weber, Raphael; Proceedings of the 2007 International Conference on Engineering of Reconfigurable Systems & Algorithms; 06 / 2007

BIB
Optimization techniques for a reconfigurable, self-timed, and bit-serial architecture

Dittmann, Florian and Rettberg, Achim and Weber, Raphael; Proceedings of the 20th annual conference on Integrated circuits and systems design; 09 / 2007

BIB

Projekte
von Jun.-Prof. Dr. Achim Rettberg

A

ARAMiS

ARAMiS – Automotive, Railway and Avionic Multicore System

Laufzeit: 2011 - 2014