Search CORE

35 research outputs found

Session 6: System design

Author: Kim Gruttner
Publication venue
Publication date: 01/06/2011
Field of study

Modelling Program-State Machines in SystemC™

Author: Wolfgang Nebel
Kim Gruttner
Publication venue
Publication date: 2008
Field of study

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

Author: Wolfgang Nebel
Kim Gruttner
Gregor Nitsche
Publication venue
Publication date: 2013
Field of study

Mixed-criticality system modelling with dynamic execution mode switching

Author: Philipp Ittershagen
Wolfgang Nebel
Kim Gruttner
Publication venue
Publication date: 2015
Field of study

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

Author: Philipp Ittershagen
Kim Gruttner
Friederike Bruns
Publication venue
Publication date: 2019
Field of study

Towards satisfaction checking of power contracts in Uppaal

Author: Wolfgang Nebel
Kim Gruttner
Gregor Nitsche
Publication venue
Publication date: 2014
Field of study

OSSS methodology - system-level design and synthesis of embedded HW/SW systems in C++

Author: Wolfgang Nebel
Kim Gruttner
Frank Oppenheimer
Publication venue
Publication date: 2008
Field of study

A Compiler Comparison in the RISC-V Ecosystem

Author: Wolfgang Nebel
Kim Gruttner
Mehrdad Poorhosseini
Publication venue
Publication date: 2020
Field of study

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

Author: Ralf Stemmer
Wolfgang Nebel
Kim Gruttner
Maher Fakih
Henning Schlender
Publication venue
Publication date: 2019
Field of study

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

Author: Kim Gruttner
Soren Schreiner
Sven Rosinger
Achim Rettberg
Publication venue
Publication date: 2014
Field of study

core