TY - CHAP AU - Kamp, Hermann ED - Beestermöller, Gerhard ID - 36124 T2 - Christliche Friedensethik im frühen Mittelalter TI - Päpste als Friedensvermittler in der Karolingerzeit ER - TY - BOOK ED - Hoffmann, Kerstin P. ED - Kamp, Hermann ED - Wemhoff , Matthias ID - 34592 TI - Die Wikinger und das Fränkische Reich. Identitäten zwischen Konfrontation und Anpassung VL - 29 ER - TY - BOOK AU - Hohwiller, Peter ID - 35847 TI - 99 Tipps für Englisch ER - TY - JOUR AU - Bischof, Jannis AU - Ebert, Michael ID - 23413 JF - Schmalenbach Business Review SN - 1439-2917 TI - IFRS 7 Disclosures and Risk Perception of Financial Instruments VL - 66 ER - TY - BOOK AU - Vogelsang, Christoph ID - 36308 TI - Validierung eines Instruments zur Erfassung der professionellen Handlungskompetenz von (angehenden) Physiklehrkräften. Zusammenhangsanalysen zwischen Lehrerkompetenz und Lehrerperformanz ER - TY - CHAP AU - Weber, Jutta ED - Lengersdorf, Diana ED - Wieser, Matthias ID - 36882 T2 - Schlüsselwerke der Wissenschafts- und Technikforschung / Science & Technology Studies TI - Donna Haraway. Technoscience, New World Order und Trickster-Geschichten für lebbare Welten ER - TY - CHAP AU - Weber, Jutta AU - Both, Göde ED - Hilgendorf, Eric ID - 36886 T2 - Robotik im Kontext von Moral und Recht TI - Hands-Free Driving? Automatisiertes Fahren und Mensch-Maschine Interaktion ER - TY - CHAP AU - Weber, Jutta ED - Nordmann, Alfred ED - Radder, Hans ED - Schiemann, Gregor ID - 36888 T2 - Strukturwandel der Wissenschaft. Positionen zum Epochenbruch TI - Technoscience als Populärkultur. Über magische Medien, neue Konsumtechnologien und neoliberale Aufmerksamkeitsökonomien ER - TY - JOUR AU - Weber, Jutta ID - 36880 IS - Nov. 2014 JF - Zeitschrift für Kulturwissenschaft, Sonderausgabe zum Thema ‚Vorstellungskraft‘ (Hg.: Siegfried Mattl, Christian Schulte) TI - Wild Cards. Imagination als Katastrophenprävention ER - TY - CHAP AU - Weber, Jutta ID - 36884 T2 - Science, Technology and Innovation Studies. Vol. 10, No.1, January 2014 TI - Opacity versus Computational Reflection. Modelling Human-Robot Interaction in Personal Service Robotics ER - TY - CHAP AU - Weber, Jutta ED - Bung, Jochen ED - Gruber, Malte ED - Ziemann, Sascha ID - 36891 T2 - Autonome Automaten. Künstliche Körper und artifizielle Agenten in der technisierten Gesellschaft TI - Autonom tötende Maschinen VL - 12 ER - TY - CONF AU - Mischkalla, Fabian AU - Müller, Wolfgang ID - 25120 T2 - Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV) TI - Architectural Low-Power Design Using Transaction-Based System Simulation ER - TY - CONF AU - Joy, M. tech. Mabel Mary AU - Müller, Wolfgang AU - Rammig, Franz-Josef ID - 25146 T2 - 12th IEEE International conference on Embedded Computing TI - Source code annotated memory leak detection for soft real time embedded systems with resource constraints ER - TY - CONF AU - Mischkalla, Fabian AU - Müller, Wolfgang ID - 25144 T2 - PATMOS 2014 TI - Advanced SoC Virtual Prototyping for System-Level Power Planning and Validation ER - TY - CONF AB - This paper presents an advanced eight levels spanning SystemC based virtual platform methodology and framework - referred to as HeroeS 3 - providing smooth application to platform mapping and continuous co-refinement of a virtual prototype with its physical environment model. For heterogeneity support, various SystemC extensions are combined covering continuous/discrete models of computation and different communication abstractions, such as analog mixed-signal models, abstract RTOS/HAL/middleware models, TLM bus models, and QEMU wrappers. We enable dependability assessment by Fault Effect Modeling (FEM) at the virtual prototype in order to avoid risking physical injury or damage. Also, simulation results are deterministic and can be evaluated interactively or offline. We apply FEM to both the physical environment model and the different abstractions of the virtual prototype. Currently, we focus on sensor failures and application control flow errors. AU - Becker, Markus AU - Kuznik, Christoph AU - Müller, Wolfgang ID - 36918 KW - Computational modeling KW - Finite element analysis KW - Prototypes KW - Abstracts KW - Software KW - Fault tolerance KW - Fault tolerant systems TI - Fault Effect Modeling in a Heterogeneous SystemC Based Virtual Platform Framework for Cyber Physical Systems ER - TY - CONF AB - The ever-increasing complexity of heterogeneous electronic systems demand for intensified abstraction and automation efforts to improve design, verification and validation productivity, especially in earlier phases of system engineering. Within the verification activity various metrics can be applied to determine functional correctness or the overall progress. Here, a supporting verification methodology defining high-level verification planning down to the actual metric code development is essential. Moreover, an advanced assistance for the designer, such as a tooling infrastructure to automatize and accelerate the metric code implementation, is needed to minimize the influence of errorprone manual coding. In this article we present a single-source verification metric code-generation methodology for improved coverage automation. We determine (i) a suitable metric model for model-based capture of verification metrics as well as (ii) an assisted model-based processing and generation flow of the verification environment and metric skeletons. We apply our method to a SystemC case-study, in doing so, targeting metric code implementation productivity and consistency enhancement. AU - Kuznik, Christoph AU - Müller, Wolfgang AU - Defo, Gilles Bertrand ID - 36917 KW - System Design KW - Verification TI - An Assisted Single Source Verification Metric Model Code Generation Methodology ER - TY - CONF AB - Zur Sicherstellung hoher Zuverlässigkeits- und Fehlertoleranzwerte von Schaltungen und ganzen Systemen finden vermehrt Test- und Verifikationsmethoden Anwendung die einen virtuellen Prototypen (VP) des Systems bereits frühzeitig im Entwurfsablauf einem Stresstest unterziehen. Hierbei werden speziell für die Domäne relevante Fehlerinjektoren verwendet (Digital, Mixed-Signal, Mechanik) die anhand von Fehlermodellen geeignete Testfälle erzeugen und in das System über Stimuli bzw. direkt injizieren. Jede effektive Anwendung einer Methode bedingt jedoch auch das Vorhandensein einer zugrundeliegenden Methodik. In diesem Beitrag wird die System Verification Methodology (SVM) vorgestellt werden, eine universell einsetzbare und erweiterbare Infrastruktur zur Beschreibung von Testumgebungen auf Basis der SystemC Sprache und Simulationskernels. AU - Kuznik, Christoph AU - Müller, Wolfgang ID - 25166 T2 - 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen TI - Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM ER - TY - CONF AU - Kuznik, Christoph AU - Defo, Bertrand Gilles AU - Müller, Wolfgang ID - 25163 T2 - 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) TI - Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung ER - TY - JOUR AU - Kuznik, Christoph AU - Defo, Bertrand Gilles AU - Müller, Wolfgang ID - 25151 JF - Electronic System Level Synthesis Conference (ESLSyn) TI - An Assisted Single Source Verification Metric Model Code Generation Methodology ER - TY - CONF AU - Florou, Annita AU - Kosi, Urska ID - 37107 TI - Does mandatory IFRS adoption facilitate debt financing? ER -