Kim Grüttner

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2023

A RISC-V based platform supporting mixed timing-critical and high performance workloads.

[BibT_eX]

[DOI]

Mehrdad Poorhosseini

Daniel Mueller-Gritschneder

Proceedings of the 26th Euromicro Conference on Digital System Design, 2023

2022

A Hybrid Performance Prediction Approach for Fully-Connected Artificial Neural Networks on Multi-core Platforms.

[BibT_eX]

[DOI]

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2022

Universal Safety Format: Automated Safety Software Generation.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

The Scale4Edge RISC-V Ecosystem.

[BibT_eX]

[DOI]

Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

2021

Safe and secure software updates on high-performance mixed-criticality systems: The UP2DATE approach.

[BibT_eX]

[DOI]

Microprocess. Microsystems, November, 2021

Time Measurement and Control Blocks for Bare-Metal C++ Applications.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2021

A modeling methodology for collaborative evaluation of future automotive innovations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2021

Legacy software migration based on timing contract aware real-time execution environments.

[BibT_eX]

[DOI]

Irune Yarza

J. Syst. Softw., 2021

Multi-core Devices for Safety-critical Systems: A Survey.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2021

The UP2DATE Baseline Research Platforms.

[BibT_eX]

[DOI]

Alvaro Jover-Alvarez

Alejandro J. Calderón

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

A Fast Yet Accurate Message-level Communication Bus Model for Timing Prediction of SDFGs on MPSoC.

[BibT_eX]

[DOI]

Proceedings of the ASPDAC '21: 26th Asia and South Pacific Design Automation Conference, 2021

2020

Functional test environment for time-triggered control systems in complex MPSoCs.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2020

A Timed-Value Stream Based ESL Timing and Power Estimation and Simulation Framework for Heterogeneous MPSoCs.

[BibT_eX]

[DOI]

Stefan Hauck-Stattelmann

Int. J. Parallel Program., 2020

Work-in-Progress: Modeling of real-time communication for industrial distributed automation systems.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Factory Communication Systems, 2020

Static/dynamic real-time legacy software migration: a comparative analysis.

[BibT_eX]

[DOI]

Irune Yarza

Proceedings of the RAPIDO 2020 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2020

Capturing Neural-Networks as Synchronous Dataflow Graphs.

[BibT_eX]

[DOI]

Daniel Luenemann

Proceedings of the 23rd GMM/ITG/GI Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, 2020

Towards Time-Sensitive Behavioral Contract Monitors for IEC 61499 Function Blocks.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Industrial Cyberphysical Systems, 2020

Timing Contracts and Monitors for Safety Relevant Controller Design in IEC 61499.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

UP2DATE: Safe and secure over-the-air software updates on high-performance mixed-criticality systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd Euromicro Conference on Digital System Design, 2020

A Compiler Comparison in the RISC-V Ecosystem.

[BibT_eX]

[DOI]

Mehrdad Poorhosseini

Proceedings of the 2020 International Conference on Omni-layer Intelligent Systems, 2020

2019

Experimental Evaluation of Probabilistic Execution-Time Modeling and Analysis Methods for SDF Applications on MPSoCs.

[BibT_eX]

[DOI]

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2019

Towards Stateflow Model Aware Debugging with LLDB.

[BibT_eX]

[DOI]

Bewoayia Kebianyor

Proceedings of the Rapid Simulation and Performance Evaluation: Methods and Tools, 2019

Design and Analysis of an Online Update Approach for Embedded Microprocessors.

[BibT_eX]

[DOI]

Patrick Uven

Proceedings of the Analysis, Estimations, and Applications of Embedded Systems, 2019

Time Measurement and Control Blocks for Bare-Metal C++ Applications.

[BibT_eX]

[DOI]

Friederike Bruns

Proceedings of the 2019 Forum for Specification and Design Languages, 2019

Probabilistic State-Based RT-Analysis of SDFGs on MPSoCs with Shared Memory Communication.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Multi-layer time coherency in the development of ADAS/AD systems: design approach and tooling.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Design Automation for CPS and IoT, 2019

Towards Distributed Runtime Monitoring with C++ Contracts.

[BibT_eX]

[DOI]

Rolf Schmedes

Proceedings of the International Conference on Omni-Layer Intelligent Systems, 2019

Experimental Evaluation of Scenario Aware Synchronous Data Flow based Power Management.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Omni-Layer Intelligent Systems, 2019

SAFEPOWER: Application of Power Management Techniques in SoCs for Safety-Relevant Systems.

[BibT_eX]

[DOI]

Peio Onaindia

Roman Obermaisser

Proceedings of the International Conference on Omni-Layer Intelligent Systems, 2019

2018

An Integration Flow for Mixed-Critical Embedded Systems on a Flexible Time-Triggered Platform.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2018

Towards power management verification of time-triggered systems using virtual platforms.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, 2018

Real-Time Capable Retargeting of Xilinx MicroBlaze Binaries using QEMU: A Feasibility Study.

[BibT_eX]

[DOI]

Irune Yarza

Mikel Azkarate-askasua

Proceedings of the RAPIDO 2018 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2018

Using IEC 61499 to Implement a Self-Organising Plug and Produce System.

[BibT_eX]

[DOI]

Jörg Walter

Proceedings of MODELS 2018 Workshops: ModComp, 2018

Functional Test Environment for Time-Triggered Control Systems in Complex MPSoCs Using GALI.

[BibT_eX]

[DOI]

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

A Hypervisor Architecture for Low-Power Real-Time Embedded Systems.

[BibT_eX]

[DOI]

Tomaso Poggi

Peio Onaindia

Salvador Peiro Frasquet

Patricia Balbastre

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

2017

CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2017

SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems.

[BibT_eX]

[DOI]

Mohamed Tagelsir Mohammadat

Alina Lenz

Mikel Azkarate-askasua

Javier Coronel

Alfons Crespo

Simon Davidmann

Juan Carlos Diaz Garcia

Jon Pérez-Cerrolaza

Ingo Sander

Ingemar Söderquist

Microprocess. Microsystems, 2017

Towards virtual prototyping of synchronous real-time systems on noc-based MPSoCs.

[BibT_eX]

[DOI]

Razi Seyyedi

Mohamed Tagelsir Mohammadat

Proceedings of the 12th IEEE International Symposium on Industrial Embedded Systems, 2017

Towards State-Based RT Analysis of FSM-SADFGs on MPSoCs with Shared Memory Communication.

[BibT_eX]

[DOI]

Proceedings of the 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2017

A Functional Test Framework to Observe MPSoC Power Management Techniques in Virtual Platforms.

[BibT_eX]

[DOI]

Salvador Peiro Frasquet

Proceedings of the Euromicro Conference on Digital System Design, 2017

2016

A Task-Level Monitoring Framework for Multi-Processor Platforms.

[BibT_eX]

[DOI]

Mikel Azkarate-Askasua Blazquez

Proceedings of the 19th International Workshop on Software and Compilers for Embedded Systems, 2016

A quasi-cycle accurate timing model for binary translation based instruction set simulators.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Embedded Computer Systems: Architectures, 2016

SAFEPOWER Project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems.

[BibT_eX]

[DOI]

Alina Lenz

Javier Coronel

Alfons Crespo

Simon Davidmann

Juan Carlos Diaz Garcia

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

CONTREX: Design of Embedded Mixed-Criticality CONTRol Systems under Consideration of EXtra-Functional Properties.

[BibT_eX]

[DOI]

Proceedings of the 2016 Euromicro Conference on Digital System Design, 2016

2015

Application Mapping and Communication Synthesis for Object-Oriented Platform-Based Design.

[BibT_eX]

[DOI]

PhD thesis, 2015

State-based real-time analysis of SDF applications on MPSoCs with shared communication resources.

[BibT_eX]

[DOI]

J. Syst. Archit., 2015

Ein Verfahren zur Bestimmung eines Powermodells von Xilinx MicroBlaze MPSoCs zur Verwendung in Virtuellen Plattformen.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2015

Structural Contracts - Motivating Contracts to Ensure Extra-Functional Semantics.

[BibT_eX]

[DOI]

Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015

A workload extraction framework for software performance model generation.

[BibT_eX]

[DOI]

Proceedings of the 2015 Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, 2015

Mixed-criticality system modelling with dynamic execution mode switching.

[BibT_eX]

[DOI]

Proceedings of the 2015 Forum on Specification and Design Languages, 2015

Teaching Mixed-Criticality: Multi-Rotor Flight Control and Payload Processing on a Single Chip.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Embedded and Cyber-Physical Systems Education, 2015

Advanced SystemC Tracing and Analysis Framework for Extra-Functional Properties.

[BibT_eX]

[DOI]

Philipp A. Hartmann

Proceedings of the Applied Reconfigurable Computing - 11th International Symposium, 2015

2014

A program state machine based virtual processing model in SystemC.

[BibT_eX]

[DOI]

SIGBED Rev., 2014

An ESL timing & power estimation and simulation framework for heterogeneous socs.

[BibT_eX]

[DOI]

Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014

Autonomous Flight Control Meets Custom Payload Processing: A Mixed-Critical Avionics Architecture Approach for Civilian UAVs.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2014

Towards satisfaction checking of power contracts in Uppaal.

[BibT_eX]

[DOI]

Gregor Nitsche

Proceedings of the 2014 Forum on Specification and Design Languages, 2014

Data-and State-Dependent Power Characterisation and Simulation of Black-Box RTL IP Components at System Level.

[BibT_eX]

[DOI]

Daniel Lorenz

Proceedings of the 17th Euromicro Conference on Digital System Design, 2014

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

The COMPLEX reference framework for HW/SW co-design and power management supporting platform-based design-space exploration.

[BibT_eX]

[DOI]

Chantal Ykman-Couvreur

Davide Quaglia

Francisco Ferrero

Raúl Valencia

Microprocess. Microsystems, 2013

Power contracts: A formal way towards power-closure?!

[BibT_eX]

[DOI]

Gregor Nitsche

Proceedings of the 2013 23rd International Workshop on Power and Timing Modeling, 2013

Ansatz zur Bewertung der HW/SW-Kommunikation in asymmetrischen Multi-Prozessor-Systemen.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2013

Hierarchical real-time scheduling in the multi-core era - An overview.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

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

[BibT_eX]

[DOI]

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

A database for the integration of power data on system level.

[BibT_eX]

[DOI]

Proceedings of Eurocon 2013, 2013

Towards performance analysis of SDFGs mapped to shared-bus architectures using model-checking.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2013

2012

Non-invasive Power Simulation at System-Level with SystemC.

[BibT_eX]

[DOI]

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2012

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

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2012

COMPLEX: COdesign and Power Management in PLatform-Based Design Space EXploration.

[BibT_eX]

[DOI]

Chantal Ykman-Couvreur

Davide Quaglia

Francisco Ferrero

Raúl Valencia

Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

From RTL IP to functional system-level models with extra-functional properties.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011

Challenges of multi- and many-core architectures for electronic system-level design.

[BibT_eX]

[DOI]

Proceedings of the 2011 International Conference on Embedded Computer Systems: Architectures, 2011

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

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2011

Towards Dependability-Aware Design of Hardware Systems Using Extended Program State Machines.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

Impact simulation of changes to development processes: An ESL case study.

[BibT_eX]

[DOI]

Proceedings of the 2011 Forum on Specification & Design Languages, 2011

2010

Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC.

[BibT_eX]

[DOI]

Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Towards an ESL Framework for Timing and Power Aware Rapid Prototyping of HW/SW Systems.

[BibT_eX]

Proceedings of the 2010 Forum on specification & Design Languages, 2010

Mapping of Concurrent Object-Oriented Models to Extended Real-Time Task Networks.

[BibT_eX]

Proceedings of the 2010 Forum on specification & Design Languages, 2010

SystemC-AMS SDF model synthesis for exploration of heterogeneous architectures.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

Towards a synthesis semantics for systemC channels.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Hardware/Software Codesign and System Synthesis, 2010

PolyDyn - Object-Oriented Modelling and Synthesis Targeting Dynamically Reconfigurable FPGAs.

[BibT_eX]

[DOI]

Proceedings of the Dynamically Reconfigurable Systems - Architectures, 2010

2008

Modelling Program-State Machines in SystemC.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2008

SystemC-based Modelling, Seamless Refinement, and Synthesis of a JPEG 2000 Decoder.

[BibT_eX]

[DOI]

Anne-Marie Fouilliart

Proceedings of the Design, Automation and Test in Europe, 2008

2007

Eine Fallstudie zur dynamischen Rekonfiguration von Hardware: "Pain or Gain?".

[BibT_eX]

Philipp Reinkemeier

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2007

2006

Modelling and Synthesis of Communication Using OSSS-Channels.

[BibT_eX]

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2006

OSSS-Channels: Modelling and Synthesis of Communication.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2006

Overview of the ICODES Project.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2006

2005

Kommunikationsgetriebene Hardware-/Software Partitionierung eines Netzwerkprotokoll-Stacks auf einer SoC Plattform.

[BibT_eX]

[DOI]

Carsten Beth