TY - CONF AB - Machines are omnipresent. They produce, they transport. Machines facilitate work and assist. The increasing penetration of mechanical engineering by information technology enables considerable benefits. We refer to such systems as advanced mechatronic systems, which relay on the close interaction of mechanics, electric/electronics, control engineering and software engineering. Hence, the design and production of such systems is an interdisciplinary and complex task. Our ambition is a new school for the design of advanced mechatronic systems. Consequently, we need an avant-garde basic system which can be used to develop and to test future applications. The miniature robot BeBot is such a basic system. This robot constitutes the test bench for the applications, being based on modern approaches, such as self-optimization, self-organization and self-coordination as well as on the use of new manufacturing technologies. AU - Gausemeier, Jürgen AU - Schierbaum, Thomas AU - Dumitrescu, Roman AU - Herbrechtsmeier, Stefan AU - Jungmann, Alexander ID - 26701 T2 - Proceedings of the 9th IEEE International Conference on Industrial Informatics (INDIN) TI - Miniature Robot BeBot: Mechatronic Test Platform for Self-X Properties ER - TY - CONF AU - Thuy, Andreas ID - 26702 T2 - Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC), 2011 6th International Workshop on TI - Comparison of periodic and aperiodic task models for cyber-physical-systems ER - TY - JOUR AB - In the area of dynamic verification of virtual prototypes, functional coverage is a valuable tool for answering the "Are we done?" question and achieving verification closure. Recent verification methodologies such as OVM and UVM contain multi-language support that provides a basic SystemC version. However, due to language shortcoming they cannot be utilized for the same amount of verification tasks in the SystemC ecosystem as in other supported hardware design and verification languages. In this presentation, we propose to boost the verification capabilities of SystemC by implementing functional coverage collection and evaluation according to the same metric as defined in the widely accepted IEEE-1800 SystemVerilog cover group feature. We implement a functional coverage library to enable coverage-driven verification of SystemC designs on multiple levels of abstraction enabling value, transition, and expression coverage. To our knowledge, the overall functionalities are not available in the IEEE-1666 SystemC standard or the SCV add-on library, nor are they complete compared to the aforementioned in any publicly available SystemC library. AU - Kuznik, Christoph AU - Müller, Wolfgang ID - 26705 JF - North American SystemC User Group Meeting (16th) TI - Verification Closure of SystemC Designs with Functional Coverage ER - TY - CONF AB - Planar graph routing works provably correct if the underlying network graph is connected and planar. Typically, wireless networks modeled as 2D graphs, are not planar and planar graph routing applied on such unprocessed network graphs may fail. Planarizing a given connected graph by removing intersecting links might be impossible if the outcome still needs to be a connected subgraph. It becomes even more difficult with distributed planarization techniques, where each node is allowed to use only the information about its local neighborhood. Furthermore, it is getting complicated if the nodes' assigned positions do not reflect the exact physical location. With or without exact location information, the outcome might be disconnected, nonplanar, or both of it. With all these unsolvable problems, the question arises how to apply planar graph routing in a realistic network setting? Fortunately, wireless network graphs bear one property which distinguishes them from arbitrary graphs: due to limited communication range, network links cannot become arbitrarily long. In this work we exploit this locality property to build a new localized planarization algorithm, which is location fault tolerant and which produces planar connected graphs in most cases in realistic wireless models. We evaluate our algorithm using the Log Normal Shadowing model and show that our algorithm always produces planar connected graphs in all simulations even when large location errors are present. AU - Mathews, Emi AU - Frey, Hannes ID - 26707 T2 - IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM) TI - A Localized Planarization Algorithm for Realistic Wireless Networks ER - TY - CONF AU - Becker, Markus AU - Zabel, Henning AU - Müller, Wolfgang AU - Elfeky, Ahmed AU - DiPasquale, Anthony ID - 26710 T2 - 8. Paderborner Workshop Entwurf mechatronischer Systeme, Band 294 TI - Virtual Prototyping softwareintensiver mechatronischer Systeme – Eine Fallstudie VL - 294 ER - TY - JOUR AU - Rasche, Christoph AU - Stern, Claudius AU - Kleinjohann, Lisa AU - Kleinjohann, Bernd ID - 26711 JF - ThinkMind, International Journal On Advances in Software 3 (3&4) TI - Coordinated Exploration and Goal-Oriented Path Planning using Multiple UAVs ER - TY - CONF AU - Khaluf, Yara AU - Mathews, Emi AU - Rammig, Franz-Josef ID - 26712 T2 - 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW) TI - Self-Organized Cooperation in Swarm Robotics ER - TY - CONF AU - Klobedanz, Kay AU - König, A. AU - Müller, Wolfgang ID - 26713 T2 - Proceedings of Design, Automation, Test Europe - DATE2011 TI - A Reconfiguration Approach for Fault-Tolerant FlexRay Networks ER - TY - CONF AU - Klobedanz, Kay AU - König, A. AU - Müller, Wolfgang AU - Rettberg, Achim ID - 26714 T2 - Second IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2011 TI - Self-Reconfiguration for Fault-Tolerant FlexRay Networks ER - TY - CONF AB - SystemC is a versatile C++ based design and verification language, offering various mechanisms and constructs required for embedded systems modeling. Using the add-on SystemC Verification Library (SCV) elemental constrained-random stimuli techniques may be used for verification. However, SCV has several drawbacks such as lack of a functional coverage facility supporting coverage collection on RTL and TLM models. In this article we present a functional coverage library which implements parts of the IEEE 1800-2005 SystemVerilog standard capturing functional coverage throughout the design and verification process, and allows to facilitate coverage-driven verification in SystemC. AU - Kuznik, Christoph AU - Müller, Wolfgang ID - 26715 T2 - Proceedings of DVCON TI - Functional Coverage-driven Verification with SystemC on Multiple Level of Abstraction ER - TY - CONF AB - UML profiles like SysML and MARTE have been a major research topic in electronic system design, but are mainly applied for specification and analysis in early design phases. High-Level Synthesis (HLS), however, addresses the physical implementation aspect of electronic systems, and thus leads to different requirements on the accuracy of models. For this, modular interfaces are a novel object-oriented synthesizable technique to overcome the conflict between a higher degree of abstraction and necessary details for further synthesis. In this paper, we present our approach to use SysML as an adequate modeling language for modular interfaces and C/C++/SystemC-based HLS. We extended SysML with annotations for synthesizable SystemC and high-level synthesis constraints and implemented a code generation scheme to achieve design flow automation. Based on the SysML editor Artisan Studio and an industrial case study, we demonstrate the applicability of SysML as a retargetable front-end for HLS design flows. AU - Mischkalla, Fabian AU - He, Da AU - Müller, Wolfgang ID - 26716 T2 - Proceedings of 2nd Workshop on Model Based Engineering for Embedded Systems Design (M-BED) TI - A Retargetable SysML-based Front-End for High-Level Synthesis ER - TY - CONF AU - He, Da AU - Mischkalla, Fabian AU - Müller, Wolfgang ID - 26717 T2 - Proceedings of 1st international QEMU Users Forum TI - A SysML-based Framework with QEMU-SystemC Code Generation ER - TY - BOOK ED - Hellmich, Frank ID - 26726 TI - Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen ER - TY - CHAP AU - Hellmich, Frank ED - Wember, Franz B. ED - Heimlich , Ulrich ID - 26745 T2 - Didaktik des Unterrichts im Förderschwerpunkt Lernen. Ein Handreichung für Studium und Praxis TI - Lehren und Lernen im Geometrieunterricht ER - TY - CHAP AU - Hellmich, Frank ED - Kucharz, Diemut ED - Irion, Thomas ED - Reinhoffer , Bernd ID - 26749 T2 - Grundlegende Bildung ohne Brüche TI - Implizite Fähigkeitstheorien von Grundschulkindern vor dem Übergang auf die weiterführenden Schulen VL - 15 ER - TY - CHAP AU - Hellmich, Frank AU - Günther, Frederike ED - Hellmich, Frank ID - 26750 T2 - Selbstkonzepte im Grundschulalter – Modelle, empirische Ergebnisse, pädagogische Konsequenzen TI - Entwicklung von Selbstkonzepten bei Kindern im Grundschulalter – ein Überblick ER - TY - CHAP AU - Hellmich, Frank AU - Niebuhr-Siebert, Sandra ED - Hornberg, Sabine ED - Valtin, Renate ID - 26751 T2 - Mehrsprachigkeit: Chance oder Hürde beim Schriftspracherwerb? – empirische Befunde und Beispiele guter Praxis TI - Förderung der Lesekompetenz durch ein wortschatzbasiertes Lesestrategietraining bei Kindern mit Deutsch als Zweitsprache ER - TY - CONF AU - Becker, Markus ID - 26782 T2 - 1st International QEMU Users Forum (QUF'11) TI - QEMU/SystemC Cosimulation at Different Abstraction Levels ER - TY - CHAP AU - Adelt, Philipp AU - Esau, Natascha AU - Hölscher, Christian AU - Kleinjohann, Bernd AU - Kleinjohann, Lisa AU - Krüger, Martin AU - Zimmer, Detmar ID - 26783 T2 - Intelligent Mechatronics; Kapitel 10 TI - Hybrid Planning for Self-Optimization in Railbound Mechatronic Systems ER - TY - CONF AU - Gnokam Defo, Gilles Bertrand AU - Müller, Wolfgang ID - 26784 T2 - Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) TI - Synchronisation eines SystemC Restbus-Simulators mit einem Hardware-In-the-Loop FlexRay Netzwerk ER -